List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Logic programming with sequent systems: a linear logic approach Extensions of Logic Programming | 2022-11-26 | Paper |
| True concurrency semantics for a linear logic programming language with broadcast communication Lecture Notes in Computer Science | 2022-11-02 | Paper |
| Computational Models for Information Reuse The Computer Journal | 2000-08-21 | Paper |
| Multiparty negotiation of dynamic distributed object services Science of Computer Programming | 2000-01-04 | Paper |
| Constraint-based protocols for distributed problem solving Science of Computer Programming | 1998-07-19 | Paper |
| The constraint-based knowledge broker model: Semantics, implementation and analysis Journal of Symbolic Computation | 1997-06-03 | Paper |
| scientific article; zbMATH DE number 4209572 (Why is no real title available?) | 1991-01-01 | Paper |
Research outcomes over time
This page was built for person: Remo Pareschi
