Programming Systems Lab: Publications by Hubert Comon

Saarland University Computer Science

Select author:


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


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

Login to edit

Webmaster, Mon May 30 13:48:30 2016