Treffer 1 – 9 von 9 für Suche 'Hollenberg, Marco J.', Suchdauer: 0,02s
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.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Equational axioms of test algebra von Hollenberg, Marco J.
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen … -
2
Uniform interpolation, automata and the modal my-calculus von D'Agostino, Giovanna, Hollenberg, Marco J.
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen … -
3
Hennessy-Milner classes and process algebra von Hollenberg, Marco J.
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen … -
4
Logic and bisimulation = Logica en bisimulatie von Hollenberg, Marco J.
Veröffentlicht 1998Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
5
Bisimulation respecting first-order operations von Hollenberg, Marco J.
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen … -
6
Safety for bisimulation in monadic second-order logic von Hollenberg, Marco J.
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen … -
7
An axiomatisation of strong negation and relational composition von Hollenberg, Marco J.
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen … -
8
Negative definability in modal logic von Hollenberg, Marco J.
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen … -
9
Counting variables in a dynamic setting von Hollenberg, Marco J., Vermeulen, Kees
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …