M.J. Hollenberg
7 titels in de boekenbase · Auteur · 1994–1996
Over M.J. Hollenberg
M.J. Hollenberg staat met 7 titels in de boekenbase als auteur. Bekend van de series ‘Logic group preprint series’ en ‘Preprint series’. Het werk valt vooral onder non-fictie informatief/professioneel algemeen. Verschenen tussen 1994 en 1996 bij Universiteit Utrecht.
Serie: Logic group preprint series →
Bisimulation respecting first-order operations
M.J. Hollenberg
Bisimulation respecting first-order operations
M.J. Hollenberg
Niet gespecificeerd · 1996
Counting variables in a dynamic setting
M.J. Hollenberg
Counting variables in a dynamic setting
M.J. Hollenberg
Paperback · 1994
Hennessy-Milner classes and process algebra
M.J. Hollenberg
Hennessy-Milner classes and process algebra
M.J. Hollenberg
Paperback · 1994
Negative definability in modal logic
M.J. Hollenberg
Negative definability in modal logic
M.J. Hollenberg
Paperback · 1994
Serie: Preprint series →
Safety for bisimulation in monadic second-order logic
M.J. Hollenberg
Safety for bisimulation in monadic second-order logic
M.J. Hollenberg
Paperback · 1996
Equational axioms of test algebra
M.J. Hollenberg
Equational axioms of test algebra
M.J. Hollenberg
Paperback