Pages that link to "Item:Q2191014"
From MaRDI portal
The following pages link to Efficient equivalence-checking algorithms for procedural programs in progressive semigroup gateway models (Q2191014):
Displaying 3 items.
- Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales (Q357923) (← links)
- An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements (Q4589207) (← links)
- Fast algorithms for deciding the equivalence of propositional operator programs on ordered semigroup scales (Q5947813) (← links)