Original language | English |
---|---|
Title of host publication | GULP-PRODE'95, Joint Conference on Declarative Programming |
Subtitle of host publication | Marina di Vietri |
Publisher | Università di Salerno |
Pages | 409-420 |
Number of pages | 12 |
Publication status | Published - 31 Dec 1995 |
A linear logic programming language with parallel and sequential conjunction
Paola Bruscoli, Alessio Guglielmi
Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding