scientific article; zbMATH DE number 1456949

zbMATH Open0938.68589MaRDI QIDQ4954438FDOQ4954438

Authors: Hubert Comon, Ralf Treinen 

Publication date: 7 June 2000

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1696827
• The first-order theory of lexicographic path orderings is undecidable
• Practical algorithms for deciding path ordering constraint satisfaction.
• SOLVING SYMBOLIC ORDERING CONSTRAINTS

Mathematics Subject Classification ID

Data structures (68P05) Undecidability and degrees of sets of sentences (03D35)

Cited In (13)

• Theories of orders on the set of words
• Practical algorithms for deciding path ordering constraint satisfaction.
• Binary Trees and (Maximal) Order Types
• Generating ordered trees
• Combination of constraint solving techniques: An algebraic point of view
• Orienting rewrite rules with the Knuth-Bendix order.
• Optimal binary trees with order constraints
• Defining recursive predicates in graph orders
• Combination of constraint solvers for free and quasi-free structures
• Ordered trees and the inorder traversal
• Combining tree partitioning, precedence, and incomparability constraints
• Efficient Chaining of Seeds in Ordered Trees
• Solving simplification ordering constraints

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4954438)