Eric Domenjoud

Available identifiers

Publication	Date of Publication	Type
On the connectedness of arithmetic hyperplanes	2024-10-07	Paper
AC unification through order-sorted AC1 unification	2022-12-09	Paper
Combination techniques for non-disjoint equational theories	2020-01-21	Paper
Facet connectedness of arithmetic discrete hyperplanes with non-zero shift	2019-10-16	Paper
Palindromic language of thin discrete planes	2016-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q5178685	2015-03-16	Paper
Facet connectedness of discrete hyperplanes with zero intercept: the general case	2014-09-15	Paper
Geometric palindromic closure	2014-08-29	Paper
On the Number of Balanced Words of Given Length and Height over a Two-Letter Alphabet	2014-02-03	Paper
Enumeration formula for \((2,n)\)-cubes in discrete planes	2012-10-26	Paper
On the connecting thickness of arithmetical discrete planes	2009-12-01	Paper
Generating feasible schedules for a pick-up and delivery problem	2001-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q4035235	1993-05-18	Paper
AC unification through order-sorted AC1 unification	1993-05-16	Paper
A technical note on AC-unification. The number of minimal unifiers of the equation \(\alpha x_ 1+ \cdots + \alpha x_ p \doteq _{AC} \beta y_ 1+ \cdots + \beta y_ q\)	1992-07-23	Paper

This page was built for person: Eric Domenjoud