The first-order theory of ordering constraints over feature trees

zbMATH Open0981.68081MaRDI QIDQ2752467FDOQ2752467

Authors: Martin Müller, Joachim Niehren, Ralf Treinen 

Publication date: 7 January 2002

Published in: Discrete Mathematics and Theoretical Computer Science. DMTCS (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/227586

Recommendations

• Ordering constraints over feature trees
• scientific article; zbMATH DE number 1189066
• Ordering constraints over feature trees expressed in second-order monadic logic.
• Solving First-Order Constraints in the Theory of the Evaluated Trees
• Solving First-Order Constraints in the Theory of the Evaluated Trees
• scientific article; zbMATH DE number 2090031
• Deciding the first-order theory of an algebra of feature trees with updates
• scientific article; zbMATH DE number 2080306
• scientific article; zbMATH DE number 516982
• Expressiveness of full first-order constraints in the algebra of finite or infinite trees

zbMATH Keywords

automatafeature constraintslogic of trees

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (3)

• Title not available (Why is that?)
• Deciding the first-order theory of an algebra of feature trees with updates
• Ordering constraints over feature trees expressed in second-order monadic logic.

Uses Software

• Oz

This page was built for publication: The first-order theory of ordering constraints over feature trees

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