Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template

Publications Master Template

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 [-]
2
Show details for Werner, Bockmayr, Krischer [Werner, Krischer]Werner, Bockmayr, Krischer [Werner, Krischer]
7
Show details for Weydert [-]Weydert [-]
1
Show details for Weydert [Besnard, Hanks]Weydert [Besnard, Hanks]
1
Show details for Weydert [Brewka, Witteveen, Schaub]Weydert [Brewka, Witteveen, Schaub]
1
Show details for Weydert [Brewka, Witteveen]Weydert [Brewka, Witteveen]
1
Show details for Weydert [Cohn, Schubert, Shapiro]Weydert [Cohn, Schubert, Shapiro]
1
Show details for Weydert [Cunningham, Gabbay]Weydert [Cunningham, Gabbay]
1
Show details for Weydert [de Leon, Wallin, Hulth]Weydert [de Leon, Wallin, Hulth]
1
Show details for Weydert [Delgrande, Truszczynski]Weydert [Delgrande, Truszczynski]
1
Show details for Weydert [Froideveaux, Kohlas]Weydert [Froideveaux, Kohlas]
1
Show details for Weydert [Fuhrmann, Rott]Weydert [Fuhrmann, Rott]
1
Show details for Weydert [Gabbay, Kruse]Weydert [Gabbay, Kruse]
1
Show details for Weydert [Gabbay, Ohlbach]Weydert [Gabbay, Ohlbach]
1
Show details for Weydert [Horn]Weydert [Horn]
1
Show details for Weydert [Lopez de Mantaraz, Poole]Weydert [Lopez de Mantaraz, Poole]
1
Show details for Weydert [Niemelä]Weydert [Niemelä]
1
Show details for Weydert [Rott, Albert, Brewka, Witteveen]Weydert [Rott, Albert, Brewka, Witteveen]
1
Show details for Weydert [Wachsmuth, Rollinger, Brauer]Weydert [Wachsmuth, Rollinger, Brauer]
1
Show details for Weydert, Brewka, Witteveen (ed.) [Brewka, Witteveen]Weydert, Brewka, Witteveen (ed.) [Brewka, Witteveen]
1
Show details for Weydert, van der Torre [Lang]Weydert, van der Torre [Lang]
1
Show details for Weydert, van der Torre [van der Torre]Weydert, van der Torre [van der Torre]
1
Show details for Wies [-]Wies [-]
1
Show details for Wies, Kuncak, Lam, Podelski, Rinard [Kuncak, Lam, Rinard, Emerson, Namjoshi]Wies, Kuncak, Lam, Podelski, Rinard [Kuncak, Lam, Rinard, Emerson, Namjoshi]
1
Show details for Wu [Gao, Wang]Wu [Gao, Wang]
1
Show details for Wu, Liu [Liu]Wu, Liu [Liu]
1
Show details for Wu, Lu [Lu]Wu, Lu [Lu]
1
Show details for Wu, Tan, Li [Tan, Li]Wu, Tan, Li [Tan, Li]
1
Show details for Xia, Yang [Yang]Xia, Yang [Yang]
1
Show details for Yoshida, Bundy, Green, Walsh, Basin [Yoshida, Green, Walsh]Yoshida, Bundy, Green, Walsh, Basin [Yoshida, Green, Walsh]
1
Show details for Yuan, Billington, Freiheit [Yuan, Billington]Yuan, Billington, Freiheit [Yuan, Billington]
1
Show details for Zeyer [-]Zeyer [-]
782

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