Programming Systems Lab: Publications by Hubert Comon

Saarland University Computer Science

Select author:

1997

The First-Order Theory of Lexicographic Path Orderings is Undecidable   (pdf)
Hubert Comon, Ralf Treinen
Theoretical Computer Science

1994

Ordering Constraints on Trees   (pdf)
Hubert Comon, Ralf Treinen
Colloquium on Trees in Algebra and Programming


Login to edit


Legal notice, Privacy policy