Searching for "Logical Hierarchies in PTIME" – sorted by Relevance.
-
Languages for Polynomial-Time Queries - an Ongoing Quest
- hierarchies in PTIME. In Proc. 7th IEEE Symp. on Logic in Computer Science, pages 360--368, 1992. [25] L
- Add To MetaCart
-
Oracles and Lindström Quantifiers on Ordered Structures
- Hella. Logical hierarchies in PTIME. In LiCS'92, pages 360--368. IEEE, 1992. [IL94] N. Immerman and S
- Add To MetaCart

