Jean-Marc Andreoli

Available identifiers

zbMath Open andreoli.jean-marcMaRDI QIDQ1818357

List of research outcomes

Publication	Date of Publication	Type
Logic programming with sequent systems	2022-11-26	Paper
True concurrency semantics for a linear logic programming language with broadcast communication	2022-11-02	Paper
Computer Science Logic	2007-06-21	Paper
Computer Science Logic	2006-11-01	Paper
Advances in Intelligent Data Analysis VI	2006-11-01	Paper
Non-commutative proof construction: a constraint-based approach	2006-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4650580	2005-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4809081	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4421005	2003-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4412208	2003-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4938434	2001-12-07	Paper
Focussing and proof construction	2001-07-24	Paper
Multiparty negotiation of dynamic distributed object services	2000-01-04	Paper
The constraint-based knowledge broker model: Semantics, implementation and analysis	1997-06-03	Paper
Logic Programming with Focusing Proofs in Linear Logic	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3357521	1991-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jean-Marc Andreoli