- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |