Pages that link to "Item:Q5947813"
From MaRDI portal
The following pages link to Fast algorithms for deciding the equivalence of propositional operator programs on ordered semigroup scales (Q5947813):
Displaying 4 items.
- Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales (Q357923) (← links)
- Logical semirings and their usage for construction of quick algorithms (Q1280316) (← links)
- On the decidability of the equivalence problem for orthogonal sequential programs (Q1592932) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)