Pages that link to "Item:Q1594177"
From MaRDI portal
The following pages link to A polynomial-time algorithm that recognizes the commutative equivalence of program schemata (Q1594177):
Displayed 4 items.
- On a class of algebraic models of programs of practical interest (Q395268) (← links)
- Using algebraic models of programs for detecting metamorphic malwares (Q549466) (← links)
- On an equivalence checking technique for algebraic models of programs (Q1758688) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)