Pages that link to "Item:Q1111006"
From MaRDI portal
The following pages link to The problem of equivalence in commutative s-models for programs (Q1111006):
Displaying 4 items.
- Investigating s-model programs for the purpose of reducing them to canonical form (Q1083840) (← links)
- Approximability of some program models by others (Q1858999) (← links)
- An abstract equivalence notion for object models (Q2848432) (← links)
- An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements (Q4589207) (← links)