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
3
Show details for FehrerFehrer
1
Show details for Fehrer, Hustadt, Jaeger, Nonnengart, Ohlbach, Schmidt, Weidenbach, WeydertFehrer, Hustadt, Jaeger, Nonnengart, Ohlbach, Schmidt, Weidenbach, Weydert
1
Show details for Fermüller, Leitsch, Hustadt, TammetFermüller, Leitsch, Hustadt, Tammet
1
Show details for Firozabadhi, van der TorreFirozabadhi, van der Torre
1
Show details for FischmannFischmann
2
Show details for Frank, BasinFrank, Basin
1
Show details for Frank, Basin, BundyFrank, Basin, Bundy
1
Show details for Freiheit, Luuk, Münch, Sijanski, ZanglFreiheit, Luuk, Münch, Sijanski, Zangl
1
Show details for Freiheit, Münch, Schöttle, Sijanski, ZanglFreiheit, Münch, Schöttle, Sijanski, Zangl
1
Show details for Freiheit, ZanglFreiheit, Zangl
1
Show details for FriedrichFriedrich
1
Show details for Furbach, Ganzinger, Hasegawa, Kapur (ed.)Furbach, Ganzinger, Hasegawa, Kapur (ed.)
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

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