Jacqueline Vauzeilles

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
Linear logic as a tool for planning under temporal uncertainty Theoretical Computer Science	2011-05-10	Paper
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) Theoretical Computer Science	2007-07-16	Paper
Computer Science Logic Lecture Notes in Computer Science	2007-06-21	Paper
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity Mathematical Structures in Computer Science	2002-10-13	Paper
scientific article; zbMATH DE number 1231515 (Why is no real title available?)	1998-12-13	Paper
scientific article; zbMATH DE number 1104362 (Why is no real title available?)	1998-06-14	Paper
Ordinals. II: Some applications and a functorial approach Annals of Mathematics and Artificial Intelligence	1997-01-29	Paper
Ordinals. I: Basic notions Annals of Mathematics and Artificial Intelligence	1996-12-01	Paper
scientific article; zbMATH DE number 786492 (Why is no real title available?)	1996-11-04	Paper
Linear Logic and Exceptions Journal Of Logic And Computation	1995-02-13	Paper
scientific article; zbMATH DE number 500955 (Why is no real title available?)	1994-09-21	Paper
Generating plans in linear logic. I: Actions as proofs Theoretical Computer Science	1994-05-23	Paper
Cut elimination for the unified logic Annals of Pure and Applied Logic	1993-08-09	Paper
scientific article; zbMATH DE number 18649 (Why is no real title available?)	1992-06-26	Paper
Cut-elimination and interpolation for \(\Omega\)-logic Archive for Mathematical Logic	1988-01-01	Paper
Functors and ordinal notations. IV: The Howard ordinal and the functor ∧. Journal of Symbolic Logic	1985-01-01	Paper
Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs Archiv für Mathematische Logik und Grundlagenforschung	1984-01-01	Paper
Functors and ordinal notations. I: A functorial construction of the veblen hierarchy Journal of Symbolic Logic	1984-01-01	Paper
Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy Journal of Symbolic Logic	1984-01-01	Paper
scientific article; zbMATH DE number 3906494 (Why is no real title available?)	1982-01-01	Paper

Research outcomes over time

This page was built for person: Jacqueline Vauzeilles