×
Edit Profile (opens in new tab)

Vauzeilles, Jacqueline

Co-Author Distance
Author ID: vauzeilles.jacqueline Recent zbMATH articles by "Vauzeilles, Jacqueline"
Published as: Vauzeilles, Jacqueline; Vauzeilles, J.; Vauzeilles, Jaqueline
Documents Indexed: 21 Publications since 1982
Co-Authors: 7 Co-Authors with 14 Joint Publications
65 Co-Co-Authors
all top 5

Co-Authors

6 single-authored
4 Fouqueré, Christophe
4 Kanovich, Max Iosifovich
3 Girard, Jean-Yves
2 Masseron, Marcel
2 Tollu, Christophe
1 Abrusci, Vito Michele
1 Ferbus-Zanda, Marie C.
all top 5

Serials

3 The Journal of Symbolic Logic
3 Theoretical Computer Science
2 Annals of Mathematics and Artificial Intelligence
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Annals of Pure and Applied Logic
1 Journal of Logic and Computation
1 Mathematical Structures in Computer Science
1 RAIRO. Informatique Théorique et Applications
1 Archive for Mathematical Logic

Fields

17 Mathematical logic and foundations (03-XX)
12 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

13 Publications have been cited 62 times in 38 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.
9
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
3
2007
Linear logic and exceptions. Zbl 0819.03002
Fouqueré, Christophe; Vauzeilles, Jacqueline
2
1994
Coping polynomially with numerous but identical elements within planning problems. Zbl 1116.68593
Kanovich, Max; Vauzeilles, Jacqueline
2
2003
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
3
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.
9
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
all cited Publications top 5 cited Publications
all top 5

Cited by 58 Authors

8 Vauzeilles, Jacqueline
5 Kanovich, Max Iosifovich
4 Girard, Jean-Yves
3 Ščedrov, Andrej
2 Ban Kirigin, Tajana
2 Ferbus, Marie-Christine
2 Galmiche, Didier
2 Masseron, Marcel
2 Nigam, Vivek
2 Thielscher, Michael
1 Abrusci, Vito Michele
1 Bibel, Wolfgang
1 Bosser, Anne-Gwenn
1 Bournez, Olivier
1 Cavazza, Marc
1 Cialdea Mayer, Marta
1 Courtieu, Pierre
1 Crossley, John Newsome
1 D’Agostino, Marcello
1 Danos, Vincent
1 Dowek, Gilles
1 Duparc, Jacques
1 Fernández Duque, David
1 Finkel, Olivier
1 Forest, Julien
1 Fronhöfer, Bertram
1 Gilleron, Rémi
1 Grigorieff, Serge
1 Joinet, Jean-Baptiste
1 Joosten, Joost J.
1 Kahramanoğulları, Ozan
1 Kister, Jane Elizabeth
1 Kreitz, Christoph
1 Lee, Dong-Tsan
1 Limongelli, Carla
1 Mantel, Heiko
1 Marion, Jean-Yves
1 Normann, Dag
1 Orlandini, Andrea
1 Otten, Jens
1 Päppinghaus, Peter
1 Perdrix, Simon
1 Perovic, Ranko
1 Perrier, Guy
1 Piazza, Mario
1 Poggioni, Valentina
1 Porello, Daniele
1 Pulcini, Gabriele
1 Pym, David J.
1 Ressayre, Jean-Pierre
1 Schaub, Torsten H.
1 Schellinx, Harold
1 Schmitt, Stephan
1 Talcott, Carolyn L.
1 Tison, Sophie
1 Tollu, Christophe
1 Troquard, Nicolas
1 Wainer, Stanley Scott
all top 5

Cited in 16 Serials

7 Theoretical Computer Science
4 Archiv für Mathematische Logik und Grundlagenforschung
4 The Journal of Symbolic Logic
3 Annals of Pure and Applied Logic
2 Artificial Intelligence
2 Information and Computation
2 Journal of Automated Reasoning
2 Archive for Mathematical Logic
1 Information Processing Letters
1 Synthese
1 Mathematical Structures in Computer Science
1 Journal of Logic, Language and Information
1 Journal of Applied Non-Classical Logics
1 The Bulletin of Symbolic Logic
1 Annals of Mathematics and Artificial Intelligence
1 Journal of Applied Logic

Cited in 5 Fields

33 Mathematical logic and foundations (03-XX)
18 Computer science (68-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Operations research, mathematical programming (90-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year