Searching for "The First-Order Theory of Lexicographic Path Orderings is Undecidable." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

The First-Order Theory of Lexicographic Path Orderings is Undecidable
by Hubert Comon, Ralf Treinen — 1997 — Theoretical Computer Science
…. The First-Order Theory of Lexicographic Path Orderings is Undecidable Hubert Comon 1 CNRS and LRI, Bat. 490…
Cited by 21 (3 self) – Add To MetaCart

Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
by Franz Baader, Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, Klassische Kommunikations, Enno Tolzmann, Martin Harm, Knut Hinkelmann, Thomas Labisch, Klaus-peter Gores, Rainer Bleisinger, Ein Modell, Thom Frihwirth Terminglogical, Stephan Busemann — 1990
…-42 Hubert Comon, Ralf Treinen: The First-Order Theory of Lexicographic Path Orderings is Undecidable 9 pages…
Cited by 107 (21 self) – Add To MetaCart

A Resolution Priciple for Clauses with Constraints
by Hans-Jürgen Bürckert, Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, Klassische Kommunikations, Enno Tolzmann, Martin Harm, Knut Hinkelmann, Thomas Labisch, Klaus-peter Gores, Rainer Bleisinger, Ein Modell, Thom Frihwirth Terminological, Stephan Busemann — 1990
…-42 Hubert Comon, Ralf Treinen: The First-Order Theory of Lexicographic Path Orderings is Undecidable 9 pages…
Add To MetaCart

Hubert Comon
by Cnrs And, Hubert Comon, Ralf Treinen — 1997 — Theoretical Computer Science
…The First-Order Theory of Lexicographic Path Orderings is Undecidable Hubert Comon 1 CNRS and LRI…
Add To MetaCart

Showing 1 through 4.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB