Marco Hollenberg

	2000
8		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
7		Marco Hollenberg: Test Templates for Test Generation. IWTCS 1999: 167-178
6		Marco Hollenberg, Albert Visser: Dynamic Negation, the One and Only. Journal of Logic, Language and Information 8(2): 137-141 (1999)
	1998
5		Marco Hollenberg: Characterizations of Negative Definability in Modal Logic. Studia Logica 60(2): 357-386 (1998)
	1997
4		Marco Hollenberg: Equational Axioms of Test Algebra. CSL 1997: 295-310
3		Marco Hollenberg: An Equational Axiomatization of Dynamic Negation and Relational Composition. Journal of Logic, Language and Information 6(4): 381-401 (1997)
	1996
2		Marco Hollenberg, Kees Vermeulen: Counting Variables in a Dynamic Setting. J. Log. Comput. 6(5): 725-744 (1996)
	1991
1		Wan Fokkink, Jan Friso Groote, Marco Hollenberg, Bas van Vlijmen: LARIS 1.0 - LAnguage for Railway Interlooking Specifications. CWI 1991: I-VI, 1-129

Coauthor Index

1	Giovanna D'Agostino	[8]
2	Wan Fokkink	[1]
3	Jan Friso Groote	[1]
4	Kees Vermeulen	[2]
5	Albert Visser	[6]
6	Bas van Vlijmen	[1]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page