Search the dblp DataBase
Alexandre Boudet :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Alexandre Boudet , Evelyne Contejean On n -Syntactic Equational Theories. [Citation Graph (0, 0)][DBLP ] ALP, 1992, pp:446-457 [Conf ] Alexandre Boudet , Hubert Comon Diophantine Equations, Presburger Arithmetic and Finite Automata. [Citation Graph (0, 0)][DBLP ] CAAP, 1996, pp:30-43 [Conf ] Alexandre Boudet Unification in a Combination of Equational Theories: an Efficient Algorithm. [Citation Graph (0, 0)][DBLP ] CADE, 1990, pp:292-307 [Conf ] Alexandre Boudet Unification in Order-Sorted Algebras with Overloading. [Citation Graph (0, 0)][DBLP ] CADE, 1992, pp:193-207 [Conf ] Alexandre Boudet , Evelyne Contejean About the Confluence of Equational Pattern Rewrite Systems. [Citation Graph (0, 0)][DBLP ] CADE, 1998, pp:88-102 [Conf ] Alexandre Boudet , Evelyne Contejean "Syntactic" AC-Unification. [Citation Graph (0, 0)][DBLP ] CCL, 1994, pp:136-151 [Conf ] Alexandre Boudet , Evelyne Contejean AC-Unification of Higher-Order Patterns. [Citation Graph (0, 0)][DBLP ] CP, 1997, pp:267-281 [Conf ] 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 ] 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 ] Alexandre Boudet , Evelyne Contejean Combining Pattern E-Unification Algorithms. [Citation Graph (0, 0)][DBLP ] RTA, 2001, pp:63-76 [Conf ] 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 ] Alexandre Boudet , Hubert Comon About the Theory of Tree Embedding. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1993, pp:376-390 [Conf ] 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 ] 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 ] Alexandre Boudet Combining Unification Algorithms. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1993, v:16, n:6, pp:597-626 [Journal ] 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.004secs, Finished in 0.004secs