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
2
Show details for TalbotTalbot
1
Show details for Talbot, Devienne, TisonTalbot, Devienne, Tison
1
Show details for Talbot, Niehren, MüllerTalbot, Niehren, Müller
1
Show details for Thiebaux, Hoffmann, NebelThiebaux, Hoffmann, Nebel
1
Show details for TimmTimm
1
Show details for Trueg, Hoffmann, NebelTrueg, Hoffmann, Nebel
2
Show details for TzakovaTzakova
3
Show details for van der Torrevan der Torre
11
Show details for van der Torre, Tanvan der Torre, Tan
1
Show details for van der Torre, Weydertvan der Torre, Weydert
2
Show details for VeanesVeanes
1
Show details for VeitVeit
1
Show details for ViganòViganò
10
Show details for VorobyovVorobyov
1
Show details for Vorobyov, VoronkovVorobyov, Voronkov
1
Show details for VoronkovVoronkov
1
Show details for Wagner, PodelskiWagner, Podelski
10
Show details for WaldmannWaldmann
3
Show details for WangWang
17
Hide details for WeidenbachWeidenbach
2001Combining Superposition, Sorts and Splitting
In: Handbook of Automated Reasoning, 1965-2013		Part of a Book
2000Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät		Thesis - Habilitation thesis
1999SPASS V0.95TPTP
In: Journal of Automated Reasoning [23], 21-21		Journal Article
1999Towards 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
1998Rechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197		Part of a Book
1998Sorted Unification and Tree Automata
In: Automated Deduction - A Basis for Applications, 291-320		Part of a Book
1997SPASS Version 0.49
In: Journal of Automated Reasoning [18], 247-252		Journal Article
1996Computational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes		Thesis - PhD thesis
1996Sorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76		Proceedings Article
1996Unification in Pseudo-Linear Sort Theories is Decidable
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357		Proceedings Article

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