MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]

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 Wagner, Podelski [Podelski, Raskin, Thiagarajan]Wagner, Podelski [Podelski, Raskin, Thiagarajan]
6
Show details for Waldmann [-]Waldmann [-]
1
Show details for Waldmann [Bonacina, Furbach]Waldmann [Bonacina, Furbach]
1
Show details for Waldmann [Goré, Leitsch, Nipkow]Waldmann [Goré, Leitsch, Nipkow]
1
Show details for Waldmann [Kirchner, Kirchner]Waldmann [Kirchner, Kirchner]
1
Show details for Waldmann [McAllester, Voronkov]Waldmann [McAllester, Voronkov]
3
Show details for Wang [-]Wang [-]
11
Hide details for Weidenbach [-]Weidenbach [-]
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
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
1996Unification in Sort Theories and its Applications
In: Annals of Mathematics and Artificial Intelligence [18], 261-293		Journal Article
1995First-Order Tableaux with Sorts
In: Journal of the Interest Group in Pure and Applied Logics [3], 887-906		Journal Article
1994First-Order Tableaux with Sorts
In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 247-261		Proceedings Article
1994Sorts, Resolution, Tableaux and Propositional Logic
In: KI-94 Workshops: Extended Abstracts, 315-316		Proceedings Article
1993A New Sorted Logic
In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54		Proceedings Article
1993Extending the Resolution Method with Sorts
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), 60-65		Proceedings Article
1
Show details for Weidenbach [Bibel, Schmitt]Weidenbach [Bibel, Schmitt]
1
Show details for Weidenbach [Fiedler, Gorny, Grass, Hoelldobler, Hotz, Kerner, Reischuk]Weidenbach [Fiedler, Gorny, Grass, Hoelldobler, Hotz, Kerner, Reischuk]
1
Show details for Weidenbach [Hermann, Salzer]Weidenbach [Hermann, Salzer]
1
Show details for Weidenbach [McRobbie, Slaney]Weidenbach [McRobbie, Slaney]
1
Show details for Weidenbach [Robinson, Voronkov]Weidenbach [Robinson, Voronkov]
1
Show details for Weidenbach [Schulz, Kepser]Weidenbach [Schulz, Kepser]
1
Show details for Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić [-]Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić [-]
1
Show details for Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić [Voronkov]Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić [Voronkov]
1
Show details for Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney]Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney]
1
Show details for Weidenbach, Meyer, Cohrs, Engel, Keen [-]Weidenbach, Meyer, Cohrs, Engel, Keen [-]
3
Show details for Werner, Bockmayr, Krischer [-]Werner, Bockmayr, Krischer [-]

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