MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
6
Show details for Gabbay, Dov M.Gabbay, Dov M.
5
Show details for Gabbay, Dov M. (ed.)Gabbay, Dov M. (ed.)
4
Show details for Gabbay, Dov (ed.)Gabbay, Dov (ed.)
2
Show details for Gaede, BerndGaede, Bernd
1
Show details for Gaglio, S. (ed.)Gaglio, S. (ed.)
1
Show details for Gaillourdet, Jean-MarieGaillourdet, Jean-Marie
1
Show details for Galmiche, DidierGalmiche, Didier
1
Show details for Galmiche, Didier (ed.)Galmiche, Didier (ed.)
1
Show details for Gamkrelidze, AlexanderGamkrelidze, Alexander
1
Show details for Ganzha, Victor G. (ed.)Ganzha, Victor G. (ed.)
58
Show details for Ganzinger, HaraldGanzinger, Harald
16
Hide details for Ganzinger, Harald (ed.)Ganzinger, Harald (ed.)
2002Maier, PatrickA Framework for Circular Assume-Guarantee Rules
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 55-58		Proceedings Article
2002Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor		Attachment IconIs Logic Effective for Analyzing C Programs?
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 27-30		Proceedings Article
2002Kazakov, YevgenyAttachment IconRecursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15		Proceedings Article
2000DeductionProceedings
1999Waldmann, UweCancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147		Proceedings Article
1999Hustadt, Ullrich
Schmidt, Renate A.		Maslov's Class K Revisited
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 172-186		Proceedings Article
1999Sofronie-Stokkermans, VioricaAttachment IconOn the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 157-171		Proceedings Article
1999de Nivelle, Hans
[Areces, Carlos]
[de Rijke, Maarten]		Prefixed Resolution: A Resolution Method for Modal and Description Logics
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 187-201		Proceedings Article
1999Proceedings of the 16th International Conference on Automated Deduction (CADE-16)Proceedings
1999Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99)Proceedings
1999Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor		System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318		Proceedings Article
1999Weidenbach, ChristophTowards an Automatic Analysis of Security Protocols in First-Order Logic
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 378-382		Proceedings Article
1996Krishna Rao, M. R. K.Modularity of termination in term graph rewriting
In: Rewriting Techniques and Applications, 230-244		Proceedings Article
1996Rewriting Techniques and Applications, 7th International Conference, RTA-96Proceedings
1996Stuber, JürgenSuperposition Theorem Proving for Abelian Groups Represented as Integer Modules
In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, 33-47		Proceedings Article
1992Ganzinger, Harald
Stuber, Jürgen		Inductive theorem proving by consistency for first-order clauses
In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 441-462		Part of a Book
1
Show details for Gao, X-S. (ed.)Gao, X-S. (ed.)
1
Show details for Gebhardt, J. (ed.)Gebhardt, J. (ed.)

Next Page