Skip to main content Skip to main navigation


Zeige Ergebnisse 51 bis 60 von 171
  1. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

    Towards an Evolutionary Formal Software-Development Using CASL

    In: C. Choppy; D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development …

  2. Dieter Hutter; Michael Kohlhase

    Managing Structural Information by Higher-Order Colored Unification

    In: Journal of Automated Reasoning (JAR), Vol. 25, No. 2, Pages 123-164, Kluwer, 2000.

  3. Formal Software Development in the Verification Support Environment

    In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 2000.

  4. Dieter Hutter; Heiko Mantel; Klaus P. Jantke; Georg Rock; Werner Stephan

    Automated Reasoning for System Verification: A Tutorial Introduction into VSE-II

    In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium, …

  5. Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

    Formal Software Development in the Verification Support Environment (VSE)

    In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages …

  6. Annotated Reasoning

    In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000.

  7. Management of Change in Verification Systems

    In: Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE-2000. IEEE International Conference on Automated Software …

  8. Miguel Alonso Pardo; Mark-Jan Nederhof; Eric Villemonte de la Clergerie

    Tabulation of Automata for Tree-Adjoining Languages

    In: Grammars, Vol. 3, Pages 89-110, 2000.

  9. Stefan Müller

    The Passive as a Lexical Rule

    In: Daniel Flickinger; Andreas Kathol (Hrsg.). Proceedings of the 7th International Conference on Head-Driven Phrase Structure Grammar. International …

  10. Stefan Müller

    Object-to-Subject Raising or Lexical Rule - An HPSG Analysis of the German Passive

    In: Werner Zühlke; Ernst G. Schukat-Talamazzini (Hrsg.). Proceedings of the 5. Konferenz zur Verarbeitung natürlicher Sprache, Sprachkommunikation. …