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

Publications Master Template, generated: 10:19, 17 September 2019

Search the publication database

  . Return

Your search returned the following 5 documents:

  1. Abdelwaheb Ayari and David A. Basin
    A Higher-order Interpretation of Deductive Tableau
    Journal of Symbolic Computation 31 (5): 487-520, 2001
  2. Ayari Abdelwaheb, David A. Basin, and Andreas Podelski
    LISA: A Specification Language Based on WS2S
    In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), Aarhus, Denmark, August, 23 - 29, 1998, 18-34
  3. Abdelwaheb Ayari and David A. Basin
    Generic System Support for Deductive Program Development
    In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, Passau, Germany, March, 1996, 313-328
  4. Abdelwaheb Ayari
    A Reinterpretation of the Deductive Tableaux System in Higher-Order Logic
    Master's thesis, Universit├Ąt des Saarlandes, 1995
    [PS: Download: abdelwaheb.ps]
  5. Abdelwaheb Ayari and David A. Basin
    Interpretation of the Deductive Tableau in HOL
    In: Proceedings of the First Isabelle Users Workshop, University of Cambridge, England, 18-19 September, 1995, 91-100