×

zbMATH — the first resource for mathematics

Vauzeilles, Jacqueline

Compute Distance To:
Author ID: vauzeilles.jacqueline Recent zbMATH articles by "Vauzeilles, Jacqueline"
Published as: Vauzeilles, J.; Vauzeilles, Jacqueline; Vauzeilles, Jaqueline
Documents Indexed: 21 Publications since 1982

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 60 times in 37 Documents Cited by Year
Generating plans in linear logic. I: Actions as proofs. Zbl 0787.03006
Masseron, M.; Tollu, C.; Vauzeilles, J.
11
1993
Functors and ordinal notations. I: A functorial construction of the Veblen hierarchy. Zbl 0568.03027
Girard, Jean-Yves; Vauzeilles, Jacqueline
10
1984
Generating plans in linear logic. Zbl 0758.03017
Masseron, M.; Tollu, C.; Vauzeilles, J.
8
1990
The classical AI planning problems in the mirror of Horn linear logic: Semantics, expressibility, complexity. Zbl 0994.68139
Kanovich, Max; Vauzeilles, Jacqueline
7
2001
Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy. Zbl 0568.03028
Girard, Jean-Yves; Vauzeilles, Jacqueline
5
1984
Functors and ordinal notations. IV: The Howard ordinal and the functor \(\Lambda\). Zbl 0621.03036
Vauzeilles, Jacqueline
4
1985
Functors and ordinal notations. III. Dilators and gardens. Zbl 0568.03029
Vauzeilles, Jacqueline
4
1982
Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs. Zbl 0556.03043
Girard, J. Y.; Vauzeilles, J.
3
1984
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). Zbl 1118.68157
Kanovich, Max; Vauzeilles, Jacqueline
2
2007
Coping polynomially with numerous but identical elements within planning problems. Zbl 1116.68593
Kanovich, Max; Vauzeilles, Jacqueline
2
2003
Linear logic and exceptions. Zbl 0819.03002
Fouqueré, Christophe; Vauzeilles, Jacqueline
2
1994
Ordinals. I: Basic notions. Zbl 0860.68094
Ferbus-Zanda, Marie C.; Vauzeilles, Jacqueline
1
1996
Cut elimination for the unified logic. Zbl 0786.03041
Vauzeilles, Jaqueline
1
1993
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). Zbl 1118.68157
Kanovich, Max; Vauzeilles, Jacqueline
2
2007
Coping polynomially with numerous but identical elements within planning problems. Zbl 1116.68593
Kanovich, Max; Vauzeilles, Jacqueline
2
2003
The classical AI planning problems in the mirror of Horn linear logic: Semantics, expressibility, complexity. Zbl 0994.68139
Kanovich, Max; Vauzeilles, Jacqueline
7
2001
Ordinals. I: Basic notions. Zbl 0860.68094
Ferbus-Zanda, Marie C.; Vauzeilles, Jacqueline
1
1996
Linear logic and exceptions. Zbl 0819.03002
Fouqueré, Christophe; Vauzeilles, Jacqueline
2
1994
Generating plans in linear logic. I: Actions as proofs. Zbl 0787.03006
Masseron, M.; Tollu, C.; Vauzeilles, J.
11
1993
Cut elimination for the unified logic. Zbl 0786.03041
Vauzeilles, Jaqueline
1
1993
Generating plans in linear logic. Zbl 0758.03017
Masseron, M.; Tollu, C.; Vauzeilles, J.
8
1990
Functors and ordinal notations. IV: The Howard ordinal and the functor \(\Lambda\). Zbl 0621.03036
Vauzeilles, Jacqueline
4
1985
Functors and ordinal notations. I: A functorial construction of the Veblen hierarchy. Zbl 0568.03027
Girard, Jean-Yves; Vauzeilles, Jacqueline
10
1984
Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy. Zbl 0568.03028
Girard, Jean-Yves; Vauzeilles, Jacqueline
5
1984
Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs. Zbl 0556.03043
Girard, J. Y.; Vauzeilles, J.
3
1984
Functors and ordinal notations. III. Dilators and gardens. Zbl 0568.03029
Vauzeilles, Jacqueline
4
1982

Citations by Year