CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Publications  \  InProceedings Page Login  
   
banner bottom
File Top
An extension to Horn clause logic allowing the definition of concurrent processes

@ Formalization of Programming Concepts


Editors: J. Díaz and I. Ramos

Series: Lecture Notes in Computer Science

Number: 107

Publisher: Springer-Verlag ( Germany )

Pages: 401 to 407


Date: 1981


Authors:

File Bottom