Automatisierung von Terminierungsbeweisen von Walther, Christoph 1950-

A digest of argument-bounded algorithms von Walther, Christoph 1950-

Automated termination proofs von Walther, Christoph 1950-

A many-sorted calculus based on resolution and paramodulation von Walther, Christoph 1950-

Schubert's steamroller von Walther, Christoph 1950-

A many-sorted calculus based on resolution and paramodulation von Walther, Christoph 1950-

The Markgraf Karl refutation procedure PLL - a first-order language for an automated theorem prover von Walther, Christoph 1950-

Automated termination proofs von Walther, Christoph 1950-

A classification of unification problems in many-sorted theories von Walther, Christoph 1950-

A classification of unification problems in many-sorted theories von Walther, Christoph 1950-

Schubert's Steamroller a case study in many-sorted resolution von Walther, Christoph 1950-

A many-sorted calculus based on resolution and paramodulation von Walther, Christoph 1950-

Semantik und Programmverifikation von Walther, Christoph 1950-

Inhaltsverzeichnis

A many sorted calculus based on resolution and paramodulation von Walther, Christoph 1950-

A many-sorted calculus based on resolution and paramodulation von Walther, Christoph 1950-

Ein mehrsortiger Resolutionskalkül mit Paramodulation von Walther, Christoph 1950-

Ein mehrsortiger Resolutionskalkül mit Paramodulation von Walther, Christoph 1950-

Elimination of redundant links in extende connection graphs von Walther, Christoph 1950-