Pages that link to "Item:Q5463990"
From MaRDI portal
The following pages link to Implementation and Application of Automata (Q5463990):
Displaying 5 items.
- Using algebraic models of programs for detecting metamorphic malwares (Q549466) (← links)
- Equivalence checking of prefix-free transducers and deterministic two-tape automata (Q2278270) (← 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)
- The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape (Q3564880) (← links)