Treffer 1 – 4 von 4 für Suche 'Buth, Karl-Heinz', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    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 Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Simulation of transition systems with term rewriting systems

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Using SOS definitions in term rewriting proofs

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    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
    Inhaltsverzeichnis
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: