scientific article; zbMATH DE number 5242385
From MaRDI portal
Publication:5445415
zbMath1201.68071MaRDI QIDQ5445415
Publication date: 5 March 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales ⋮ Program equivalence checking by two-tape automata
This page was built for publication:
