The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jacqueline Vauzeilles: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Max I. Kanovich, Jacqueline Vauzeilles
    Coping Polynomially with Numerous but Identical Elements within Planning Problems. [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:285-298 [Conf]
  2. Christophe Fouqueré, Jacqueline Vauzeilles
    Taxonomic Linear Theories. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:121-128 [Conf]
  3. Jacqueline Vauzeilles
    Negation as failure and intuitionistic three-valued logic. [Citation Graph (0, 0)][DBLP]
    FAIR, 1991, pp:227-241 [Conf]
  4. M. Masseron, Christophe Tollu, Jacqueline Vauzeilles
    Generating Plans in Linear Logic. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1990, pp:63-75 [Conf]
  5. V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
    Tree Adjoining Grammars in Noncommutative Linear Logic. [Citation Graph (0, 0)][DBLP]
    LACL, 1996, pp:96-117 [Conf]
  6. Marie C. Ferbus, Jacqueline Vauzeilles
    Ordinals I: Basic Notions. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:16, n:, pp:1-26 [Journal]
  7. Jacqueline Vauzeilles
    Ordinals II: Some Applications and a Functorial Approach. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:16, n:, pp:27-57 [Journal]
  8. Jacqueline Vauzeilles
    Cut Elimination for the Unified Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1993, v:62, n:1, pp:1-16 [Journal]
  9. V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
    Tree Adjoining Grammars in a Fragment of the Lambek Calculus. [Citation Graph (0, 0)][DBLP]
    Computational Linguistics, 1999, v:25, n:2, pp:209-236 [Journal]
  10. Christophe Fouqueré, Jacqueline Vauzeilles
    Linear Logic for Taxonomical Networks and Database Updates. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  11. Jacqueline Vauzeilles
    Intuitionistic three-valued logic and logic programming. [Citation Graph (0, 0)][DBLP]
    ITA, 1991, v:25, n:, pp:557-0 [Journal]
  12. Jean-Yves Girard, Jacqueline Vauzeilles
    Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:713-729 [Journal]
  13. Jean-Yves Girard, Jacqueline Vauzeilles
    Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:4, pp:1079-1114 [Journal]
  14. Jacqueline Vauzeilles
    Functors and Ordinal Notations. IV: The Howard Ordinal and the Functor ??. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:331-338 [Journal]
  15. Christophe Fouqueré, Jacqueline Vauzeilles
    Linear Logic and Exceptions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:6, pp:859-876 [Journal]
  16. Max I. Kanovich, Jacqueline Vauzeilles
    The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:6, pp:689-716 [Journal]
  17. M. Masseron, Christophe Tollu, Jacqueline Vauzeilles
    Generating Plans in Linear Logic I. Actions as Proofs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:2, pp:349-370 [Journal]
  18. Max I. Kanovich, Jacqueline Vauzeilles
    Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:379, n:1-2, pp:84-119 [Journal]

Search in 0.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002