Search the dblp DataBase
Stephen L. Bloom :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Stephen L. Bloom , Anna Labella , Zoltán Ésik , Ernest G. Manes Iteration 2-Theories: Extended Abstract. [Citation Graph (0, 0)][DBLP ] AMAST, 1997, pp:30-44 [Conf ] Stephen L. Bloom , David B. Patterson Easy Solutions are Hard To Find. [Citation Graph (0, 0)][DBLP ] CAAP, 1981, pp:135-146 [Conf ] Stephen L. Bloom The Equational Logic of Iterative Processes. [Citation Graph (0, 0)][DBLP ] FCT, 1989, pp:47-57 [Conf ] Stephen L. Bloom , Zoltán Ésik Axioms for Regular Words: Extended Abstract. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2003, pp:50-61 [Conf ] Stephen L. Bloom , Zoltán Ésik Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract. [Citation Graph (0, 0)][DBLP ] LATIN, 2000, pp:367-376 [Conf ] Stephen L. Bloom , Zoltán Ésik Free Shuffle Algebras in Language Varieties (Extended Abstract). [Citation Graph (0, 0)][DBLP ] LATIN, 1995, pp:99-111 [Conf ] Stephen L. Bloom , Zoltán Ésik Solving Polynomial Fixed Point Equations. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:52-67 [Conf ] Stephen L. Bloom , Zoltán Ésik Program Correctness and Matricial Iteration Theories. [Citation Graph (0, 0)][DBLP ] MFPS, 1991, pp:457-476 [Conf ] Stephen L. Bloom , Zoltán Ésik Some Quasi-Varieties of Iteration Theories. [Citation Graph (0, 0)][DBLP ] MFPS, 1993, pp:378-409 [Conf ] Stephen L. Bloom , Zoltán Ésik Iteration Algebras (Extended Abstract). [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1991, pp:264-274 [Conf ] Stephen L. Bloom , Zoltán Ésik Nonfinite Axiomatizability of Shuffle Inequalities. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1995, pp:318-333 [Conf ] Stephen L. Bloom , Klaus Sutner Shuffle Equations, Parallel Transition Systems and Equational Petri Nets. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1989, pp:134-148 [Conf ] Stephen L. Bloom The alternation number and a dot hierarchy of regular sets. [Citation Graph (0, 0)][DBLP ] Acta Cybern., 1986, v:7, n:4, pp:355-358 [Journal ] Stephen L. Bloom , Ralph Tindell A note on zero-congruences. [Citation Graph (0, 0)][DBLP ] Acta Cybern., 1987, v:8, n:, pp:1-4 [Journal ] Stephen L. Bloom Frontiers of one-letter languages. [Citation Graph (0, 0)][DBLP ] Acta Cybern., 1985, v:7, n:1, pp:1-18 [Journal ] Stephen L. Bloom , Zoltán Ésik Some varieties of iteration theories. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1984, v:24, n:, pp:53-65 [Journal ] Stephen L. Bloom , Zoltán Ésik Two Axiomatizations of a Star Semiring Quasi-Variety. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1996, v:59, n:, pp:- [Journal ] Stephen L. Bloom , Zoltán Ésik Cayley iff Stone. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1991, v:43, n:, pp:159-161 [Journal ] Stephen L. Bloom , Zoltán Ésik Unique, guarded fixed points in an additive setting: Extended Abstract. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal ] Stephen L. Bloom , Zoltán Ésik Deciding whether the frontier of a regular tree is scattered. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2003, v:55, n:1, pp:1-21 [Journal ] Stephen L. Bloom , Zoltán Ésik The equational theory of regular words. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2005, v:197, n:1-2, pp:55-89 [Journal ] Stephen L. Bloom , Zoltán Ésik Axiomatizing Shuffle and Concatenation in Languages. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1997, v:139, n:1, pp:62-91 [Journal ] Stephen L. Bloom , Zoltán Ésik , Dirk Taubner Iteration Theories of Synchronization Trees [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1993, v:102, n:1, pp:1-55 [Journal ] Stephen L. Bloom , Zoltán Ésik Erratum: Iteration Algebras. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1993, v:4, n:1, pp:99- [Journal ] Stephen L. Bloom , Zoltán Ésik Some Equational Laws of Initiality in 2CCC's. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1995, v:6, n:2, pp:95-118 [Journal ] Stephen L. Bloom , Zoltán Ésik Iteration Algebras. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1992, v:3, n:3, pp:245-302 [Journal ] Stephen L. Bloom , Zoltán Ésik Floyd-Hoare Logic in Iteration Theories. [Citation Graph (0, 0)][DBLP ] J. ACM, 1991, v:38, n:4, pp:887-934 [Journal ] Stephen L. Bloom , Zoltán Ésik An Extension Theorem with an Application to Formal Tree Series. [Citation Graph (0, 0)][DBLP ] Journal of Automata, Languages and Combinatorics, 2003, v:8, n:2, pp:145-185 [Journal ] Stephen L. Bloom Varieties of Ordered Algebras. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1976, v:13, n:2, pp:200-212 [Journal ] Stephen L. Bloom All Solutions of a System of Recursion Equations in Infinite Trees and Other Contraction Theories. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1983, v:27, n:2, pp:225-255 [Journal ] Stephen L. Bloom , Calvin C. Elgot The Existence and Construction of Free Iterative Theories. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1976, v:12, n:3, pp:305-318 [Journal ] Stephen L. Bloom , Zoltán Ésik Axiomatizing Schemes and Their Behaviors. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1985, v:31, n:3, pp:375-393 [Journal ] Stephen L. Bloom , Zoltán Ésik Matrix and Matricial Iteration Theories, Part I. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1993, v:46, n:3, pp:381-408 [Journal ] Stephen L. Bloom , Zoltán Ésik Matrix and Matricial Iteration Theories, Part II. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1993, v:46, n:3, pp:409-439 [Journal ] Stephen L. Bloom , Susanna Ginali , Joseph D. Rutledge Scalar and Vector Iteration. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1977, v:14, n:2, pp:251-256 [Journal ] Stephen L. Bloom , James W. Thatcher , Eric G. Wagner , Jesse B. Wright Recursion and Iteration in Continuous Theories: The "M-Construction". [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1983, v:27, n:2, pp:148-164 [Journal ] Calvin C. Elgot , Stephen L. Bloom , Ralph Tindell On the Algebraic Atructure of Rooted Trees. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1978, v:16, n:3, pp:362-399 [Journal ] Stephen L. Bloom , Zoltán Ésik Equational Axioms for Regular Sets. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1993, v:3, n:1, pp:1-24 [Journal ] Stephen L. Bloom , Zoltán Ésik Varieties Generated by Languages with Poset Operations. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1997, v:7, n:6, pp:701-713 [Journal ] Stephen L. Bloom , Zoltán Ésik Varieties of Iteration Theories. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1988, v:17, n:5, pp:939-966 [Journal ] Stephen L. Bloom , Calvin C. Elgot , Jesse B. Wright Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1980, v:9, n:1, pp:25-45 [Journal ] Stephen L. Bloom , Calvin C. Elgot , Jesse B. Wright Vector Iteration in Pointed Iterative Theories. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1980, v:9, n:3, pp:525-540 [Journal ] Stephen L. Bloom , Ralph Tindell Compatible Orderings on the Metric Theory of Trees. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1980, v:9, n:4, pp:683-691 [Journal ] Stephen L. Bloom , Ralph Tindell Varieties of ``if-then-else''. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1983, v:12, n:4, pp:677-707 [Journal ] Stephen L. Bloom A Note on Guarded Theories. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1990, v:70, n:1, pp:73-83 [Journal ] Stephen L. Bloom , Christian Choffrut Long words: the theory of concatenation and omega-power. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:259, n:1-2, pp:533-548 [Journal ] Stephen L. Bloom , Zoltán Ésik Equational Logic of Circular Data Type Specification. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1989, v:63, n:3, pp:303-331 [Journal ] Stephen L. Bloom , Zoltán Ésik Fixed-Point Operations on ccc's. Part I. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:155, n:1, pp:1-38 [Journal ] Stephen L. Bloom , Zoltán Ésik Free Shuffle Algebras in Language Varieties. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:163, n:1&2, pp:55-98 [Journal ] Stephen L. Bloom , Zoltán Ésik The Equational Logic of Fixed Points (Tutorial). [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:179, n:1-2, pp:1-60 [Journal ] Stephen L. Bloom , Ralph Tindell Algebraic and Graph Theoretic Characterizations of Structured Flowchart Schemes. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1979, v:9, n:, pp:265-286 [Journal ] Stephen L. Bloom , Douglas R. Troeger A Logical Characterization of Observation Equivalence. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:35, n:, pp:43-53 [Journal ] Stephen L. Bloom , Zoltán Ésik Regular and Algebraic Words and Ordinals. [Citation Graph (0, 0)][DBLP ] CALCO, 2007, pp:1-15 [Conf ] Completing Categorical Algebras. [Citation Graph (, )][DBLP ] Cycle-Free Finite Automata in Partial Iterative Semirings. [Citation Graph (, )][DBLP ] Iteration 2-theories. [Citation Graph (, )][DBLP ] Axiomatizing rational power series [Citation Graph (, )][DBLP ] Partial Conway and iteration semirings [Citation Graph (, )][DBLP ] Algebraic Ordinals [Citation Graph (, )][DBLP ] Algebraic Linear Orderings [Citation Graph (, )][DBLP ] A Note on Ordinal DFAs [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.308secs