Pages that link to "Item:Q844347"
From MaRDI portal
The following pages link to Technique of traces in solving the equivalence problem in algebraic program models (Q844347):
Displaying 6 items.
- On a class of algebraic models of programs of practical interest (Q395268) (← links)
- Tracks of relations and equivalences-based reasoning (Q539158) (← links)
- Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation (Q1758669) (← links)
- On an equivalence checking technique for algebraic models of programs (Q1758688) (← links)
- On the polynomial complexity of the equivalence checking problem in algebraic models of programs (Q2452734) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)