MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Rational Trees." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

201 documents found, showing 1 through 10. Next 10 →

ATOM

Resolution of Constraints in Algebras of Rational Trees
by Luis Damas, Nelma Moreira, Sabine Broda — 1993 — Progress in Artificial Intelligence --- 6th Portuguese Conference on Artificial Intelligence, volume 727 of Lecture Notes in Artificial Intelligence
…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
by Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin — 1997
…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
by Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin — 1998
…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
by Frédérique Bassino, Marie-Pierre Béal, Universit'e Paris Et Cnrs, Dominique Perrin — 1997
…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
by Armin Wolf — 1998 — VIENNA UNIVERSITY OF TECHNOLOGY
…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
by Armin Wolf Gmd, Armin Wolf — 1998 — Vienna University of Technology
…Adaptive Entailment of Equations over Rational Trees ? Armin Wolf GMD -- German National Research…
Add To MetaCart

Adaptive Solving of Equations over Rational Trees
by Armin Wolf — 1998 — IN PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE ON CONSTRAINT PROGRAMMING, CP`98, POSTER SESSION, NUMBER 1520 IN LECTURE
…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
by Marc Meister, Thom Frühwirth, Fakultät Für Informatik Universität Ulm — 2006 — In CHR 2006, volume 452 of Report CW
…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
by Manuel Carro — 2004
…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
by Michael J. Maher — 1991 — Proc. 1st. International Workshop on Logic Programming and Non-Monotonic Reasoning, A. Nerode, W. Marek & V.S. Subrahmanian (Eds
…Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning Michael J. Maher…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB