| |
| 2000 | ||
|---|---|---|
| 7 | Giovanna D'Agostino, Marco Hollenberg: Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski. J. Symb. Log. 65(1): 310-332 (2000) | |
| 1999 | ||
| 6 | Marco Hollenberg: Test Templates for Test Generation. IWTCS 1999: 167-178 | |
| 5 | Marco Hollenberg, Albert Visser: Dynamic Negation, the One and Only. Journal of Logic, Language and Information 8(2): 137-141 (1999) | |
| 1998 | ||
| 4 | Marco Hollenberg: Characterizations of Negative Definability in Modal Logic. Studia Logica 60(2): 357-386 (1998) | |
| 1997 | ||
| 3 | Marco Hollenberg: Equational Axioms of Test Algebra. CSL 1997: 295-310 | |
| 2 | Marco Hollenberg: An Equational Axiomatization of Dynamic Negation and Relational Composition. Journal of Logic, Language and Information 6(4): 381-401 (1997) | |
| 1996 | ||
| 1 | Marco Hollenberg, Kees Vermeulen: Counting Variables in a Dynamic Setting. J. Log. Comput. 6(5): 725-744 (1996) | |
| 1 | Giovanna D'Agostino | [7] |
| 2 | Kees Vermeulen | [1] |
| 3 | Albert Visser | [5] |