Program schemata with monotone operators
From MaRDI portal
Recommendations
- On program schemes with commuting and monotone operators
- Decidability of equivalence in the set of program schema with monotonic and partially commutative operators
- Equivalent transformations in the model of programs with commuting and monotone operators
- A transformation system complete in a class of program schemes with commuting operators
- scientific article; zbMATH DE number 4024754
Cited in
(18)- Compositions of programs that induce special monotonic functions
- Equivalence of conservative, free, linear program schemas is decidable
- Fast algorithms for deciding the equivalence of operator programs on balanced scales.
- Program schemes with constants
- A canonization algorithm for pairs of program schemes with commuting operators
- Equivalent transformations in the model of programs with commuting and monotone operators
- The totality problem for program schemas
- Programmschemata mit Booleschen Unterprogrammen
- Parallel program schemata
- Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
- On program schemes with commuting and monotone operators
- Decidability of equivalence in the set of program schema with monotonic and partially commutative operators
- The Algorithmic Transformation of Schemas to Structured Form
- scientific article; zbMATH DE number 3930322 (Why is no real title available?)
- scientific article; zbMATH DE number 4024754 (Why is no real title available?)
- Regular algebra of functionals of labeled trees
- Algebraic-grammatical models of parallel computation
- Program schemata technique to solve propositional program logics revised
This page was built for publication: Program schemata with monotone operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1183753)
