logo
SRL
Thematic Categories
[Aldag, 1997]
 
Show BibTeX entryDownload ArticleDownload Article (zipped) 		Bjørn Aldag (1997).
A proof theoretic investigation of prediction in HPSG.
Magisterarbeit, Eberhard-Karls-Universität Tübingen, Seminar für Sprachwissenschaft.
[Götz, 1994]
 
Show BibTeX entryDownload ArticleDownload Article (zipped)Visit the webpage of the author 		Thilo Götz (1994).
A normal form for typed feature structures.
Magisterarbeit, Universität Tübingen, Seminar für Sprachwissenschaft.
[Götz, 1994]
 
Show BibTeX entryVisit the webpage of the author 		Thilo Götz (1994).
Unique Normal Forms and Subsumption For Typed Feature Structures.
Arbeitspapiere des SFB 340 Nr. 40. Universität Tübingen.
[Kepser, 1994]
 
Show BibTeX entryDownload ArticleDownload Article (zipped)Visit the webpage of the paperVisit the webpage of the author 		Stephan Kepser (1994).
A Satisfiability Algorithm for a Logic for Typed Feature Structures.
Arbeitspapiere des SFB 340 Nr. 60. Universität Tübingen, Germany.
[Kepser, 2000]
 
Show BibTeX entryDownload ArticleDownload Article (zipped)Download Article (pdf-file)Visit the webpage of the paperVisit the webpage of the author 		Stephan Kepser (2000).
A Coalgebraic Modelling of Head-Driven Phrase Structure Grammar.
In: Dirk Heylen and Anton Nijholt and Giuseppe Scollo (eds.), Algebraic Methods in Language Processing AMiLP 2000. pp. 81--96.
[Kepser and Mönnich, 2003]
 
Show BibTeX entryDownload ArticleDownload Article (zipped)Visit the webpage of the author 		Stephan Kepser and Uwe Mönnich (2003).
Graph Properties of HPSG Feature Structures.
In: Gerhard Jäger and Paola Monachesi and Gerald Penn and Shuly Wintner (eds.), Proceedings of Formal Grammar 2003. pp. 115--124.
[Kepser and Mönnich, 2003]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the author 		Stephan Kepser and Uwe Mönnich (2003).
(Un-)Decidability Results for Head-Driven Phrase Structure Grammar.
In: Giuseppe Scollo and Anton Nijholt (eds.), Proceedings of Algebraic Methods in Language Processing (AMiLP-3). pp. 141--152.
[King, 1992]
 
Show BibTeX entryDownload ArticleDownload Article (zipped) 		Paul John King (1992).
Unification Grammars and Descriptive Formalisms.
Unpublished lecture notes, Eberhard-Karls-Universität Tübingen.
[King, 1994]
 
Show BibTeX entryDownload ArticleDownload Article (zipped) 		Paul John King (1994).
Typed Feature Structures as Descriptions.
In: Proceedings of the 15th Conference on Computational Linguistics (COLING-94). Kyoto, Japan, pp. 1250--1254.
[King, 1994]
 
Show BibTeX entryDownload ArticleDownload Article (zipped)Visit the webpage of the paper 		Paul John King (1994).
An Expanded Logical Formalism for Head-driven Phrase Structure Grammar.
Arbeitspapiere des SFB 340 Nr. 59. Universität Tübingen, Germany.
[King, 1996]
 
Show BibTeX entryDownload ArticleDownload Article (zipped) 		Paul John King (1996).
From Unification to Constraint: An Evolving Formalism for Head-driven Phrase Structure Grammar.
Lecture Notes for the European Summer School in Logic Language and Information, 12--16 August 1996.
[King, 1999]
 
Show BibTeX entryDownload ArticleDownload Article (zipped)Visit the webpage of the paper 		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. Volume 132. Arbeitspapiere des SFB 340, pp. 301--352. Universität Tübingen.
[King and Simov, 1997]
 
Show BibTeX entry 		Paul John King and Kiril Ivanov Simov (1997).
The Automatic Deduction of Classificatory Systems from Linguistic Theories (Abridged).
In: C. Retore (ed.), Logical Apects of Computational Linguistics. First International Conference LACL'96. Selected Papers. Lecture Notes in Artificial Intelligence No. 1328. Berlin, Germany, pp. 248--273. Published by Springer-Verlag.
[King and Simov, 1998]
 
Show BibTeX entry 		Paul John King and Kiril Ivanov Simov (1998).
The Automatic Deduction of Classificatory Systems from Linguistic Theories.
In: Grammars, 1(2):103--153. Kluwer Academic Publishers.
[King et al., 1999]
 
Show BibTeX entry 		Paul John King and Kiril Ivanov Simov and Bjørn Aldag (1999).
The Complexity of Modellability in Finite and Computable Signatures of a Constraint Logic for Head-driven Phrase Structure Grammar.
In: The Journal of Logic, Language and Information, 8(1):83--110.
[Meurers, 1995]
 
Show BibTeX entryDownload ArticleDownload Article (zipped)Visit the webpage of the paperVisit the webpage of the author 		Walt Detmar Meurers (1995).
Towards a Semantics for Lexical Rules as used in HPSG.
In: Proceedings of the ACQUILEX II Workshop on the Formalisation and Use of Lexical Rules. Cambridge, UK, pp. 1--20. Also presented at the First Conference on Formal Grammar, Barcelona, 1995.
[Meurers, 2000]
 
Show BibTeX entryDownload ArticleDownload Article (zipped)Visit the webpage of the paperVisit the webpage of the author 		Walt Detmar Meurers (2000).
Lexical Generalizations in the Syntax of German Non-Finite Constructions.
Phil. Dissertation, Eberhard-Karls-Universität Tübingen. Published as: Arbeitspapiere des SFB 340, Nr. 145.
[Simov and King, 1996]
 
Show BibTeX entryDownload ArticleDownload Article (zipped) 		Kiril Iv. Simov and Paul John King (1996).
Indexing of Linguistic Knowledge.
In: Proceedings of Logical Aspects of Computational Linguistics. Nancy, France, pp. 81--84.