Pages that link to "Item:Q1592932"
From MaRDI portal
The following pages link to On the decidability of the equivalence problem for orthogonal sequential programs (Q1592932):
Displaying 4 items.
- Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales (Q357923) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)
- On the Decidability of the Equivalence Problem for Monadic Recursive Programs (Q4508638) (← links)
- Fast algorithms for deciding the equivalence of propositional operator programs on ordered semigroup scales (Q5947813) (← links)