The following pages link to (Q3256561):
Displaying 24 items.
- Semantics of algorithmic languages (Q760200) (← links)
- Technique of traces in solving the equivalence problem in algebraic program models (Q844347) (← links)
- An algorithm deciding functional equivalence in a new class of program schemes (Q912596) (← links)
- Efficient algorithms for checking the equivalence of programs in interrupt handling models (Q949234) (← links)
- Structural models of algorithms in problems of applied programming. I: Formal algorithmic structures (Q1040396) (← links)
- Functional completeness in iterative meta-algebras (Q1280934) (← links)
- Recursive information transducers: Computation models (Q1288659) (← links)
- Issues of algorithmics and Glushkov's systems of algorithmic algebras (Q1288661) (← links)
- An algebraic approach to semantics of programming languages (Q1346625) (← links)
- Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation (Q1758669) (← links)
- Algebra of algorithms and Kaluzhnin's graph-schemas (Q1905123) (← links)
- Functional completeness criteria in Dijkstra algebra (Q1922339) (← links)
- Bounded monotone recursion and multihead automata (Q2017762) (← links)
- Program schemata technique for propositional program logics: a 30-year history (Q2216719) (← links)
- Automaton semigroup models of programs (Q2371659) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)
- Parallel program schemata (Q2540014) (← links)
- Problems on automation of computer and system design (Q2540166) (← links)
- On program schemata equivalence (Q2559261) (← links)
- A propositional logic of Boolean recursive programs in which predicate variables appear in conditions (Q2639846) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- Minimization of logical schemes of algorithms (Q3880274) (← links)
- Recursive converters on a memory (Q3885193) (← links)
- Verification and comparison of transition systems (Q5044730) (← links)