Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Christoph Weidenbach: Selected Publications
Weidenbach, C., 1998, Sorted Unification and Tree Automata
in Bibel W. and Schmitt P. H. , editors,
Automated Deduction - A Basis for Applications,
Volume 1 of Applied Logic, Chapter 9, Kluwer, pp. 291-320.
Nonnengart, A. and Weidenbach, C., 1999,
Computing Small Clause Normal Forms
in A. Robinson and A. Voronkov, editors, Handbook of
Automated Reasoning, Elsevier, To appear.
(.ps.gz 134KB)
Weidenbach, C., 1999,
SPASS: Combining Superposition, Sorts and Splitting
in A. Robinson and A. Voronkov, editors, Handbook of
Automated Reasoning, Elsevier, To appear.
(.ps.gz 148KB)
Journal Articles
Weidenbach, C., 1995, First-order Tableaux with Sorts
in Journal of the Interest Group in Pure and Applied Logics, IGPL,
3(6), pp. 887-906.
Ohlbach, H. J. and Weidenbach, C., 1995,
A Note on Assumptions about Skolem Functions
in Journal of Automated Reasoning, 15(2), pp. 267-275.
Weidenbach, C., 1996, Unification in sort theories and its applications
in Annals of Mathematics and Artificial Intelligence, 18(2-4), pp. 261-293.
Conference Papers
Ganzinger, H., Meyer, C. and Weidenbach C., 1997,
Soft Typing for Ordered Resolution in
W. McCune, editor, 14th International Conference on Automated Deduction, CADE-14,
Vol. 1249 of LNAI,
Springer, pp. 321-335. (.ps.gz 77KB)
Jacquemard F., Meyer C. and Weidenbach C., 1998
Unification in Extensions of Shallow Equational Theories in
T. Nipkow, editor, Rewriting Techniques and Applications,
9th International Conference, RTA-98,
Vol. 1379 of LNCS,
Springer, pp. 76-90. (.ps.gz 84KB)
Weidenbach, C., 1999, Towards an Automatic Analysis of Security Protocols in
H. Ganzinger, editor, 16th International Conference on Automated Deduction, CADE-16,
Vol. 1632 of LNAI,
Springer, pp. 378-382. (.ps.gz 78KB)