Treffer 1 – 12 von 12 für Suche 'Fernando, R. T.', Suchdauer: 0,03s 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
    Bisimulations and predicate logic

    Bisimulations and predicate logic von Fernando, R. T.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Comparative transition system semantics

    Comparative transition system semantics von Fernando, R. T.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Transition systems and dynamic semantics

    Transition systems and dynamic semantics von Fernando, R. T.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Provably recursive programs

    Provably recursive programs von Fernando, R. T.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Comparative transition system semantics

    Comparative transition system semantics von Fernando, R. T.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Operational semantics, bisimulations and logical complexity

    Operational semantics, bisimulations and logical complexity von Fernando, R. T.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Operational semantics, bisimulations and logical complexity

    Operational semantics, bisimulations and logical complexity von Fernando, R. T.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A primitive recursive set theory and AFA on the logical complexity of the largest bisimulation

    A primitive recursive set theory and AFA on the logical complexity of the largest bisimulation von Fernando, R. T.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Transition systems and dynamic semantics

    Transition systems and dynamic semantics von Fernando, R. T.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Bisimulations and predicate logic

    Bisimulations and predicate logic von Fernando, R. T.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Provably recursive programs

    Provably recursive programs von Fernando, R. T.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    A primitive recursive set theory and AFA on the logical complexity of the largest bisimulation

    A primitive recursive set theory and AFA on the logical complexity of the largest bisimulation von Fernando, R. T.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: