Klaus Becker

Operational Specifications with Built-Ins

Jürgen Avenhaus, Klaus Becker, J. Avenhaus, 1994, STACS.

Introduction to Airbus Use-Case “FlexCraft”

Klaus Becker, Frank Theurich, 2015 .

Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications

Klaus Becker, 1993, TAPSOFT.

Abstract Notions and Inference Systems for Proofs by Mathematical Induction

Claus-Peter Wirth, Klaus Becker, 1994, CTRS.

Semantics for Positive/Negative Conditional Rewrite Systems

Klaus Becker, Klaus Becker, 1992, CTRS.

Rewrite operationalization of clausal specifications with predefined structures

Klaus Becker, Klaus Becker, 1994 .