Jacqueline Vauzeilles

Available identifiers

zbMath Open vauzeilles.jacquelineMaRDI QIDQ534714

List of research outcomes

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
Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs	1984-01-01	Paper
Functors and ordinal notations. I: A functorial construction of the veblen hierarchy	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

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: Jacqueline Vauzeilles