Klaus Becker

How to Prove Ground Confluence

Klaus Becker, 1999 .

Rewrite operationalization of clausal specifications with predefined structures

Klaus Becker, Klaus Becker, 1994 .

How to Prove Ground Con uence

Klaus Becker, 1996 .

Semantics for Positive/Negative Conditional Rewrite Systems

Klaus Becker, Klaus Becker, 1992, CTRS.

A Framework for Operational Equational Specifications with Pre-defined Structures

Jürgen Avenhaus, Klaus Becker, J. Avenhaus, 1999, J. Symb. Comput..

Operational Specifications with Built-Ins

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