An applicative theory for FPH
| Autor: | Kahle, Reinhard, Oitavem, Isabel |
|---|---|
| Rok vydání: | 2011 |
| Předmět: | |
| Zdroj: | EPTCS 47, 2011, pp. 44-56 |
| Druh dokumentu: | Working Paper |
| DOI: | 10.4204/EPTCS.47.6 |
| Popis: | In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time. Comment: In Proceedings CL&C 2010, arXiv:1101.5200 |
| Databáze: | arXiv |
| Externí odkaz: |
|