Pages that link to "Item:Q3613175"
From MaRDI portal
The following pages link to Approximate formulae for a logic that capture classes of computational complexity (Q3613175):
Displaying 4 items.
- Applicative theories for logarithmic complexity classes (Q2346995) (← links)
- Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets (Q3431975) (← links)
- LATIN 2004: Theoretical Informatics (Q5901673) (← links)
- Logics capturing relativized complexity classes uniformly (Q6064295) (← links)