MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Show details for Avenhaus, JürgenAvenhaus, Jürgen
4
Hide details for Ayari, AbdelwahebAyari, Abdelwaheb
2001[Ayari, Abdelwaheb]
Basin, David A.		A Higher-order Interpretation of Deductive Tableau
In: Journal of Symbolic Computation [31], 487-520		Journal Article
1996Ayari, Abdelwaheb
Basin, David A.		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		Proceedings Article
1995Ayari, AbdelwahebAttachment IconA Reinterpretation of the Deductive Tableaux System in Higher-Order Logic
Universität des Saarlandes		Thesis - Masters thesis
1995Ayari, Abdelwaheb
Basin, David A.		Interpretation of the Deductive Tableau in HOL
In: Proceedings of the First Isabelle Users Workshop, 91-100		Proceedings Article
1
Show details for Baader, FranzBaader, Franz
9
Show details for Baader, Franz (ed.)Baader, Franz (ed.)
1
Show details for Bachem, A. (ed.)Bachem, A. (ed.)
20
Show details for Bachmair, LeoBachmair, Leo
1
Show details for Bachmair, Leo (ed.)Bachmair, Leo (ed.)
1
Show details for Bach, AlexanderBach, Alexander
3
Show details for Backes, WernerBackes, Werner
3
Show details for Bajcsy, R. (ed.)Bajcsy, R. (ed.)
1
Show details for Balbiani, Philippe (ed.)Balbiani, Philippe (ed.)
1
Show details for Ball, ThomasBall, Thomas
1
Show details for Ball, Thomas (ed.)Ball, Thomas (ed.)
2
Show details for Ball, TomBall, Tom
1
Show details for Baral, C. (ed.)Baral, C. (ed.)
2
Show details for Barkaoui, Kamel (ed.)Barkaoui, Kamel (ed.)
1
Show details for Barnett, RichardBarnett, Richard
1
Show details for Bartenstein, Oskar (ed.)Bartenstein, Oskar (ed.)
14
Show details for Barth, PeterBarth, Peter
54
Show details for Basin, David A.Basin, David A.
1
Show details for Basin, David A. (ed.)Basin, David A. (ed.)
2
Show details for Basin, David (ed.)Basin, David (ed.)
4
Show details for Baumeister, HubertBaumeister, Hubert
13
Show details for Baumgartner, PeterBaumgartner, Peter
3
Show details for Baumgartner, Peter (ed.)Baumgartner, Peter (ed.)
3
Show details for Beckert, Bernhard (ed.)Beckert, Bernhard (ed.)

Next Page