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

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

ISSN: 0958-695X

Argitalpen urtea: 1997

Alea: 3

Zenbakia: 5

Orrialdeak: 568-602

Mota: Artikulua

GOOGLE SCHOLAR
Datuen iturria: Scopus