Pages that link to "Item:Q1323362"
From MaRDI portal
The following pages link to Logical and schematic characterization of complexity classes (Q1323362):
Displaying 5 items.
- On the power of built-in relations in certain classes of program schemes (Q1277684) (← links)
- Context-sensitive transitive closure operators (Q1319508) (← links)
- Logical and schematic characterization of complexity classes (Q1323362) (← links)
- Program schemes, arrays, Lindström quantifiers and zero-one laws (Q1606129) (← links)
- Using Program Schemes to Capture Polynomial-Time Logically on Certain Classes of Structures (Q4827608) (← links)
