Marco Hollenberg

According to our database, Marco Hollenberg authored at least 9 papers between 1996 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski.

Giovanna D'Agostino, Marco Hollenberg

J. Symb. Log., 2000

LARIS 1.0 - LAnguage for Railway Interlooking Specifications.

Wan J. Fokkink, Jan Friso Groote, Marco Hollenberg, Bas van Vlijmen

CWI, ISBN: 978-90-6196-489-6, 2000

1999

Dynamic Negation, the One and Only.

Marco Hollenberg, Albert Visser

J. Log. Lang. Inf., 1999

Test Templates for Test Generation.

Marco Hollenberg

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

1998

Characterizations of Negative Definability in Modal Logic.

Marco Hollenberg

Stud Logica, 1998

1997

An Equational Axiomatization of Dynamic Negation and Relational Composition.

Marco Hollenberg

J. Log. Lang. Inf., 1997

Equational Axioms of Test Algebra.

Marco Hollenberg

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1996

Counting Variables in a Dynamic Setting.

Marco Hollenberg, Kees Vermeulen

J. Log. Comput., 1996

Uniform Interpolation, Automata and the Modal μ-Calculus.

Giovanna D'Agostino, Marco Hollenberg

Proceedings of the Advances in Modal Logic 1, 1996