The following pages link to Jacqueline Vauzeilles (Q534714):
Displayed 21 items.
- Linear logic as a tool for planning under temporal uncertainty (Q534715) (← links)
- Cut-elimination and interpolation for \(\Omega\)-logic (Q1114684) (← links)
- Item:Q534714 (redirect page) (← links)
- Generating plans in linear logic. I: Actions as proofs (Q1802077) (← links)
- Ordinals. I: Basic notions (Q1817060) (← links)
- Ordinals. II: Some applications and a functorial approach (Q1817061) (← links)
- Cut elimination for the unified logic (Q2367410) (← links)
- Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707) (← links)
- Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs (Q3220581) (← links)
- Functors and ordinal notations. I: A functorial construction of the veblen hierarchy (Q3684117) (← links)
- Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy (Q3684118) (← links)
- (Q3684119) (← links)
- Functors and ordinal notations. IV: The Howard ordinal and the functor ∧. (Q3757912) (← links)
- (Q3976054) (← links)
- (Q4222827) (← links)
- (Q4279088) (← links)
- Linear Logic and Exceptions (Q4323006) (← links)
- (Q4370236) (← links)
- The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity (Q4534180) (← links)
- (Q4842973) (← links)
- Computer Science Logic (Q5292643) (← links)