Translated title of the contribution | A mathematical model for concurrent Prolog |
---|---|
Original language | English |
Publisher | University of Bristol |
Number of pages | 28 |
Publication status | Published - 1992 |
A mathematical model for concurrent Prolog
E Borger, E RICCOBENE
Research output: Working paper