The Tübingen HPSG Archive

SS 02

[Carpenter, 1992]

Bob Carpenter (1992).
The Logic of Typed Feature Structures.
Cambridge University Press, Cambridge.

[Carpenter and Penn, 1996]

Bob Carpenter and Gerald Penn (1996).
Efficient Parsing of Compiled Typed Attribute Value Logic Grammars.
In: Harry Bunt and Masaru Tomita (eds.), Recent Advances in Parsing Technology. pp. 145––168. Kluwer Academic Publishers, Dordrecht, Boston, London.

[Carpenter and Penn, 1999]

Bob Carpenter and Gerald Penn (1999).
ALE 3.2 User's Guide.
Technical Memo Nr. CMU-LTI-99-MEMO. Carnegie Mellon Language Technologies Institute.

[Ebbinghaus et al., 1992]

Heinz-Dieter Ebbinghaus and Jörg Flum and Wolfgang Thomas (1992).
Einführung in die mathematische Logik.
B.I.-Wissenschaftsverlag, 3rd edition.

[Fouvry and Meurers, 2000]

Frederik Fouvry and Detmar Meurers (2000).
Towards a platform for linearization grammars.
In: Erhard Hinrichs and Detmar Meurers and Shuly Wintner (eds.), Proceedings of the ESSLLI-2000 Workshop on Linguistic Theory and Grammar Implementation. Birmingham, UK, pp. 153––168.

[Götz et al., 1997]

Thilo Götz and Detmar Meurers and Dale Gerdemann (1997).
The ConTroll Manual. (ConTroll v.1.0 beta, XTroll v.5.0 beta).
User's Manual. Seminar für Sprachwissenschaft, Eberhard-Karls-Universität Tübingen.

[Johnson, 1988]

Mark Johnson (1988).
Attribute-Value Logic and the Theory of Grammar.
CSLI Publications.

[Johnson, 1995]

Mark Johnson (1995).
Logic and Feature Structures.
In: Mary Dalrymple and Annie Zaenen and John Maxwell III. and Ronald M. Kaplan (eds.), Formal Issues in Lexical-Functional Grammar. pp. 369––380. CSLI Publications.

[Kasper and Rounds, 1986]

Robert T. Kasper and William C. Rounds (1986).
A Logical Semantics for Feature Structures.
In: Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics. pp. 257––266.

[Kathol, 1995]

Andreas Kathol (1995).
Linearization-Based German Syntax.
PhD thesis, Ohio State University.

[King, 1989]

Paul John King (1989).
A Logical Formalism for Head-Driven Phrase Structure Grammar.
University of Manchester.

[King, 1994]

Paul John King (1994).
An Expanded Logical Formalism for Head-driven Phrase Structure Grammar.
Arbeitspapiere des SFB 340 Nr. 59. Eberhard-Karls-Universität Tübingen.

[King, 1999]

Paul John King (1999).
Towards Truth in Head-Driven Phrase Structure Grammar.
In: Valia Kordoni (ed.), Tübingen Studies in Head-Driven Phrase Structure Grammar. Arbeitspapiere des SFB 340 Nr. 132, Volume 2, pp. 301––352. Eberhard-Karls-Universität Tübingen.

[Meurers, 1994]

Walt Detmar Meurers (1994).
On Implementing an HPSG Theory -- Aspects of the Logical Architecture, the Formalization, and the Implementation of Head-Driven Phrase Structure Grammars.
In: Erhard W. Hinrichs and Walt Detmar Meurers and Tsuneko Nakazawa (eds.), Partial-VP and Split-NP Topicalization in German -- An HPSG Analysis and its Implementation. Arbeitspapiere des SFB 340 Nr. 58, pp. 47––155. Eberhard-Karls-Universität Tübingen, Tübingen, Germany.

[Meurers and Minnen, 1997]

Walt Detmar Meurers and Guido Minnen (1997).
A Computational Treatment of Lexical Rules in HPSG as Covariation in Lexical Entries.
In: Computational Linguistics, 23(4):543--568.

[Partee et al., 1990]

Barbara H. Partee and Alice ter Meulen and Robert E. Wall (1990).
Mathematical Methods in Linguistics.
Kluwer Academic Publishers.

[Penn, 2000]

Gerald Penn (2000).
The Algebraic Structure of Attributed Type Signatures.
Ph.D. thesis, School of Computer Science, Carnegie Mellon University.

[Pollard, 1999]

Carl J. Pollard (1999).
Strong Generative Capacity in HPSG.
In: Gert Webelhuth and Jean-Pierre Koenig and Andreas Kathol (eds.), Lexical and Constructional Aspects of Linguistic Explanation. pp. 281––297. CSLI Publications.

[Pollard and Sag, 1987]

Carl Pollard and Ivan A. Sag (1987).
Information-Based Syntax and Semantics. Volume 1: Fundamentals.
CSLI Publications, Stanford.

[Pollard and Sag, 1994]

Carl Pollard and Ivan A. Sag (1994).
Head-Driven Phrase Structure Grammar.
The University of Chicago Press, Chicago.

[Richter, 2000]

Frank Richter (2000).
A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar.
Phil. Dissertation, Eberhard-Karls-Universität Tübingen.

[Richter et al., 1999]

Frank Richter and Manfred Sailer and Gerald Penn (1999).
A Formal Interpretation of Relations and Quantification in HPSG.
In: Gosse Bouma and Erhard Hinrichs and Geert-Jan M. Kruijff and Richard Oehrle (eds.), Constraints and Resources in Natural Language Syntax and Semantics. pp. 281––298. CSLI Publications, Stanford.