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

Eric Domenjoud Vis

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

*2009
10EEEric Domenjoud, Damien Jamet, Jean-Luc Toutant: On the Connecting Thickness of Arithmetical Discrete Planes. DGCI 2009: 362-372
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
5EEEric 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
2EEEric Domenjoud: Solving Systems of Linear Diophantine Equations: An Algebraic Approach. MFCS 1991: 141-150
1EEEric Domenjoud: AC Unification Through Order-Sorted AC1 Unification. RTA 1991: 98-111

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)