Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic

Authors:
Martin Müller;Joachim Niehren
Affiliations:
-;-
Venue:
RTA '98 Proceedings of the 9th International Conference on Rewriting Techniques and Applications
Year:
1998

Citing 0
Cited 3

Constraint solving on terms

Constraints in computational logics
Ordering and Path Constraints over Semistructured Data

Journal of Intelligent Information Systems
Dominance Constraints in Context Unification

LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics

Quantified Score

Hi-index	0.01

Visualization

Abstract