Searching for "Bounded-Arity Hierarchies in Fixed-Point Logics." – sorted by Relevance.
-
Arity and Alternation in Second Order Logic
- shown that the bounded--arity hierarchies in fixed point logic are strict. In these hierarchies
- Add To MetaCart

