Polynomial hierarchy graph properties in hybrid logic
| Autor: | Ferreira, F.M., Freire, C.M., Benevides, M.R.F., Menasché Schechter, L., Martins, A.T. |
|---|---|
| Zdroj: | In Journal of Computer and System Sciences September 2014 80(6):1087-1101 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect