Pages that link to "Item:Q5501465"
From MaRDI portal
The following pages link to Equality of streams is a Π0 over 2-complete problem (Q5501465):
Displayed 6 items.
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- The $\Pi^0_2$ -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) (Q3636833) (← links)
- Complexity of Fractran and Productivity (Q5191114) (← links)
- Behavioral Rewrite Systems and Behavioral Productivity (Q5403074) (← links)