MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

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

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