Número de Cutter-SanbornG876uEntrada «Gron» → 876 · marca de obra “u”

Undecidable equivalences for Basic Process Algebra

Autor	J. F. Groote
Editorial	University of Edinburgh, Laboratory for Foundations of Computer Science
Fecha de publicación	1991
Lugar	Edinburgh
Idioma	inglés
Páginas	17
Serie	LFCS report series -- ECS-LFCS-91-169
Número de Cutter	`G876u`

Undecidable equivalences for Basic Process Algebra (1991) | Cutter Number