Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys
Login to this database
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 | Year | Title | BibTeX cite key | ||||
|---|---|---|---|---|---|---|---|
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| 2001 | A Higher-order Interpretation of Deductive Tableau In: Journal of Symbolic Computation [31], 487-520 | AyariBasin2001 | | ||||
| 1996 | Generic System Support for Deductive Program Development In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, 313-328 | AbduBasin-TACAS96 | | |||
| 1995 | Interpretation of the Deductive Tableau in HOL In: Proceedings of the First Isabelle Users Workshop, 91-100 | BasinAbdu95 | | ||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)