In proceedings details

An extension to Horn clause logic allowing the definition of concurrent processes

Jan 1981

Organization:

Publisher: Springer-Verlag

Authors: Luís Monteiro

Editors:

Series: Lecture Notes in Computer Science

Volume: 107

ISSN:

ISBN:

Url:

Notes:

Bibtex Key:

DOI:

Pages: 401 to 407

Publication Date: 1 Jan 1981

Publication File: