dblp.uni-trier.dewww.uni-trier.de

Christoph Walther Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2007
34EEAndreas Schlosser, Christoph Walther, Michael Gonder, Markus Aderhold: Context Dependent Procedures and Computed Types in -eriFun. Electr. Notes Theor. Comput. Sci. 174(7): 61-78 (2007)
2005
33EEChristoph Walther, Stephan Schweitzer: Reasoning About Incompletely Defined Programs. LPAR 2005: 427-442
2004
32EEChristoph Walther, Stephan Schweitzer: Automated Termination Analysis for Incompletely Defined Programs. LPAR 2004: 332-346
31EEChristoph Walther, Stephan Schweitzer: Verification in the Classroom. J. Autom. Reasoning 32(1): 35-73 (2004)
2003
30EEChristoph Walther, Stephan Schweitzer: About VeriFun. CADE 2003: 322-327
29EEChristoph Walther, Stephan Schweitzer: A Machine-Verified Code Generator. LPAR 2003: 91-106
2001
28 Christoph Walther: Semantik und Programmverifikation Teubner 2001
2000
27 Christoph Walther: Criteria for Termination. Intellectics and Computational Logic 2000: 361-386
26EEChristoph Walther, Thomas Kolbe: Proving theorems by reuse. Artif. Intell. 116(1-2): 17-66 (2000)
25 Christoph Walther, Thomas Kolbe: On Terminating Lemma Speculations. Inf. Comput. 162(1-2): 96-116 (2000)
1996
24EEThomas Kolbe, Christoph Walther: Termination of Theorem Proving by Reuse. CADE 1996: 106-120
1995
23EEThomas Kolbe, Christoph Walther: Patching Proofs for Reuse (Extended Abstract). ECML 1995: 303-306
22 Thomas Kolbe, Christoph Walther: Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs. IJCAI 1995: 190-195
1994
21 Thomas Kolbe, Christoph Walther: Reusing Proofs. ECAI 1994: 80-84
20 Christoph Walther: Mathematical induction. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 127-228
19 Christoph Walther: On Proving the Termination of Algorithms by Machine. Artif. Intell. 71(1): 101-157 (1994)
1993
18 Christoph Walther: Combining Induction Axioms by Machine. IJCAI 1993: 95-101
1992
17EEChristoph Walther: Computing Induction Axioms. LPAR 1992: 381-392
1991
16 Christoph Walther: Automatisierung von Terminierungsbeweisen. Vieweg 1991
1989
15EEChristoph Walther: Many-Sorted Inferences in Automated Theorem Proving. Sorts and Types in Artificial Intelligence 1989: 18-48
1988
14EEChristoph Walther: Argument-Bounded Algorithms as a Basis for Automated Termination Proofs. CADE 1988: 602-621
13EEChristoph Walther: Many-sorted unification. J. ACM 35(1): 1-17 (1988)
1987
12 Christoph Walther: A Many-Sorted Calculus Based on Resolution and Paramodulation. Pitman / Morgan Kaufmann 1987
11 Christoph Walther: Many-Sorted Resolution. KIFS 1987: 65-102
1986
10EEChristoph Walther: A Classification of Many-Sorted Unification Problems. CADE 1986: 525-537
9EESusanne Biundo, B. Hummel, Dieter Hutter, Christoph Walther: The Karlsruhe Induction Theorem Proving System. CADE 1986: 672-674
8 Christoph Walther: Automatisches Beweisen. KIFS 1986: 292-339
1985
7 Christoph Walther: A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution. Artif. Intell. 26(2): 217-224 (1985)
1984
6 Christoph Walther: A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution. AAAI 1984: 330-334
5 Christoph Walther: Unification in Many-Sorted Theories. ECAI 1984: 383-392
1983
4 Christoph Walther: A Many-Sorted Calculus Based on Resolution and Paramodulation. IJCAI 1983: 882-891
1981
3 Christoph Walther: Elimination of Redundant Links in Extended Connection Graphs. GWAI 1981: 201-213
2 Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther: The Markgraf Karl Refutation Procedure. IJCAI 1981: 511-518
1980
1 Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther: Das Karlsruher Beweissystem. GI Jahrestagung 1980: 400-412

Coauthor Index

1Markus Aderhold [34]
2Susanne Biundo [9]
3Karl-Hans Bläsius [2]
4Norbert Eisinger [1] [2]
5Michael Gonder [34]
6Alexander Herold [2]
7B. Hummel [9]
8Dieter Hutter [9]
9Thomas Kolbe [21] [22] [23] [24] [25] [26]
10Andreas Schlosser [34]
11Stephan Schweitzer [29] [30] [31] [32] [33]
12Jörg H. Siekmann [1] [2]
13Gert Smolka [1] [2]
14E. Unvericht [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)