The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexandre Boudet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alexandre Boudet, Evelyne Contejean
    On n-Syntactic Equational Theories. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:446-457 [Conf]
  2. Alexandre Boudet, Hubert Comon
    Diophantine Equations, Presburger Arithmetic and Finite Automata. [Citation Graph (0, 0)][DBLP]
    CAAP, 1996, pp:30-43 [Conf]
  3. Alexandre Boudet
    Unification in a Combination of Equational Theories: an Efficient Algorithm. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:292-307 [Conf]
  4. Alexandre Boudet
    Unification in Order-Sorted Algebras with Overloading. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:193-207 [Conf]
  5. Alexandre Boudet, Evelyne Contejean
    About the Confluence of Equational Pattern Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:88-102 [Conf]
  6. Alexandre Boudet, Evelyne Contejean
    "Syntactic" AC-Unification. [Citation Graph (0, 0)][DBLP]
    CCL, 1994, pp:136-151 [Conf]
  7. Alexandre Boudet, Evelyne Contejean
    AC-Unification of Higher-Order Patterns. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:267-281 [Conf]
  8. Alexandre Boudet, Evelyne Contejean, Hervé Devie
    A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:289-299 [Conf]
  9. Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß
    Unification in Free Extensions of Boolean Rings and Abelian Groups [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:121-130 [Conf]
  10. Alexandre Boudet, Evelyne Contejean
    Combining Pattern E-Unification Algorithms. [Citation Graph (0, 0)][DBLP]
    RTA, 2001, pp:63-76 [Conf]
  11. Alexandre Boudet, Evelyne Contejean, Claude Marché
    AC-Complete Unification and its Application to Theorem Proving. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:18-32 [Conf]
  12. Alexandre Boudet, Hubert Comon
    About the Theory of Tree Embedding. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:376-390 [Conf]
  13. Alexandre Boudet
    Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics & Theoretical Computer Science, 2000, v:4, n:1, pp:11-30 [Journal]
  14. Alexandre Boudet
    Competing for the AC-Unification Race. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:2, pp:185-212 [Journal]
  15. Alexandre Boudet
    Combining Unification Algorithms. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:16, n:6, pp:597-626 [Journal]
  16. Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß
    Unification in Boolean Rings and Abelian Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1989, v:8, n:5, pp:449-477 [Journal]

Search in 0.003secs, 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