MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]

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
#YearTitleType
1
Hide details for Abdelwaheb, Basin, Podelski [Abdelwaheb, Basin]Abdelwaheb, Basin, Podelski [Abdelwaheb, Basin]
1998LISA: A Specification Language Based on WS2S
In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), 18-34		Proceedings Article
1
Hide details for Afshordel, Hillenbrand, Weidenbach [Nieuwenhuis, Voronkov]Afshordel, Hillenbrand, Weidenbach [Nieuwenhuis, Voronkov]
2001Attachment IconFirst-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319		Proceedings Article
1
Hide details for Ahrendt, Baumgartner, de Nivelle (ed.) [Ahrendt, Baumgartner]Ahrendt, Baumgartner, de Nivelle (ed.) [Ahrendt, Baumgartner]
2006IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-ProvabilityElectronic Proceedings
1
Hide details for Althaus [-]Althaus [-]
1998Berechnung optimaler Steinerbäume in der Ebene
Universität des Saarlandes		Thesis - Masters thesis
1
Hide details for Anderson, Basin [-]Anderson, Basin [-]
1995Deriving and Applying Logic Program Transformers
In: Algorithms, Concurrency and Knowledge (1995 Asian Computing Science Conference), 301-318		Proceedings Article
1
Hide details for Anderson, Basin [Anderson]Anderson, Basin [Anderson]
2000Program Development Schemata as Derived Rules
In: Journal of Symbolic Computation [30], 5-36		Journal Article
1
Hide details for Antoy, Echahed, Hanus [Antoy, Echahed]Antoy, Echahed, Hanus [Antoy, Echahed]
1994A Needed Narrowing Strategy
In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94), 268-279		Proceedings Article
1
Hide details for Areces, de Rijke, de Nivelle [Areces, de Rijke]Areces, de Rijke, de Nivelle [Areces, de Rijke]
2001Resolution in modal, description and hybrid logic
In: Journal of Logic and Computation [11], 717-736		Journal Article
1
Hide details for Argon, Delzanno, Mukhopadhyay, Podelski [Argon, Delzanno]Argon, Delzanno, Mukhopadhyay, Podelski [Argon, Delzanno]
2001Model Checking for Communication Protocols
In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), 160-170		Proceedings Article
1
Hide details for Autexier [-]Autexier [-]
1996Heuristiken zum Beweisen von Gleichungen
Universität des Saarlandes		Thesis - Masters thesis
1
Hide details for Avenhaus, Hillenbrand, Löchner [Avenhaus, Löchner, Avenhaus, Löchner]Avenhaus, Hillenbrand, Löchner [Avenhaus, Löchner, Avenhaus, Löchner]
2003Attachment IconOn Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233		Journal Article
1
Hide details for Ayari [-]Ayari [-]
1995Attachment IconA Reinterpretation of the Deductive Tableaux System in Higher-Order Logic
Universität des Saarlandes		Thesis - Masters thesis
2
Hide details for Ayari, Basin [-]Ayari, Basin [-]
1996Generic 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
1995Interpretation of the Deductive Tableau in HOL
In: Proceedings of the First Isabelle Users Workshop, 91-100		Proceedings Article
1
Hide details for Ayari, Basin [Ayari]Ayari, Basin [Ayari]
2001A Higher-order Interpretation of Deductive Tableau
In: Journal of Symbolic Computation [31], 487-520		Journal Article
1
Show details for Baader, Ohlbach [-]Baader, Ohlbach [-]

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)