Jean-Marc Andreoli

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
Computer Science Logic Lecture Notes in Computer Science	2007-06-21	Paper
Computer Science Logic Lecture Notes in Computer Science	2006-11-01	Paper
Advances in Intelligent Data Analysis VI Lecture Notes in Computer Science	2006-11-01	Paper
Non-commutative proof construction: a constraint-based approach Annals of Pure and Applied Logic	2006-09-14	Paper
scientific article; zbMATH DE number 2134914 (Why is no real title available?)	2005-02-18	Paper
scientific article; zbMATH DE number 2090322 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1966913 (Why is no real title available?)	2003-08-18	Paper
scientific article; zbMATH DE number 1948971 (Why is no real title available?)	2003-07-14	Paper
scientific article; zbMATH DE number 1405459 (Why is no real title available?)	2001-12-07	Paper
Focussing and proof construction Annals of Pure and Applied Logic	2001-07-24	Paper
Multiparty negotiation of dynamic distributed object services Science of Computer Programming	2000-01-04	Paper
The constraint-based knowledge broker model: Semantics, implementation and analysis Journal of Symbolic Computation	1997-06-03	Paper
Logic Programming with Focusing Proofs in Linear Logic Journal Of Logic And Computation	1993-01-16	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: Jean-Marc Andreoli