Counting Logics and Games with Counters - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Simon Leßenich. Counting Logics and Games with Counters. In Anja Jentzsch, Tobias Pape, Sebastian Pasewaldt, editors, Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science - Dagstuhl 2014, Dagstuhl, Germany, June 15-18, 2014. pages 43, Pro Business GmbH, 2014.

The following publications are possibly variants of this publication:

Counting logics and games with countersSimon R. Leßenich. PhD thesis, RWTH Aachen University, Germany, 2015. [doi]

runs on WebDSL