MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Definitional Trees." – sorted by Relevance.

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

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

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

ATOM

Definitional Trees
by Sergio Antoy — 1992 — In Proc. of the 3rd International Conference on Algebraic and Logic Programming
…Definitional Trees Sergio Antoy ? Department of Computer Science Portland State University…
Cited by 130 (29 self) – Add To MetaCart

Dynamic-cut with definitional trees, in
by Rafael Caballero, Francisco J. López-fraguas — 2002 — Proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, number 2441 in LNCS (2002
…Dynamic-Cut with Definitional Trees Rafael Caballero and Francisco J. López-Fraguas Dpto. de…
Cited by 2 (1 self) – Add To MetaCart

Higher-order narrowing with definitional trees
by Michael Hanus, Christian Prehofer — 1996 — Neural Computation
…. By the use of definitional trees, our strategy computes only incomparable solutions. Thus, it is the rst…
Cited by 71 (21 self) – Add To MetaCart

A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
by Rafael Del Vado Vírseda
…A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees Rafael del Vado Vírseda…
Add To MetaCart

Implementing Natural Rewriting and Narrowing Efficiently
by Santiago Escobar
…(T )). Denition 10. Let R = (F ; R) be a left-linear CS and T be a matching definitional tree for symbol f 2 D…
Cited by 7 (4 self) – Add To MetaCart

Unifying Synchronous Tree-Adjoining Grammars and
by Tree Transducers Via, Stuart M. Shieber — 2006 — In Proceedings of the 11th Conference of the European Chapter of the Association for Computational Linguistics (EACL-2006
… (2004). Along the way, we present a new definition of the tree-adjoining grammar derivation relation…
Add To MetaCart

Needed Narrowing in Prolog
by Sergio Antoy — 1996 — In Proc. Int. Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP'96
… new, more declarative and accessible formulation of a definitional tree, a crucial concept of our…
Cited by 7 (4 self) – Add To MetaCart

Architecture of a virtual machine for functional logic computations
by Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew Tolmach — 2003
… programs, represented as definitional trees, to sequences of machine instructions. The machine has been…
Cited by 2 (2 self) – Add To MetaCart

Using LTAG Based Features in Parse Reranking
by Libin Shen — 2003 — In Proceedings of EMNLP 2003
… definition of the tree kernel, making it more lexicalized and more compact. We use LTAG based features…
Cited by 19 (6 self) – Add To MetaCart

Using LTAG Based Features in Parse Reranking
by Libin Shen Dept, Libin Shen — 2003 — In Proceedings of EMNLP 2003
… definition of the tree kernel, making it more lexicalized and more compact. We use LTAG based features…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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