Program schemes with constants
From MaRDI portal
Publication:2432964
DOI10.1007/s11086-005-0024-6zbMath1103.68468OpenAlexW2016490883MaRDI 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
Related Items
Automaton semigroup models of programs, Inclusion problem in algebraic models of programs with constants
Cites Work