R
Ralf Treinen
Researcher at University of Paris-Sud
Publications - 34
Citations - 687
Ralf Treinen is an academic researcher from University of Paris-Sud. The author has contributed to research in topics: Decidability & Undecidable problem. The author has an hindex of 16, co-authored 33 publications receiving 679 citations. Previous affiliations of Ralf Treinen include Saarland University & German Research Centre for Artificial Intelligence.
Papers
More filters
Journal ArticleDOI
Records for logic programming
Gert Smolka,Ralf Treinen +1 more
TL;DR: It is argued that an optimized version of the machine can decide satisfiability and entailment in quasilinear time.
Journal ArticleDOI
A new method for undecidability proofs of first order theories
TL;DR: It is claimed that the reduction of Post's Correspondence Problem to the decision problem of a theory provides a useful tool for proving undecidability of first order theories given by some interpretation.
Book ChapterDOI
A new method for undecidability proofs of first order theories
TL;DR: It is claimed that the reduction of Post's Correspondence Problem to the decision problem of a theory provides a useful tool for proving undecidability of first order theories given by an interpretation.
Book ChapterDOI
Dominance Constraints: Algorithms and Complexity
TL;DR: The main result of this paper is that the satisfiability problem of dominance constraints is NP-complete and that the full first-order theory has non-elementary complexity.
Book ChapterDOI
Ordering Constraints on Trees
Hubert Comon,Ralf Treinen +1 more
TL;DR: The main interest lies in the family of recursive path orderings which enjoy the properties of being total, well-founded and compatible with the tree constructors, and the undecidability of the theory of lexicographic path ordering in case of a non-unary signature.