Correctness proof of a distributed implementation of prolog by means of abstract state machines
ISSN: 0958-695X
Ano de publicación: 1997
Volume: 3
Número: 5
Páxinas: 568-602
Tipo: Artigo
ISSN: 0958-695X
Ano de publicación: 1997
Volume: 3
Número: 5
Páxinas: 568-602
Tipo: Artigo