Klaus Becker

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Claus-Peter Wirth, Klaus Becker
Abstract Notions and Inference Systems for Proofs by Mathematical Induction. CTRS (1994)
Jürgen Avenhaus, Klaus Becker
Operational Specifications with Built-Ins. STACS (1994)
Klaus Becker
Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications. TAPSOFT (1993)
Klaus Becker
Semantics for Positive/Negative Conditional Rewrite Systems. CTRS (1992)