The following pages link to Program schemes with constants (Q2432964):
Displaying 8 items.
- An algebraic approach to schemes of structured programs (Q795496) (← links)
- Inclusion problem in algebraic models of programs with constants (Q926618) (← links)
- Scheme inclusion verification algorithm in algebraic model of programs with constants (Q927457) (← links)
- Finite constants: Characterizations of a new decidable set of constants (Q1176239) (← links)
- Scheme canonical forms and their construction in special automaton models of recursive programs (Q1276532) (← links)
- Approximability of some program models by others (Q1858999) (← links)
- Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models (Q2017779) (← links)
- Automaton semigroup models of programs (Q2371659) (← links)
