Correctness proof of a distributed implementation of prolog by means of abstract state machines

  1. Araujo, L.
Zeitschrift:
Journal of Universal Computer Science

ISSN: 0958-695X

Datum der Publikation: 1997

Ausgabe: 3

Nummer: 5

Seiten: 568-602

Art: Artikel

GOOGLE SCHOLAR
Datenquelle: Scopus