Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stephen L. Bloom
@article{DBLP:journals/order/BloomZ13,
author = {Stephen L. Bloom and
YiDi Zhang},
title = {A Note on Ordinal DFAs},
journal = {Order},
volume = {30},
number = {1},
pages = {151--164},
year = {2013},
url = {https://doi.org/10.1007/s11083-011-9233-1},
doi = {10.1007/S11083-011-9233-1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/order/BloomZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BloomE11,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Algebraic Linear Orderings},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {2},
pages = {491--515},
year = {2011},
url = {https://doi.org/10.1142/S0129054111008155},
doi = {10.1142/S0129054111008155},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BloomE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BloomE10,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Algebraic Ordinals},
journal = {Fundam. Informaticae},
volume = {99},
number = {4},
pages = {383--407},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-255},
doi = {10.3233/FI-2010-255},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BloomE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BloomE10,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {A Mezei-Wright theorem for categorical algebras},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {2},
pages = {341--359},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2009.06.040},
doi = {10.1016/J.TCS.2009.06.040},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BloomE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-1624,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Algebraic Linear Orderings},
journal = {CoRR},
volume = {abs/1002.1624},
year = {2010},
url = {http://arxiv.org/abs/1002.1624},
eprinttype = {arXiv},
eprint = {1002.1624},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-1624.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-2329,
author = {Stephen L. Bloom and
YiDi Zhang},
title = {A Note on Ordinal DFAs},
journal = {CoRR},
volume = {abs/1005.2329},
year = {2010},
url = {http://arxiv.org/abs/1005.2329},
eprinttype = {arXiv},
eprint = {1005.2329},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-2329.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BloomE09,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Axiomatizing rational power series over natural numbers},
journal = {Inf. Comput.},
volume = {207},
number = {7},
pages = {793--811},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2009.02.003},
doi = {10.1016/J.IC.2009.02.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BloomE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/BloomEK09,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik and
Werner Kuich},
editor = {Symeon Bozapalidis and
George Rahonis},
title = {Cycle-Free Finite Automata in Partial Iterative Semirings},
booktitle = {Algebraic Informatics, Third International Conference, {CAI} 2009,
Thessaloniki, Greece, May 19-22, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5725},
pages = {1--12},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03564-7\_1},
doi = {10.1007/978-3-642-03564-7\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cai/BloomEK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/BloomE09,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Scattered Algebraic Linear Orderings},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {25--29},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib3.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/BloomE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-0877,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Algebraic Ordinals},
journal = {CoRR},
volume = {abs/0907.0877},
year = {2009},
url = {http://arxiv.org/abs/0907.0877},
eprinttype = {arXiv},
eprint = {0907.0877},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-0877.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BloomEK08,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik and
Werner Kuich},
title = {Partial Conway and Iteration Semirings},
journal = {Fundam. Informaticae},
volume = {86},
number = {1-2},
pages = {19--40},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi86-1-2-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BloomEK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AdamekBM08,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stephen L. Bloom and
Stefan Milius},
title = {On Algebras with Iteration},
journal = {J. Log. Comput.},
volume = {18},
number = {6},
pages = {1047--1085},
year = {2008},
url = {https://doi.org/10.1093/logcom/exn035},
doi = {10.1093/LOGCOM/EXN035},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AdamekBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BloomE07,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Regular and Algebraic Words and Ordinals},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {1--15},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_1},
doi = {10.1007/978-3-540-73859-6\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/BloomE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-1337,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Axiomatizing rational power series},
journal = {CoRR},
volume = {abs/0712.1337},
year = {2007},
url = {http://arxiv.org/abs/0712.1337},
eprinttype = {arXiv},
eprint = {0712.1337},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0712-1337.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-2952,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik and
Werner Kuich},
title = {Partial Conway and iteration semirings},
journal = {CoRR},
volume = {abs/0712.2952},
year = {2007},
url = {http://arxiv.org/abs/0712.2952},
eprinttype = {arXiv},
eprint = {0712.2952},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0712-2952.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BloomE06,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Gonzalo Navarro and
Leopoldo E. Bertossi and
Yoshiharu Kohayakawa},
title = {Completing Categorical Algebras},
booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science
{(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
of Computer Science, August 23-24, 2006, Santiago, Chile},
series = {{IFIP}},
volume = {209},
pages = {231--249},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-34735-6\_20},
doi = {10.1007/978-0-387-34735-6\_20},
timestamp = {Wed, 28 Feb 2024 00:16:41 +0100},
biburl = {https://dblp.org/rec/conf/ifipTCS/BloomE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BloomE05,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {The equational theory of regular words},
journal = {Inf. Comput.},
volume = {197},
number = {1-2},
pages = {55--89},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2005.01.004},
doi = {10.1016/J.IC.2005.01.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BloomE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BloomE04,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Axiomatizing omega and omega-op powers of words},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {38},
number = {1},
pages = {3--17},
year = {2004},
url = {https://doi.org/10.1051/ita:2004005},
doi = {10.1051/ITA:2004005},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/BloomE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BloomE03,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Deciding whether the frontier of a regular tree is scattered},
journal = {Fundam. Informaticae},
volume = {55},
number = {1},
pages = {1--21},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-1-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BloomE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/BloomE03,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {An Extension Theorem with an Application to Formal Tree Series},
journal = {J. Autom. Lang. Comb.},
volume = {8},
number = {2},
pages = {145--185},
year = {2003},
url = {https://doi.org/10.25596/jalc-2003-145},
doi = {10.25596/JALC-2003-145},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/BloomE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BloomE03,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Paritosh K. Pandya and
Jaikumar Radhakrishnan},
title = {Axioms for Regular Words: Extended Abstract},
booktitle = {{FST} {TCS} 2003: Foundations of Software Technology and Theoretical
Computer Science, 23rd Conference, Mumbai, India, December 15-17,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2914},
pages = {50--61},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24597-1\_5},
doi = {10.1007/978-3-540-24597-1\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BloomE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BloomE02,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Richard Blute and
Peter Selinger},
title = {Unique, guarded fixed points in an additive setting: Extended Abstract},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {47--61},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80558-9},
doi = {10.1016/S1571-0661(04)80558-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BloomE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/BloomELM01,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik and
Anna Labella and
Ernest G. Manes},
title = {Iteration 2-theories},
journal = {Appl. Categorical Struct.},
volume = {9},
number = {2},
pages = {173--216},
year = {2001},
url = {https://doi.org/10.1023/A:1008708924144},
doi = {10.1023/A:1008708924144},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/BloomELM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BloomC01,
author = {Stephen L. Bloom and
Christian Choffrut},
title = {Long words: the theory of concatenation and omega-power},
journal = {Theor. Comput. Sci.},
volume = {259},
number = {1-2},
pages = {533--548},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00040-2},
doi = {10.1016/S0304-3975(00)00040-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BloomC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/BloomE00,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Gaston H. Gonnet and
Daniel Panario and
Alfredo Viola},
title = {Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract},
booktitle = {{LATIN} 2000: Theoretical Informatics, 4th Latin American Symposium,
Punta del Este, Uruguay, April 10-14, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1776},
pages = {367--376},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10719839\_36},
doi = {10.1007/10719839\_36},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/BloomE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BloomE98,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Shuffle binoids},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {32},
number = {4-6},
pages = {175--198},
year = {1998},
url = {https://doi.org/10.1051/ita/1998324-601751},
doi = {10.1051/ITA/1998324-601751},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/BloomE98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BloomE97,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Axiomatizing Shuffle and Concatenation in Languages},
journal = {Inf. Comput.},
volume = {139},
number = {1},
pages = {62--91},
year = {1997},
url = {https://doi.org/10.1006/inco.1997.2665},
doi = {10.1006/INCO.1997.2665},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BloomE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BloomE97,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Varieties Generated by Languages with Poset Operations},
journal = {Math. Struct. Comput. Sci.},
volume = {7},
number = {6},
pages = {701--713},
year = {1997},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44729},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BloomE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BloomE97,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {The Equational Logic of Fixed Points (Tutorial)},
journal = {Theor. Comput. Sci.},
volume = {179},
number = {1-2},
pages = {1--60},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00248-4},
doi = {10.1016/S0304-3975(96)00248-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BloomE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BloomLEM97,
author = {Stephen L. Bloom and
Anna Labella and
Zolt{\'{a}}n {\'{E}}sik and
Ernest G. Manes},
editor = {Michael Johnson},
title = {Iteration 2-Theories: Extended Abstract},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {30--44},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000461},
doi = {10.1007/BFB0000461},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BloomLEM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/BloomSW96,
author = {Stephen L. Bloom and
Nicoletta Sabadini and
Robert F. C. Walters},
title = {Matrices, machines and behaviors},
journal = {Appl. Categorical Struct.},
volume = {4},
number = {4},
pages = {343--360},
year = {1996},
url = {https://doi.org/10.1007/BF00122683},
doi = {10.1007/BF00122683},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/BloomSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BloomE96,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Two Axiomatizations of a Star Semiring Quasi-Variety},
journal = {Bull. {EATCS}},
volume = {59},
year = {1996},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BloomE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BloomE96,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Fixed-Point Operations on ccc's. Part {I}},
journal = {Theor. Comput. Sci.},
volume = {155},
number = {1},
pages = {1--38},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00010-0},
doi = {10.1016/0304-3975(95)00010-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BloomE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BloomE96a,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Free Shuffle Algebras in Language Varieties},
journal = {Theor. Comput. Sci.},
volume = {163},
number = {1{\&}2},
pages = {55--98},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00230-8},
doi = {10.1016/0304-3975(95)00230-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BloomE96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BloomE95,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Some Equational Laws of Initiality in 2CCC's},
journal = {Int. J. Found. Comput. Sci.},
volume = {6},
number = {2},
pages = {95--118},
year = {1995},
url = {https://doi.org/10.1142/S0129054195000081},
doi = {10.1142/S0129054195000081},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BloomE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/BloomE95,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Ricardo A. Baeza{-}Yates and
Eric Goles Ch. and
Patricio V. Poblete},
title = {Free Shuffle Algebras in Language Varieties (Extended Abstract)},
booktitle = {{LATIN} '95: Theoretical Informatics, Second Latin American Symposium,
Valpara{\'{\i}}so, Chile, April 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {911},
pages = {99--111},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59175-3\_84},
doi = {10.1007/3-540-59175-3\_84},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/BloomE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BloomE95,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {Nonfinite Axiomatizability of Shuffle Inequalities},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {318--333},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_204},
doi = {10.1007/3-540-59293-8\_204},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BloomE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BloomE94,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Igor Pr{\'{\i}}vara and
Branislav Rovan and
Peter Ruzicka},
title = {Solving Polynomial Fixed Point Equations},
booktitle = {Mathematical Foundations of Computer Science 1994, 19th International
Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {841},
pages = {52--67},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58338-6\_58},
doi = {10.1007/3-540-58338-6\_58},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BloomE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/BloomE93,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Iteration Theories - The Equational Logic of Iterative Processes},
series = {{EATCS} Monographs on Theoretical Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-78034-9},
doi = {10.1007/978-3-642-78034-9},
isbn = {978-3-642-78036-3},
timestamp = {Wed, 31 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/BloomE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BloomET93,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik and
Dirk Taubner},
title = {Iteration Theories of Synchronization Trees},
journal = {Inf. Comput.},
volume = {102},
number = {1},
pages = {1--55},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1001},
doi = {10.1006/INCO.1993.1001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BloomET93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BloomE93,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Erratum: Iteration Algebras},
journal = {Int. J. Found. Comput. Sci.},
volume = {4},
number = {1},
pages = {99},
year = {1993},
url = {https://doi.org/10.1142/S0129054193000249},
doi = {10.1142/S0129054193000249},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BloomE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BloomE93,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Matrix and Matricial Iteration Theories, Part {I}},
journal = {J. Comput. Syst. Sci.},
volume = {46},
number = {3},
pages = {381--408},
year = {1993},
url = {https://doi.org/10.1016/0022-0000(93)90010-T},
doi = {10.1016/0022-0000(93)90010-T},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BloomE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BloomE93a,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Matrix and Matricial Iteration Theories, Part {II}},
journal = {J. Comput. Syst. Sci.},
volume = {46},
number = {3},
pages = {409--439},
year = {1993},
url = {https://doi.org/10.1016/0022-0000(93)90011-K},
doi = {10.1016/0022-0000(93)90011-K},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BloomE93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BloomE93,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Equational Axioms for Regular Sets},
journal = {Math. Struct. Comput. Sci.},
volume = {3},
number = {1},
pages = {1--24},
year = {1993},
url = {https://doi.org/10.1017/S0960129500000104},
doi = {10.1017/S0960129500000104},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BloomE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BloomE93,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Some Quasi-Varieties of Iteration Theories},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {378--409},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_19},
doi = {10.1007/3-540-58027-1\_19},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BloomE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BloomE92,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Iteration Algebras},
journal = {Int. J. Found. Comput. Sci.},
volume = {3},
number = {3},
pages = {245--302},
year = {1992},
url = {https://doi.org/10.1142/S0129054192000164},
doi = {10.1142/S0129054192000164},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BloomE92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BloomE91,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Cayley iff Stone},
journal = {Bull. {EATCS}},
volume = {43},
pages = {159--161},
year = {1991},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BloomE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BloomE91,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Floyd-Hoare Logic in Iteration Theories},
journal = {J. {ACM}},
volume = {38},
number = {4},
pages = {887--934},
year = {1991},
url = {https://doi.org/10.1145/115234.115352},
doi = {10.1145/115234.115352},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BloomE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BloomE91,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Program Correctness and Matricial Iteration Theories},
booktitle = {Mathematical Foundations of Programming Semantics, 7th International
Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {598},
pages = {457--476},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55511-0\_24},
doi = {10.1007/3-540-55511-0\_24},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BloomE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BloomE91,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {Iteration Algebras (Extended Abstract)},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)},
series = {Lecture Notes in Computer Science},
volume = {493},
pages = {264--274},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53982-4\_15},
doi = {10.1007/3-540-53982-4\_15},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BloomE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Bloom90,
author = {Stephen L. Bloom},
title = {A Note on Guarded Theories},
journal = {Theor. Comput. Sci.},
volume = {70},
number = {1},
pages = {73--83},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90153-9},
doi = {10.1016/0304-3975(90)90153-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bloom90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9014,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik and
Dirk Taubner},
title = {Iteration theories of synchronization trees},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9014},
pages = {1--60},
year = {1990},
url = {https://d-nb.info/901424242},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BloomE89,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Equational Logic of Circular Data Type Specification},
journal = {Theor. Comput. Sci.},
volume = {63},
number = {3},
pages = {303--331},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90012-1},
doi = {10.1016/0304-3975(89)90012-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BloomE89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Bloom89,
author = {Stephen L. Bloom},
editor = {J{\'{a}}nos Csirik and
J{\'{a}}nos Demetrovics and
Ferenc G{\'{e}}cseg},
title = {The Equational Logic of Iterative Processes},
booktitle = {Fundamentals of Computation Theory, International Conference FCT'89,
Szeged, Hungary, August 21-25, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {380},
pages = {47--57},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51498-8\_5},
doi = {10.1007/3-540-51498-8\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Bloom89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BloomS89,
author = {Stephen L. Bloom and
Klaus Sutner},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {Shuffle Equations, Parallel Transition Systems and Equational Petri
Nets},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 1: Advanced Seminar on Foundations of Innovative Software
Development {I} and Colloquium on Trees in Algebra and Programming
(CAAP'89)},
series = {Lecture Notes in Computer Science},
volume = {351},
pages = {134--148},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50939-9\_129},
doi = {10.1007/3-540-50939-9\_129},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BloomS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BloomE88,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Varieties of Iteration Theories},
journal = {{SIAM} J. Comput.},
volume = {17},
number = {5},
pages = {939--966},
year = {1988},
url = {https://doi.org/10.1137/0217059},
doi = {10.1137/0217059},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BloomE88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/BloomT87,
author = {Stephen L. Bloom and
Ralph Tindell},
title = {A note on zero-congruences},
journal = {Acta Cybern.},
volume = {8},
number = {1},
pages = {1--4},
year = {1987},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3314},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/BloomT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Bloom86,
author = {Stephen L. Bloom},
title = {The alternation number and a dot hierarchy of regular sets},
journal = {Acta Cybern.},
volume = {7},
number = {4},
pages = {355--358},
year = {1986},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3304},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Bloom86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Bloom85,
author = {Stephen L. Bloom},
title = {Frontiers of one-letter languages},
journal = {Acta Cybern.},
volume = {7},
number = {1},
pages = {1--18},
year = {1985},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3271},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Bloom85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BloomE85,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Axiomatizing Schemes and Their Behaviors},
journal = {J. Comput. Syst. Sci.},
volume = {31},
number = {3},
pages = {375--393},
year = {1985},
url = {https://doi.org/10.1016/0022-0000(85)90059-5},
doi = {10.1016/0022-0000(85)90059-5},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BloomE85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BloomT85,
author = {Stephen L. Bloom and
Douglas R. Troeger},
title = {A Logical Characterization of Observation Equivalence},
journal = {Theor. Comput. Sci.},
volume = {35},
pages = {43--53},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90004-0},
doi = {10.1016/0304-3975(85)90004-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BloomT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BloomE84,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Some varieties of iteration theories},
journal = {Bull. {EATCS}},
volume = {24},
pages = {53--65},
year = {1984},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BloomE84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BloomTWW83,
author = {Stephen L. Bloom and
James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
title = {Recursion and Iteration in Continuous Theories: The "M-Construction"},
journal = {J. Comput. Syst. Sci.},
volume = {27},
number = {2},
pages = {148--164},
year = {1983},
url = {https://doi.org/10.1016/0022-0000(83)90037-5},
doi = {10.1016/0022-0000(83)90037-5},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BloomTWW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Bloom83,
author = {Stephen L. Bloom},
title = {All Solutions of a System of Recursion Equations in Infinite Trees
and Other Contraction Theories},
journal = {J. Comput. Syst. Sci.},
volume = {27},
number = {2},
pages = {225--255},
year = {1983},
url = {https://doi.org/10.1016/0022-0000(83)90041-7},
doi = {10.1016/0022-0000(83)90041-7},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Bloom83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BloomT83,
author = {Stephen L. Bloom and
Ralph Tindell},
title = {Varieties of "if-then-else"},
journal = {{SIAM} J. Comput.},
volume = {12},
number = {4},
pages = {677--707},
year = {1983},
url = {https://doi.org/10.1137/0212047},
doi = {10.1137/0212047},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BloomT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067968,
author = {Calvin C. Elgot and
Stephen L. Bloom},
title = {Selected papers},
publisher = {Springer},
year = {1982},
isbn = {978-3-540-90698-8},
timestamp = {Fri, 25 Mar 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0067968.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BloomP81,
author = {Stephen L. Bloom and
David B. Patterson},
editor = {Egidio Astesiano and
Corrado B{\"{o}}hm},
title = {Easy Solutions are Hard To Find},
booktitle = {{CAAP} '81, Trees in Algebra and Programming, 6th Colloquium, Genoa,
Italy, March 5-7, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {112},
pages = {135--146},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10828-9\_59},
doi = {10.1007/3-540-10828-9\_59},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/BloomP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BloomEW80,
author = {Stephen L. Bloom and
Calvin C. Elgot and
Jesse B. Wright},
title = {Solutions of the Iteration Equation and Extensions of the Scalar Iteration
Operation},
journal = {{SIAM} J. Comput.},
volume = {9},
number = {1},
pages = {25--45},
year = {1980},
url = {https://doi.org/10.1137/0209002},
doi = {10.1137/0209002},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BloomEW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BloomEW80a,
author = {Stephen L. Bloom and
Calvin C. Elgot and
Jesse B. Wright},
title = {Vector Iteration in Pointed Iterative Theories},
journal = {{SIAM} J. Comput.},
volume = {9},
number = {3},
pages = {525--540},
year = {1980},
url = {https://doi.org/10.1137/0209039},
doi = {10.1137/0209039},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BloomEW80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BloomT80,
author = {Stephen L. Bloom and
Ralph Tindell},
title = {Compatible Orderings on the Metric Theory of Trees},
journal = {{SIAM} J. Comput.},
volume = {9},
number = {4},
pages = {683--691},
year = {1980},
url = {https://doi.org/10.1137/0209052},
doi = {10.1137/0209052},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BloomT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BloomT79,
author = {Stephen L. Bloom and
Ralph Tindell},
title = {Algebraic and Graph Theoretic Characterizations of Structured Flowchart
Schemes},
journal = {Theor. Comput. Sci.},
volume = {9},
pages = {265--286},
year = {1979},
url = {https://doi.org/10.1016/0304-3975(79)90031-8},
doi = {10.1016/0304-3975(79)90031-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BloomT79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ElgotBT78,
author = {Calvin C. Elgot and
Stephen L. Bloom and
Ralph Tindell},
title = {On the Algebraic Atructure of Rooted Trees},
journal = {J. Comput. Syst. Sci.},
volume = {16},
number = {3},
pages = {362--399},
year = {1978},
url = {https://doi.org/10.1016/0022-0000(78)90024-7},
doi = {10.1016/0022-0000(78)90024-7},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ElgotBT78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BloomGR77,
author = {Stephen L. Bloom and
Susanna Ginali and
Joseph D. Rutledge},
title = {Scalar and Vector Iteration},
journal = {J. Comput. Syst. Sci.},
volume = {14},
number = {2},
pages = {251--256},
year = {1977},
url = {https://doi.org/10.1016/S0022-0000(77)80015-9},
doi = {10.1016/S0022-0000(77)80015-9},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BloomGR77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BloomE76,
author = {Stephen L. Bloom and
Calvin C. Elgot},
title = {The Existence and Construction of Free Iterative Theories},
journal = {J. Comput. Syst. Sci.},
volume = {12},
number = {3},
pages = {305--318},
year = {1976},
url = {https://doi.org/10.1016/S0022-0000(76)80003-7},
doi = {10.1016/S0022-0000(76)80003-7},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BloomE76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Bloom76,
author = {Stephen L. Bloom},
title = {Varieties of Ordered Algebras},
journal = {J. Comput. Syst. Sci.},
volume = {13},
number = {2},
pages = {200--212},
year = {1976},
url = {https://doi.org/10.1016/S0022-0000(76)80030-X},
doi = {10.1016/S0022-0000(76)80030-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Bloom76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BloomS76,
author = {Stephen L. Bloom and
Roman Suszko},
title = {Errata: "Investigations into the sentential calculus with identity"},
journal = {Notre Dame J. Formal Log.},
volume = {17},
number = {4},
pages = {640},
year = {1976},
url = {http://projecteuclid.org/euclid.ndjfl/1093887739},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BloomS76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bloom75,
author = {Stephen L. Bloom},
title = {A note on the predicatively definable sets of N. N. Nepe{\^{\i}}voda},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {427--431},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210158},
doi = {10.1002/MALQ.19750210158},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bloom75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bloom73,
author = {Stephen L. Bloom},
title = {Extensions of G{\"{o}}del's completeness theorem and the L{\"{o}}wenheim-Skolem
theorem},
journal = {Notre Dame J. Formal Log.},
volume = {14},
number = {3},
pages = {408--410},
year = {1973},
url = {https://doi.org/10.1305/ndjfl/1093891010},
doi = {10.1305/NDJFL/1093891010},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bloom73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BloomS72,
author = {Stephen L. Bloom and
Roman Suszko},
title = {Investigations into the sentential calculus with identity},
journal = {Notre Dame J. Formal Log.},
volume = {13},
number = {3},
pages = {289--308},
year = {1972},
url = {https://doi.org/10.1305/ndjfl/1093890617},
doi = {10.1305/NDJFL/1093890617},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BloomS72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bloom69,
author = {Stephen L. Bloom},
title = {A semi-completeness theorem},
journal = {Notre Dame J. Formal Log.},
volume = {10},
number = {3},
pages = {303--308},
year = {1969},
url = {https://doi.org/10.1305/ndjfl/1093893720},
doi = {10.1305/NDJFL/1093893720},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bloom69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bloom68,
author = {Stephen L. Bloom},
title = {A note on the arithmetical hierarchy},
journal = {Notre Dame J. Formal Log.},
volume = {9},
number = {1},
pages = {89--91},
year = {1968},
url = {https://doi.org/10.1305/ndjfl/1093893357},
doi = {10.1305/NDJFL/1093893357},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bloom68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-12-11 20:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
