Treffer 1 - 5 von 5 für Suche 'Buth, Karl-Heinz', Suchdauer: 0,85s Treffer weiter einschränken
  1. 1
    Using SOS definitions in term rewriting proofs

    Using SOS definitions in term rewriting proofs von Buth, Karl-Heinz

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Representation of temporal interval logic using term rewrite systems

    Representation of temporal interval logic using term rewrite systems von Wang, Songnian, Simon, Friedemann, Buth, Karl-Heinz

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Simulation of transition systems with term rewriting systems

    Simulation of transition systems with term rewriting systems von Buth, Karl-Heinz

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems

    Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems von Buth, Karl-Heinz

    Veröffentlicht 1994
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Data refinement model-oriented proof methods and their comparison

    Data refinement model-oriented proof methods and their comparison von Roever, W.-P. de 1943-

    Veröffentlicht 1998
    Weitere Verfasser: “… Buth, Karl-Heinz …”
    Volltext
    E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: