Server halma.mpi-inf.mpg.de
Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys
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
| Year | | Title | BibTeX cite key | |
| van der Torre |
| |
| |
| van der Torre, Weydert |
| |
| |
| Veit |
| |
| |
| Vorobyov |
| |
| |
| Voronkov |
| |
| |
| Waldmann |
| |
| |
| Weidenbach |
| |
| 2001 | | Combining Superposition, Sorts and Splitting
In: Handbook of Automated Reasoning, 1965-2013 | Weidenbach2001handbook | |
| 2000 | | Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät | Weidenbach2000habil | |
| 1999 | | SPASS V0.95TPTP
In: Journal of Automated Reasoning [23], 21-21 | Weidenbach1999jar | |
| 1999 | | Towards 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 | |
| 1998 | | Rechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197 | Weidenbach98teubner | |
| 1998 | | Sorted Unification and Tree Automata
In: Automated Deduction - A Basis for Applications, 291-320 | Weidenbach98kluwer | |
| 1997 | | SPASS Version 0.49
In: Journal of Automated Reasoning [18], 247-252 | Weidenbach97jar | |
| 1996 | | Computational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes | Weidenbach96e | |
| 1996 | | Sorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76 | Weidenbach96d | |
| 1996 | | Unification in Pseudo-Linear Sort Theories is Decidable
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357 | Weidenbach96a | |
| 1996 | | Unification in Sort Theories
In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25 | Weidenbach96c | |
| 1996 | | Unification in Sort Theories and its Applications
In: Annals of Mathematics and Artificial Intelligence [18], 261-293 | Weidenbach96f | |
| 1995 | | First-Order Tableaux with Sorts
In: Journal of the Interest Group in Pure and Applied Logics [3], 887-906 | Weidenbach95d | |
| 1994 | | First-Order Tableaux with Sorts
In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 247-261 | Weidenbach94a | |
| 1994 | | Sorts, Resolution, Tableaux and Propositional Logic
In: KI-94 Workshops: Extended Abstracts, 315-316 | Weidenbach94c | |
| 1993 | | A New Sorted Logic
In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54 | Weidenbach92a | |
| 1993 | | Extending the Resolution Method with Sorts
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), 60-65 | Weidenbach93a | |
Previous Page |
Next Page |
Expand All |
Collapse All |
Search (Full Text)