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