Pages that link to "Item:Q3098034"
From MaRDI portal
The following pages link to Kleene Theorem in Partial Conway Theories with Applications (Q3098034):
Displaying 5 items.
- Hierarchy theorems for \(k\)OBDDs and \(k\)IBDDs (Q1275068) (← links)
- The Andrews-Curtis conjecture, term rewriting and first-order proofs (Q1662269) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- (Q4329301) (← links)
- Diagonalisation and Church's Thesis: Kleene's Homework (Q5697424) (← links)