MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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
Show details for Gabbay, Kruse, Nonnengart, Ohlbach (ed.)Gabbay, Kruse, Nonnengart, Ohlbach (ed.)
3
Show details for Gabbay, OhlbachGabbay, Ohlbach
1
Show details for Gabbay, Ohlbach (ed.)Gabbay, Ohlbach (ed.)
1
Show details for GaedeGaede
1
Show details for Gaillourdet, Hillenbrand, Löchner, SpiesGaillourdet, Hillenbrand, Löchner, Spies
1
Show details for GamkrelidzeGamkrelidze
9
Hide details for GanzingerGanzinger
2002Attachment IconShostak Light
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346		Proceedings Article
2001Bottom-Up Deduction with Deletion and Priorities
In: Programs as Data Objects (PADO-01) : Second Symposium PADO 2001, 276-277		Proceedings Article
2001Efficient deductive methods for program analysis
In: ACM SIGPLAN Notices [36], 102-103		Journal Article
2001Attachment IconRelating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word Problems
In: Proceedings of the 16th IEEE Symposium on Logic in Computer Science (LICS-01), 81-90		Proceedings Article
1998Preface
In: Theoretical Computer Science [208], 1		Journal Article
1996Saturation-based theorem proving (abstract)
In: Automata, Languages and Programming: International Colloquium (ICALP-23), 1-3		Proceedings Article
1994The Saturate SystemUnpublished/Draft
1991A completion procedure for conditional equations
In: Journal of Symbolic Computation [11], 51-81		Journal Article
1991Order-Sorted Completion: The Many-Sorted Way
In: Theoretical Computer Science [89], 3-32		Journal Article
2
Show details for Ganzinger (ed.)Ganzinger (ed.)
1
Show details for Ganzinger, de NivelleGanzinger, de Nivelle
1
Show details for Ganzinger, Hagen, Nieuwenhuis, Oliveras, TinelliGanzinger, Hagen, Nieuwenhuis, Oliveras, Tinelli
1
Show details for Ganzinger, Hillenbrand, WaldmannGanzinger, Hillenbrand, Waldmann
1
Show details for Ganzinger, Hustadt, Meyer, SchmidtGanzinger, Hustadt, Meyer, Schmidt
2
Show details for Ganzinger, Jacquemard, VeanesGanzinger, Jacquemard, Veanes
4
Show details for Ganzinger, KorovinGanzinger, Korovin
2
Show details for Ganzinger, McAllesterGanzinger, McAllester
1
Show details for Ganzinger, McAllester, Voronkov (ed.)Ganzinger, McAllester, Voronkov (ed.)
1
Show details for Ganzinger, Meyer, VeanesGanzinger, Meyer, Veanes
1
Show details for Ganzinger, Meyer, WeidenbachGanzinger, Meyer, Weidenbach
1
Show details for Ganzinger, NieuwenhuisGanzinger, Nieuwenhuis
2
Show details for Ganzinger, Nieuwenhuis, NivelaGanzinger, Nieuwenhuis, Nivela
1
Show details for Ganzinger, Sofronie-StokkermansGanzinger, Sofronie-Stokkermans

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