The following pages link to (Q3063994):
Displaying 3 items.
- Efficient algorithms for checking the equivalence of programs in interrupt handling models (Q949234) (← links)
- Efficient equivalence-checking algorithms for procedural programs in progressive semigroup gateway models (Q2191014) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)
