Jean-Marc Andreoli

From MaRDI portal
Person:1818357

Available identifiers

zbMath Open andreoli.jean-marcMaRDI QIDQ1818357

List of research outcomes





PublicationDate of PublicationType
Logic programming with sequent systems: a linear logic approach2022-11-26Paper
True concurrency semantics for a linear logic programming language with broadcast communication2022-11-02Paper
Computer Science Logic2007-06-21Paper
Computer Science Logic2006-11-01Paper
Advances in Intelligent Data Analysis VI2006-11-01Paper
Non-commutative proof construction: a constraint-based approach2006-09-14Paper
https://portal.mardi4nfdi.de/entity/Q46505802005-02-18Paper
https://portal.mardi4nfdi.de/entity/Q48090812004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44210052003-08-18Paper
https://portal.mardi4nfdi.de/entity/Q44122082003-07-14Paper
https://portal.mardi4nfdi.de/entity/Q49384342001-12-07Paper
Focussing and proof construction2001-07-24Paper
Multiparty negotiation of dynamic distributed object services2000-01-04Paper
The constraint-based knowledge broker model: Semantics, implementation and analysis1997-06-03Paper
Logic Programming with Focusing Proofs in Linear Logic1993-01-16Paper
https://portal.mardi4nfdi.de/entity/Q33575211991-01-01Paper

Research outcomes over time

This page was built for person: Jean-Marc Andreoli

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1818357&oldid=6477007"
Powered by MediaWiki