gefundene Verfasser Hollenberg, M.J.

Hollenberg, Marco J.
Cormack, David H.
D'Agostino, Giovanna
Hollenberg, Martin J.
Lea, Peter J. 1944-
Alle anzeigen »
Vermeulen, Kees

Treffer 1 - 10 von 10 für Suche 'Hollenberg, M.J.', Suchdauer: 1,83s Treffer weiter einschränken
  1. 1
    Equational axioms of test algebra

    Equational axioms of test algebra von Hollenberg, Marco J.

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Stereo atlas of the cell

    Stereo atlas of the cell von Hollenberg, Martin J., Cormack, David H., Lea, Peter J. 1944-

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Hennessy-Milner classes and process algebra

    Hennessy-Milner classes and process algebra von Hollenberg, Marco J.

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Uniform interpolation, automata and the modal my-calculus

    Uniform interpolation, automata and the modal my-calculus von D'Agostino, Giovanna, Hollenberg, Marco J.

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Logic and bisimulation = Logica en bisimulatie

    Logic and bisimulation = Logica en bisimulatie von Hollenberg, Marco J.

    Veröffentlicht 1998
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Bisimulation respecting first-order operations

    Bisimulation respecting first-order operations von Hollenberg, Marco J.

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Safety for bisimulation in monadic second-order logic

    Safety for bisimulation in monadic second-order logic von Hollenberg, Marco J.

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    An axiomatisation of strong negation and relational composition

    An axiomatisation of strong negation and relational composition von Hollenberg, Marco J.

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Negative definability in modal logic

    Negative definability in modal logic von Hollenberg, Marco J.

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Counting variables in a dynamic setting

    Counting variables in a dynamic setting von Hollenberg, Marco J., Vermeulen, Kees

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: