Correctness proof of a distributed implementation of prolog by means of abstract state machines
ISSN: 0958-695X
Année de publication: 1997
Volumen: 3
Número: 5
Pages: 568-602
Type: Article
ISSN: 0958-695X
Année de publication: 1997
Volumen: 3
Número: 5
Pages: 568-602
Type: Article