Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 1999
Alle Filter entfernen
Zeige Ergebnisse 41 bis 50 von 101

  1. Stefan Müller

    Syntactic Properties of German Particle Verbs

    In: 6th International Conference on Head-Driven Phrase Structure Grammar. International Conference on Head-Driven Phrase Structure Grammar (HPSG-99), …

  2. Stefan Müller

    Restricting Discontinuity

    In: Proceedings of the 5th Natural Language Processing Pacific Rim Symposium 1999 (NLPRS '99), November 5-7. Natural Language Processing Pacific Rim …

  3. Stefan Müller

    Parsing of an HPSG Grammar for German: Word Order Domains and Discontinuous Constituents

    In: Jost Gippert; Peter Olivier (Hrsg.). Proceedings of the 11. Jahrestagung der Gesellschaft für Linguistische DatenVerarbeitung. Multilinguale …

  4. Stefan Müller

    An HPSG-Analysis for Free Relative Clauses in German

    In: Grammars, Vol. 2, No. 1, Pages 53-105, Springer, 1999.

  5. Stefan Müller

    Deutsche Syntax deklarativ. Head-Driven Phrase Structure Grammar für das Deutsche

    Linguistische Arbeiten, Vol. 394, Max Niemeyer Verlag, Tübingen, 1999.

  6. Heiko Mantel; Jens Otten

    linTAP: A Tableau Prover for Linear Logic

    In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International …

  7. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

    System Description: INKA 5.0 - A Logical Voyager

    In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …

  8. Dennis Dams; Dieter Hutter; Natalia Sidorova

    Using the INKA prover to automate safety proofs in abstract interpretation - A case study

    In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, …

  9. Dieter Hutter; Alan Bundy

    The Design of the CADE-16 Inductive Theorem Prover Contest

    In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …

  10. Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel

    VSE: Controlling the Complexity in Formal Software Developments

    In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on …

Jahr