16 results on '"Stephen L. Bloom"'
Search Results
2. Cycle-Free Finite Automata in Partial Iterative Semirings.
3. Regular and Algebraic Words and Ordinals.
4. Completing Categorical Algebras.
5. Axioms for Regular Words: Extended Abstract.
6. Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract.
7. Iteration 2-Theories: Extended Abstract.
8. Nonfinite Axiomatizability of Shuffle Inequalities.
9. Free Shuffle Algebras in Language Varieties (Extended Abstract).
10. Solving Polynomial Fixed Point Equations.
11. Some Quasi-Varieties of Iteration Theories.
12. Iteration Algebras (Extended Abstract).
13. Program Correctness and Matricial Iteration Theories.
14. Easy Solutions are Hard To Find.
15. Shuffle Equations, Parallel Transition Systems and Equational Petri Nets.
16. The Equational Logic of Iterative Processes.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.