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):
Displaying 8 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)
- On the complexity of stream equality (Q2875229) (← links)
- The $\Pi^0_2$ -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) (Q3636833) (← links)
- Turing-Completeness of Polymorphic Stream Equation Systems (Q5111910) (← links)
- Complexity of Fractran and Productivity (Q5191114) (← links)
- Behavioral Rewrite Systems and Behavioral Productivity (Q5403074) (← links)