Klaus Becker

Affiliations:
  • Kaiserslautern University of Technology, Germany (PhD 1994)


According to our database1, Klaus Becker authored at least 6 papers between 1992 and 1999.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1999
A Framework for Operational Equational Specifications with Pre-defined Structures.
J. Symb. Comput., 1999

1994
Operational Specifications with Built-Ins.
Proceedings of the STACS 94, 1994

Abstract Notions and Inference Systems for Proofs by Mathematical Induction.
Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

Rewrite operationalization of clausal specifications with predefined structures.
PhD thesis, 1994

1993
Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992
Semantics for Positive/Negative Conditional Rewrite Systems.
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992


  Loading...