dblp.uni-trier.dewww.uni-trier.de

Eric Domenjoud

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
9EEIsabelle Debled-Rennesson, Eric Domenjoud, Damien Jamet: Arithmetic Discrete Parabolas. ISVC (2) 2006: 480-489
1999
8EEEric Domenjoud, Claude Kirchner, Jianyang Zhou: Generating Feasible Schedules for a Pick-up and Delivery Problem. Electronic Notes in Discrete Mathematics 1: 36-47 (1999)
1998
7EEEric Domenjoud, Claude Kirchner, Jianyang Zhou: Generating Feasible Schedules for a Pick-Up and Delivery Problem. CP 1998: 467
1995
6 Eric Domenjoud, Ana Paula Tomás: From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals. CP 1995: 18-35
1994
5 Eric Domenjoud, Francis Klay, Christophe Ringeissen: Combination Techniques for Non-Disjoint Equational Theories. CADE 1994: 267-281
1992
4 Eric Domenjoud: A Technical Note on AC-Unification. The Number of Minimal Unifiers of the Equation alpha x1 + . . . + alpha xp =AC beta y1 + . . . + beta yq. J. Autom. Reasoning 8(1): 39-44 (1992)
3 Eric Domenjoud: AC Unification Through Order-Sorted AC1 Unification. J. Symb. Comput. 14(6): 537-556 (1992)
1991
2 Eric Domenjoud: Solving Systems of Linear Diophantine Equations: An Algebraic Approach. MFCS 1991: 141-150
1 Eric Domenjoud: AC Unification Through Order-Sorted AC1 Unification. RTA 1991: 98-111

Coauthor Index

1Isabelle Debled-Rennesson [9]
2Damien Jamet [9]
3Claude Kirchner [7] [8]
4Francis Klay [5]
5Christophe Ringeissen [5]
6Ana Paula Tomás [6]
7Jianyang Zhou [7] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)