Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Bloom, S.L."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Algebraic linear orderings
S.L. Bloom
,
Z. Ésik
International Journal of Foundations of Computer Science
22
(2), 2011, pp. 491-515
A Mezei-Wright theorem for categorical algebras
S.L. Bloom
,
Z. Ésik
Theoretical Computer Science
411
(2), 2010, pp. 341-359
Axiomatizing rational power series over natural numbers
S.L. Bloom
,
Z. Ésik
Information and Computation
207
(7), 2009, pp. 793-811
The equational logic of iterative processes
S.L. Bloom
Lecture Notes in Computer Science
380
, 1989, pp. 47-57
Axiomatizing schemes and their behaviors
S.L. Bloom
,
Z. Esik
Journal of Computer and System Sciences
31
(3), 1985, December, pp. 375-393
A logical characterization of observation equivalence
S.L. Bloom
,
D.R. Troeger
Theoretical Computer Science
35
(1), 1985, pp. 43-53
Recursion and iteration in continuous theories: the 'm-construction'
S.L. Bloom
,
J.W. Thatcher
,
E.G. Wagner
,
J.B. Wright
Journal of Computer and System Sciences
27
(2), 1983, October, pp. 148-164
Varieties of 'if-then-else'
S.L. Bloom
,
R. Tindell
SIAM Journal on Computing
12
(4), 1983, November, pp. 677-707
All solutions of a system of recursion equations in infinite trees and other contraction theories
S.L. Bloom
Journal of Computer and System Sciences
27
(2), 1983, October, pp. 225-255
Solutions of the iteration equation and extensions of the scalar iteration operation
S.L. Bloom
,
C.C. Elgot
,
J.B. Wright
SIAM Journal on Computing
9
(1), 1980, February, pp. 25-45
Vector iteration in pointed iterative theories
S.L. Bloom
,
C.C. Elgot
,
J.B. Wright
SIAM Journal on Computing
9
(3), 1980, August, pp. 525-540
Compatible orderings on the metric theory of trees
S.L. Bloom
,
R. Tindell
SIAM Journal on Computing
9
(4), 1980, November, pp. 683-691
Algebraic and graph theoretic characterizations of structured flowchart schemes
S.L. Bloom
,
R. Tindell
Theoretical Computer Science
9
(3), 1979, pp. 265-286
On the algebraic structure of rooted trees
C.C. Elgot
,
S.L. Bloom
,
R. Tindell
Journal of Computer and System Sciences
16
(3), 1978, June, pp. 362-399
Scalar and vector iteration
S.L. Bloom
,
S. Ginali
,
J.D. Rutledge
Journal of Computer and System Sciences
14
(2), 1977, April, pp. 251-256