Eric Domenjoud

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the connectedness of arithmetic hyperplanes Theoretical Computer Science	2024-10-07	Paper
AC unification through order-sorted AC1 unification Rewriting Techniques and Applications	2022-12-09	Paper
Combination techniques for non-disjoint equational theories Automated Deduction — CADE-12	2020-01-21	Paper
Facet connectedness of arithmetic discrete hyperplanes with non-zero shift Discrete Geometry for Computer Imagery	2019-10-16	Paper
Palindromic language of thin discrete planes Theoretical Computer Science	2016-04-01	Paper
scientific article; zbMATH DE number 6415711 (Why is no real title available?)	2015-03-16	Paper
Facet connectedness of discrete hyperplanes with zero intercept: the general case Advanced Information Systems Engineering	2014-09-15	Paper
Geometric palindromic closure Uniform Distribution Theory	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 Discrete Applied Mathematics	2012-10-26	Paper
On the connecting thickness of arithmetical discrete planes Discrete Geometry for Computer Imagery	2009-12-01	Paper
Generating feasible schedules for a pick-up and delivery problem Electronic Notes in Discrete Mathematics	2001-09-23	Paper
scientific article; zbMATH DE number 176134 (Why is no real title available?)	1993-05-18	Paper
AC unification through order-sorted AC1 unification Journal of Symbolic Computation	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\) Journal of Automated Reasoning	1992-07-23	Paper

Research outcomes over time

This page was built for person: Eric Domenjoud