Jacqueline Vauzeilles

Available identifiers

Publication	Date of Publication	Type
Linear logic as a tool for planning under temporal uncertainty	2011-05-10	Paper
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)	2007-07-16	Paper
Computer Science Logic	2007-06-21	Paper
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity	2002-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q4222827	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4370236	1998-06-14	Paper
Ordinals. II: Some applications and a functorial approach	1997-01-29	Paper
Ordinals. I: Basic notions	1996-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q4842973	1996-11-04	Paper
Linear Logic and Exceptions	1995-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4279088	1994-09-21	Paper
Generating plans in linear logic. I: Actions as proofs	1994-05-23	Paper
Cut elimination for the unified logic	1993-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q3976054	1992-06-26	Paper
Cut-elimination and interpolation for \(\Omega\)-logic	1988-01-01	Paper
Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.	1985-01-01	Paper
Functors and ordinal notations. I: A functorial construction of the veblen hierarchy	1984-01-01	Paper
Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs	1984-01-01	Paper
Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3684119	1982-01-01	Paper

This page was built for person: Jacqueline Vauzeilles