MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Linear Unification." – sorted by Relevance.

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

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

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

ATOM

Linear Higher-Order Pre-Unification
by Iliano Cervesato, Frank Pfenning — 1997 — Twelfth Annual Symposium on Logic in Computer Science --- LICS'97
…Linear Higher-Order Pre-Unification Iliano Cervesato and Frank Pfenning Department of Computer…
Cited by 10 (5 self) – Add To MetaCart

Parallelism constraints
by Katrin Erk, Joachim Niehren — 2000 — IN INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS, LECTURE NOTES IN COMPUTER SCIENCE
….e. second-order linear unification. We present a semi-decision procedure enumerating all "most general…
Cited by 10 (7 self) – Add To MetaCart

A Unification Algorithm for Second-Order Linear Terms
by Gilles Dowek — 1993
…A Unification Algorithm for Second-Order Linear Terms Gilles Dowek INRIA We give an algorithm…
Cited by 2 (0 self) – Add To MetaCart

Unification and Transduction in Computational Phonology
by Julie Carson, In Phonology — 1988 — In: Proceedings of the 12th International Conference on Computational Linguistics
… brief outline of the allophonic parser by Church is given. Then a linear unification parser for English…
Cited by 3 (0 self) – Add To MetaCart

Finite State Processing of Tone Systems
by Dafydd Gibbon — 1987 — In Proceedings of the 3rd European Meeting of the Association for Computational Linguistics
… (linear unification phonology, LUP). The phenomena analysed are tone terracing with tone…
Cited by 5 (2 self) – Add To MetaCart

FUF: The universal unifier - user manual, version 5.0
by Michael Elhadad — 1991
… unification grammar, and produces as output a rich syntactic description of the text. The linearizer…
Cited by 74 (3 self) – Add To MetaCart

FUF: The universal unifier user manual
by Michael Elhadad — 1989
… and linearization. Unification consists in making the input-fd and the grammar ‘‘compatible’’ in the sense described…
Cited by 2 (0 self) – Add To MetaCart

Specialization of Lazy Functional Logic Programs
by Maria Alpuente, Moreno Falaschi, Pascual Julian, German Vidal, P. Julián, G. Vidal — 1997 — In Proc. of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97, volume 32, 12 of Sigplan Notices
…’s of program rules gives rise to the following particular kind of unification problems. Definition 2.1 (linear…
Cited by 33 (21 self) – Add To MetaCart

Theorem proving with structure sharing and efficient unification
by Alberto Martelli, Ugo Montanari — 1977 — University of Pisa
… proof of n steps may require 2 2 operations. Efficient unification Quasi linear and linear algorithms…
Cited by 6 (1 self) – Add To MetaCart

A Parser for HPSG
by Alex Franz — 1990
…, UCLA. [Paterson and Wegman, 1978] Paterson, M. S. and Wegman, M. N. (1978). Linear unification…
Cited by 14 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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