The following pages link to Semigroup program models (Q1162805):
Displaying 6 items.
- Using algebraic models of programs for detecting metamorphic malwares (Q549466) (← links)
- Technique of traces in solving the equivalence problem in algebraic program models (Q844347) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)
- A case of insolubility of the problem of equivalence of programs (Q3008829) (← links)
- Modeling of programs by flow diagrams and construction of diagram transformation systems (Q4743716) (← links)
- On the cardinality computation problem for regular languages over symmetric groups (Q6572947) (← links)
