Program schemes with constants
From MaRDI portal
Publication:2432964
DOI10.1007/s11086-005-0024-6zbMath1103.68468MaRDI QIDQ2432964
R. I. Podlovchenko, Dmitry Rusakov
Publication date: 26 October 2006
Published in: Programming and Computer Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11086-005-0024-6
68N99: Theory of software
Related Items
Inclusion problem in algebraic models of programs with constants, Automaton semigroup models of programs
Cites Work