Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 17:32, 17 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Leo Bachmair, Harald Ganzinger, and Jürgen Stuber
    Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
    In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May/June 1994, 1995, 1-29
  2. David A. Basin and Bernd Krieg-Brückner
    Formalization of the Development Process
    In: Algebraic foundations of systems specification, 1999, 521-562