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: 1998
Alle Filter entfernen
Zeige Ergebnisse 81 bis 90 von 102

  1. Dieter Hutter

    Deductive Proof Support for Invariants of State-Transition Systems

    In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), …

  2. Dieter Hutter

    Using Semantic Knowledge by Annotating Formulas

    In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg, 1998.

  3. Erica Melis; Axel Schairer

    Similarities and Reuse of Proofs in Formal Software Verification

    In: Barry Smyth; Pàdraig Cunningham (Hrsg.). Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning …

  4. Andreas Nonnengart; Georg Rock; Christoph Weidenbach

    On Generating Small Clause Normal Forms

    In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE), Pages …

  5. Georg Rock; Werner Stephan; Andreas Wolpers

    Assumption-Commitment Specifications and Safety-Critical Systems

    In: Hartmut König; Peter Langendörfer (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-98), 8. June 4-5, …

  6. Andreas Wolpers; Werner Stephan

    Modular Verification of Programmable Logic Controllers with TLA

    In: Gérard Morel; Francois B. Vernadat (Hrsg.). INCOM '98 Workshop on Formal verification for Automation Engineering. IFAC Symposium on Information …

  7. Mark-Jan Nederhof; Anoop Sarkar; Giorgio Satta

    Prefix Probabilities from Stochastic Tree Adjoining Grammar

    In: Proceedings of the 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association on Computational …

  8. Mark-Jan Nederhof; Anoop Sarkar; Giorgio Satta

    Prefix Probabilities for Linear Indexed Grammars

    In: Proceedings of the 4th International Workshop on Tree Adjoining Grammars and Related Frameworks (TAG+4), August 1-3. Colloque International sur …

  9. Mark-Jan Nederhof

    Linear Indexed Automata and Tabulation of TAG Parsing

    In: Premières Journées sur la Tabulation en Analyse Syntaxique et Déduction/ 1st Workshop on Tabulation in Parsing and Deduction (TAPD '98), April …

  10. Mark-Jan Nederhof

    Context-Free Parsing Through Regular Approximation

    In: 1st International Workshop on Finite State Methods in Natural Language Processing (FSMNLP '98), June 29 - July 1. International Workshop on Finite …

Jahr