The following pages link to (Q4055582):
Displayed 17 items.
- Efficient algorithms for checking the equivalence of programs in interrupt handling models (Q949234) (← links)
- On the creation of a macromodel of social development (Q1333704) (← links)
- Formalized analysis of complex systems. I (Q1816302) (← links)
- Formalized program specifications and transformation synthesis (Q1899896) (← links)
- Hardware simulation in distributed computing systems: Methods and tools (Q1918738) (← links)
- Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models (Q2017779) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)
- Completeness problems in classes of computable named functions (Q3033303) (← links)
- Stack and locally finite transformations on structures with reversible transitions (Q3332226) (← links)
- Solvable problems for transformers with reversal-bounded counters (Q3747751) (← links)
- Theoretical and applied aspects of structured parallel programming (Q3806794) (← links)
- Regular sets and finite automata over?-groups (Q3879224) (← links)
- Recursive converters on a memory (Q3885193) (← links)
- Tabular programs and discrete transformations. II (Q3888531) (← links)
- Analysis and synthesis of structured parallel programs (Q3956376) (← links)
- Theory of language processors and parallel computations (Q5904540) (← links)
- Theory of language processors and parallel computations (Q5904924) (← links)