From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageUnknown
Title of host publicationLeibniz International Proceedings in Informatics (LIPIcs)
Pages24-27
DOIs
Publication statusPublished - 1 Jan 2013
EventCSL 2013: Computer Science Logic -
Duration: 1 Jan 2013 → …

Conference

ConferenceCSL 2013: Computer Science Logic
Period1/01/13 → …

Cite this