We stand with Ukraine  

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.
[BibTeX]
[DOI]
Jürgen Avenhaus
,
Klaus Becker
J. Symb. Comput., 1999

1994
Operational Specifications with Built-Ins.
[BibTeX]
[DOI]
Jürgen Avenhaus
,
Klaus Becker
Proceedings of the STACS 94, 1994

Abstract Notions and Inference Systems for Proofs by Mathematical Induction.
[BibTeX]
[DOI]
Claus-Peter Wirth
,
Klaus Becker
Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

Rewrite operationalization of clausal specifications with predefined structures.
[BibTeX]
[DOI]
Klaus Becker
PhD thesis, 1994

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

1992
Semantics for Positive/Negative Conditional Rewrite Systems.
[BibTeX]
[DOI]
Klaus Becker
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992


  Loading...