Kai Brünnler
According to our database1,
Kai Brünnler
authored at least 19 papers
between 2001 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020
2012
Ann. Pure Appl. Log., 2012
2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Advances in Modal Logic 8, 2010
2009
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
2008
J. Log. Algebraic Methods Program., 2008
Proceedings of the Logic for Programming, 2008
2007
Proceedings of the 5th Workshop on Methods for Modalities, 2007
2006
Stud Logica, 2006
Proceedings of the Logical Approaches to Computational Barriers, 2006
2003
Proceedings of the Computer Science Logic, 17th International Workshop, 2003
2001