The following pages link to (Q5517672):
Displaying 26 items.
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- A survey of state vectors (Q458456) (← links)
- Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas (Q624386) (← links)
- Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas (Q649588) (← links)
- Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time (Q875512) (← links)
- A note on an expressiveness hierarchy for multi-exit iteration (Q1014386) (← links)
- Probabilistic Ianov's schemes (Q1093361) (← links)
- The equivalence of r.e. program schemes and data flow schemes (Q1144928) (← links)
- Equivalence of free Boolean graphs can be decided probabilistically in polynomial time (Q1144943) (← links)
- A complete logic for reasoning about programs via nonstandard model theory. I (Q1159460) (← links)
- Program transformations and algebraic semantics (Q1254849) (← links)
- Monadic recursion schemes: The effect of constants (Q1259576) (← links)
- On approximate and algebraic computability over the real numbers (Q1292404) (← links)
- An equational axiomatization for multi-exit iteration (Q1369097) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Program schemes, recursion schemes, and formal languages (Q1393937) (← links)
- \(L(A)=L(B)\)? decidability results from complete formal systems (Q1589483) (← links)
- Equivalence of conservative, free, linear program schemas is decidable (Q1853616) (← links)
- Some thoughts on computational models: from massive human computing to abstract state machines, and beyond (Q2117588) (← links)
- Regular expressions and the equivalence of programs (Q2536436) (← links)
- On formalised computer programs (Q2543556) (← links)
- Translating recursion equations into flow charts (Q2553232) (← links)
- Subrecursive program schemata I P II. I: Undecidable equivalence problems. II: Decidable equivalence problems (Q2559259) (← links)
- (Q4139645) (← links)
- (Q4146238) (← links)
- (Q5020646) (← links)
