The following pages link to (Q3836513):
Displaying 6 items.
- Tree tuple languages from the logic programming point of view (Q877842) (← links)
- Recognizable tree-languages and nonlinear morphisms (Q1603692) (← links)
- Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems (Q2827837) (← links)
- Unidirectional Derivation Semantics for Synchronous Tree-Adjoining Grammars (Q3167510) (← links)
- Manipulating Tree Tuple Languages by Transforming Logic Programs1 1Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs. (Q4916223) (← links)
- “Syntactic” AC-unification (Q5096305) (← links)