Tishkovsky Dmitry

Dmitry Tishkovsky

Information about the author Dmitry Tishkovsky will soon be added to the site.
Found 1 papers in total
Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete
2013
This paper provides a proof of NExpTime ‐completeness of the satisfiability...
Papers per page: