Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Lourdes Araujo
Dpto. Informática y Automática, Fac. Matemáticas, Universidad Complutense de Madrid, Spain

L. Araujo:
Correctness Proof of a Distributed Implementation of Prolog by Means of Abstract State Machines
/jucs_3_5/correctness_proof
page 568 - 602
Vol.3 / Issue 5