PhD thesis,

Computational complexity of propositional dynamic logics.

.
University of Leipzig, (2008)

Meta data

Tags

Users

  • @dblp

Comments and Reviews