default search action

combined dblp search
author search
venue search
publication search

ask others

Karl-Heinz Buth

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1995
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/seuh/BerghammerBB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seuh/BerghammerBB95
Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth:
Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. SEUH 1995: 11-21
1994
[b1]
- view
  - details & citations
  authority control:
- export record
  dblp key:
  - phd/dnb/Buth94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Buth94
Karl-Heinz Buth:
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems. University of Kiel, Germany, 1994, pp. 1-191
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Buth94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Buth94
Karl-Heinz Buth:
Simulation of SOS Definitions with Term Rewriting Systems. ESOP 1994: 150-164
1992
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cc/ButhBFKLLM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/ButhBFKLLM92
Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm:
Provably Correct Compiler Development and Implementation. CC 1992: 141-155
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/larch/Buth92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/larch/Buth92
Karl-Heinz Buth:
Using SOS Definitions in Term Rewriting Proofs. Larch 1992: 36-54
1991
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/ButhB91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/ButhB91
Bettina Buth, Karl-Heinz Buth:
An Approach to Automatic Proof Support for Code Generator Verification. Code Generation 1991: 193-209

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1988
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ButhB88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ButhB88
Bettina Buth, Karl-Heinz Buth:
Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting. VDM Europe 1988: 406-433

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.