Correctness proof of a distributed implementation of prolog by means of abstract state machines
ISSN: 0958-695X
Año de publicación: 1997
Volumen: 3
Número: 5
Páginas: 568-602
Tipo: Artículo
ISSN: 0958-695X
Año de publicación: 1997
Volumen: 3
Número: 5
Páginas: 568-602
Tipo: Artículo