Concepedia

M. Hollenberg

MH

3

Publications

154

Citations

3

H-Index

1994

Active since

Affiliations

Utrecht University(Current)

M. Hollenberg is an author at Utrecht University specializing in automated reasoning, formal methods, and computer science.

Top concepts

Publications per year

1994–2000

3

Publications

3

Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski

Giovanna D’Agostino, M. Hollenberg · Journal of Symbolic Logic · 2000 · 96 citations

, , +10

Hennessy-Milner Classes and Process Algebra

M. Hollenberg · 1994 · 32 citations · Full text

An Equational Axiomatization of Dynamic Negation and Relational Composition

M. Hollenberg · Journal of Logic Language and Information · 1997 · 26 citations

Rows per page

1–3 of 3