Concepedia

Christoph Walther

CW

Statistics

Publications

10

Citations

338

H-Index

10

Active since

1981

Affiliations

Technische Universität Darmstadt(Current)

Darmstadt University of Applied Sciences

Karlsruhe Institute of Technology

Christoph Walther is an author at Technische Universität Darmstadt specializing in computer science, computing, and theorem proving.

ORCID

Publications per year

1981–2004

10

Publications

10

Many-sorted unification

Christoph Walther · Journal of the ACM · 1988 · 74 citations · Full text

, , +13

On proving the termination of algorithms by machine

Christoph Walther · Artificial Intelligence · 1994 · 69 citations

, , +9

Reusing proofs

Thomas H. Kolbe, Christoph Walther · European Conference on Artificial Intelligence · 1994 · 39 citations

The Markgraf Karl refutation procedure

K. H. Bläsius, Norbert Fisinger, Jörg H. Siekmann et al. · International Joint Conference on Artificial Intelligence · 1981 · 37 citations

, , +13

Unification in many-sorted theories

Christoph Walther · European Conference on Artificial Intelligence · 1984 · 25 citations

, , +3

1–5 of 10