A mathematical model for concurrent Prolog

E Borger, E RICCOBENE

Research output: Working paperWorking paper and Preprints

Translated title of the contributionA mathematical model for concurrent Prolog
Original languageEnglish
PublisherUniversity of Bristol
Number of pages28
Publication statusPublished - 1992

Bibliographical note

Other: # CSTR-92-15

Cite this