Searching for "On Rational Trees." – sorted by Relevance.
-
Resolution of Constraints in Algebras of Rational Trees
- Resolution of Constraints in Algebras of Rational Trees Luis Damas, Nelma Moreira, Sabine Broda
- Cited by 2 (1 self) – Add To MetaCart
-
Enumerative Sequences of Leaves in Rational Trees
- Enumerative sequences of leaves in rational trees Fr'ed'erique Bassino 1 and Marie-Pierre B
- Cited by 8 (7 self) – Add To MetaCart
-
Super-State Automata and Rational Trees
- Super-State Automata and Rational Trees Fr'ed'erique Bassino 1 , Marie-Pierre B'eal 2
- Cited by 2 (1 self) – Add To MetaCart
-
Enumerative Sequences of Leaves and Nodes in Rational Trees
- Enumerative sequences of leaves and nodes in rational trees Fr'ed'erique Bassino Institut Gaspard
- Cited by 6 (5 self) – Add To MetaCart
-
Adaptive Entailment of Equations over Rational Trees
- Adaptive Entailment of Equations over Rational Trees ? Armin Wolf GMD -- German National Research
- Cited by 1 (1 self) – Add To MetaCart
-
Adaptive Entailment of Equations over Rational Trees
- Adaptive Entailment of Equations over Rational Trees ? Armin Wolf GMD -- German National Research
- Add To MetaCart
-
Adaptive Solving of Equations over Rational Trees
- Adaptive Solving of Equations over Rational Trees Armin Wolf GMD -- German National Research
- Cited by 1 (1 self) – Add To MetaCart
-
Complexity of the CHR rational tree equation solver
- Complexity of the CHR Rational Tree Equation Solver Marc Meister and Thom Frühwirth Fakultät für
- Cited by 2 (2 self) – Add To MetaCart
-
An application of rational trees in a logic programming interpreter for a procedural language
- arXiv:cs/0403028v1 [cs.DS] 16 Mar 2004 An Application of Rational Trees in a Logic Programming
- Cited by 1 (0 self) – Add To MetaCart
-
Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning
- Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning Michael J. Maher
- Cited by 1 (1 self) – Add To MetaCart

