Publication:3197299
From MaRDI portal
zbMath0712.68013MaRDI QIDQ3197299
Publication date: 1989
68N01: General topics in the theory of software
Related Items
Problems of inclusion and equivalence for program schemata and formal languages, Program equivalence checking by two-tape automata