# Marco Hollenberg

According to our database

Collaborative distances:

^{1}, Marco Hollenberg authored at least 9 papers between 1996 and 2000.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2000

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

J. Symb. Log., 2000

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

1999

J. Log. Lang. Inf., 1999

Test Templates for Test Generation.

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

1998

Stud Logica, 1998

1997

J. Log. Lang. Inf., 1997

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

1996

J. Log. Comput., 1996

Uniform Interpolation, Automata and the Modal μ-Calculus.

Proceedings of the Advances in Modal Logic 1, 1996