Shuly Wintner

H. Aït-Kaci. A lattice-theoretic approach to computation based on a calculus of partially ordered types. Ph.D. thesis, University of Pennsylvania, 1984.Google Scholar

R. D. Borsley. Modern phrase structure grammar. Blackwell, Oxford, 1996.Google Scholar

G. Bouma and G. van Noord. Head-driven parsing for lexicalist grammars: Experimental results. Proceedings of the 6th Meeting of the European Chapter of the Association for Computational Linguistics, Utrecht, 1993, 71-80.Google Scholar

B. Carpenter. Typed feature structures: A generalization of first-order terms. Logic Programming - Proceedings of the 1991 International Symposium (V. Saraswat and U. Kazunori, eds.), Cambridge, MA. MIT Press, 1991, 187-201.Google Scholar

B. Carpenter. The Logic of Typed Feature Structures. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1992.MATHGoogle Scholar

B. Carpenter and G. Penn. ALE: The attribute logic engine - user’s guide. Technical report, Lucent Technologies and Universität Tübingen, May, 1999.Google Scholar

N. Chomsky. Three models for the description of language. I. R. E. transactions on information theory, Proceedings of the symposium on information theory, IT2 (1956), 113-123.CrossRefGoogle Scholar

A. Copestake. The (new) LKB system. Technical report, Stanford University, September, 1999.Google Scholar

M. Dalrymple, R. M. Kaplan, J. T. Maxwell and A. Zaenen, eds. Formal Is- sues in Lexical-Functional Grammar, volume 47 of CSLI lecture notes. CSLI, Stanford, CA, 1995.Google Scholar

G. E. Gazdar, E. Klein, J. K. Pullum and I. A. Sag. Generalized Phrase Structure Grammar. Harvard University Press, Cambridge, Mass., 1985.Google Scholar

E. Jaeger, N. Francez and S. Wintner. Unification grammars and off-line parsability. Journal of Logic, Language and Information, 13, 4 (2004).Google Scholar

J. Jaffar. Efficient unification over infinite terms. New Generation Computing, 2 (1984),207-219.CrossRefGoogle Scholar

M. Johnson. Attribute-Value Logic and the Theory of Grammar, volume 16 of CSLI Lecture Notes. CSLI, Stanford, California, 1988.Google Scholar

A. K. Joshi, L. Levy, and M. Takahashi. Tree Adjunct Grammars. Journal of Computer and System Sciences, 1975.Google Scholar

R. Kaplan and J. Bresnan. Lexical functional grammar: A formal system for grammatical representation. The Mental Representation of Grammatical Relations (J. Bresnan ed.), MIT Press, Cambridge, Mass., 1982, 173-281.Google Scholar

M. Kay. Functional unification grammar. 5th Annual Meeting of the Berkeley Linguistic Society, Berkeley, CA, 1979.Google Scholar

M. Kay. Unification grammar. Technical report, Xerox Palo Alto Research Center, Palo Alto, CA, 1983.Google Scholar

M. Kay. Parsing in functional unification grammar. Natural Language Parsing: Psychological, Computational and Theoretical Perspectives (D. Dowty, L. Karttunen, and A. Zwicky, eds.), Cambridge University Press, Cambridge, 1985, 251-278.Google Scholar

A. Manaster-Ramer. Dutch as a formal language. Linguistics and Philosophy, 10 (1987),221-246.CrossRefGoogle Scholar

A. Martelli and U. Montanari. An efficient unification algorithm. ACM Transactions on Programming Languages and Systems, 4, 2 (1982), 258-282.MATHCrossRefGoogle Scholar

D. Moshier. Extensions to Unification Grammars for the Description of Programming Languages. Ph.D. thesis, University of Michigan, Ann Arbor, 1988.Google Scholar

F. C. N. Pereira and D. H. D. Warren. Parsing as deduction. Proceedings of the 21st Annual Meeting of the Association for Computational Linguistics, 1983, 137-144.Google Scholar

C. Pollard and I. A. Sag. Information Based Syntax and Semantics. Number 13 in CSLI Lecture Notes, CSLI, 1987.Google Scholar

C. Pollard and I. A. Sag. Head-Driven Phrase Structure Grammar. University of Chicago Press and CSLI Publications, 1994.Google Scholar

J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12 (1965), 23-41.MATHCrossRefGoogle Scholar

I. A. Sag and T. Wasow. Syntactic Theory: A Formal Introduction. CSLI, Stanford, 1999.MATHGoogle Scholar

W. J. Savitch, E. Bach, W. Marsh and G. Safran-Naveh, eds. The formal complexity of natural language, volume 33 of Studies in Linguistics and Philosophy. D. Reidel, Dordrecht, 1987.Google Scholar

P. Sells. Lectures on contemporary syntactic theories: an introduction to government-binding theory, generalized phrase structure grammar, and lexicalfunctional grammar, volume 3 of CSLI lecture notes. CSLI, Stanford, CA, 1988.Google Scholar

S. M. Shieber, Y. Schabes and F. Pereira. Principles and implementation of deductive parsing. Journal of Logic Programming, 24, 1-2 (1995), 3-36.MATHCrossRefMathSciNetGoogle Scholar

S. M. Shieber. Evidence against the context-freeness of natural language. Linguistics and Philosophy, 8 (1985), 333-343.CrossRefGoogle Scholar

S. M. Shieber. An Introduction to Unification Based Approaches to Grammar. Number 4 in CSLI Lecture Notes, CSLI, 1986.Google Scholar

S. M. Shieber. Constraint-Based Grammar Formalisms. MIT Press, Cambridge, Mass., 1992.Google Scholar

S. M. Shieber, H. Uszkoreit, F. C. N. Pereira, J. J. Robinson and M. Tyson. The formalism and implementation of PATR-II. Research on Interactive Acquisition and Use of Knowledge. SRI International, Menlo Park, Cal., 1983.Google Scholar

K. Sikkel. Parsing Schemata. Texts in Theoretical Computer Science - An EATCS Series. Springer Verlag, Berlin, 1997.Google Scholar

M. Tomita, ed. Generalized LR Parsing. Kluwer Academic Publishing, 1991.Google Scholar

H. Uszkoreit. Categorial unification grammars. Proceedings of the 5th International Conference on Computational Linguistics, Bonn, 1986, 187-194.Google Scholar

K. Vijay-Shanker and A. K. Joshi. Unification Based Tree Adjoining Grammars. Unification-based Grammars (J. Wedekind ed.), MIT Press, Cambridge, Massachusetts, 1991.Google Scholar

S. Wintner. An Abstract Machine for Unification Grammars. Ph.D. thesis, Technion - Israel Institute of Technology, Haifa, Israel, January, 1997.Google Scholar

S. Wintner and N. Francez. Parsing with typed feature structures. Proceedings of the Fourth International Workshop on Parsing Technologies, Prague, 1995, 273-287.Google Scholar

S. Wintner and A. Sarkar. A note on typing feature structures. Computational Linguistics, 28, 3 (2002), 389-397.CrossRefGoogle Scholar

H. Zeevat, E. Klein and J. Calder. An introduction to unification categorial grammar. Edinburgh Working Papers in Cognitive Science, Vol. 1: Categorial Grammar, Unification Grammar, and Parsing (N. J. Haddock, E. Klein, and G. Morill, eds.), 1987.Google Scholar