The following pages link to (Q3217604):
Displaying 4 items.
- The complexity of combinatorial problems with succinct input representation (Q1090455) (← links)
- Some observations on the connection between counting and recursion (Q1098837) (← links)
- On counting propositional logic and Wagner's hierarchy (Q6100184) (← links)
- Towards logical foundations for probabilistic computation (Q6560995) (← links)
