Advertisement

Iteration algebras extended abstract

  • Stephen L. Bloom
  • Zoltán Ésik
CAAP Colloquium On Trees In Algebra And Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 493)

Keywords

Algebraic Theory Free Algebra Iteration Algebra Iteration Theory Fixed Point Equation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. [BÉa]
    S.L. Bloom and Zoltán Ésik. Matrix and matricial iteration theories, part I. To appear.Google Scholar
  2. [BÉb]
    S.L. Bloom and Zoltán Ésik. Matrix and matricial iteration theories, part II. To appear.Google Scholar
  3. [BÉ88]
    S.L. Bloom and Z. Ésik. Varieties of iteration theories. SIAM Journal of Computing, 17(5):939–966, 1988.Google Scholar
  4. [BÉ89]
    S.L. Bloom and Z. Ésik. Equational logic of circular data type specification. Theoretical Computer Science, 63(3):303–331, 1989.Google Scholar
  5. [BÉT]
    S.L. Bloom, Z. Ésik, and D. Taubner. Iteration theories of synchronization trees. Information and Computation, to appear.Google Scholar
  6. [BEW80a]
    S.L. Bloom, C.C. Elgot, and J.B. Wright. Solutions of the iteration equation and extensions of the scalar iteration operation. SIAM Journal of Computing, 9(1):26–45, 1980.Google Scholar
  7. [BEW80b]
    S.L. Bloom, C.C. Elgot, and J.B. Wright. Vector iteration in pointed iterative theories. SIAM Journal of Computing, 9(3):525–540, 1980.Google Scholar
  8. [BW]
    S.L. Bloom and E.G. Wagner. Many sorted theories and their algebras. In Algebraic Methods in Semantics. Cambridge University Press.Google Scholar
  9. [CG87]
    V.E. Cazanescu and Gh. ŞtefĂnescu. Towards a new algebraic foundation of flowchart system theory. Research Report 43, Institute of Mathematics, Institute for Scientific and Technical Creation, Bucharest, Romania, 1987.Google Scholar
  10. [CN76]
    B. Courcelle and M. Nivat. Algebraic families of interpretations. In 17th IEEE Symp. on Foundations of Computing, 1976.Google Scholar
  11. [Ési80]
    Z. Ésik. Identitites in iterative and rational theories. Computational Linguistics and Computer Languages, 14:183–207, 1980.Google Scholar
  12. [Ési83]
    Z. Ésik. Algebras of iteration theories. Journal of Computer and System Science, 27(2):291–303, 1983.Google Scholar
  13. [Ési90]
    Z. Ésik. A note on the axiomatization of iteration theories. Acta Cybernetica, 1990. To appear.Google Scholar
  14. [GTWW77]
    J. Goguen, J. Thatcher, E. Wagner, and J. Wright. Initial algebra semantics and continuous algebras. Journal of the Association of Computing Machinery, (24):68–95, 1977.Google Scholar
  15. [Guess81]
    I. Guessarian Algebraic Semantics. Lecture Notes in Computer Science, 99, 1981.Google Scholar
  16. [HS73]
    H. Herrlich and G.E. Strecker. Category Theory. Allyn and Bacon, 1973.Google Scholar
  17. [Law63]
    F.W. Lawvere. Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences USA, 50:869–873, 1963.Google Scholar
  18. [Nel81]
    Evelyn Nelson. Iterative algebras. Technical report, McMaster University, 1981.Google Scholar
  19. [Niv75]
    M. Nivat. On the interpretation of recursive polyadic program schemes. Symposia Mathematica, 15:255–281, 1975.Google Scholar
  20. [Stef87a]
    G. StefĂnescu. On flowchart theories: Part I. The deterministic case. Journal of Computer and System Science, (35):163–191, 1987.Google Scholar
  21. [Stef87b]
    G. StefĂnescu. On flowchart theories: Part II. The nondeterministic case. Theoretical Computer Science, (52):307–340, 1987.Google Scholar
  22. [Tiu78]
    Jerzy Tiuryn. Fixed points and algebras with infinitely long expressions, I. regular algebras. Fundamenta Informatica, 2(1):103–127, 1978.Google Scholar
  23. [Tiu80]
    Jerzy Tiuryn. Unique fixed points vs. least fixed points. Theoretical Computer Science, 12(3):229–254, 1980.Google Scholar
  24. [Wag90]
    E.G. Wagner. Algebras, polynomials and programs. Theoretical Computer Science, 70:3–34, 1990.Google Scholar
  25. [WTGW76]
    J.B. Wright, J.W. Thatcher, J. Goguen, and E.G. Wagner. Rational algebraic theories and fixed-point solutions. In Proceedings 17th IEEE Symposium on Foundations of Computing, pages 147–158, Houston, Texas, 1976.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Stephen L. Bloom
    • 1
  • Zoltán Ésik
    • 2
  1. 1.Department of Computer ScienceStevens Institute of TechnologyHoboken
  2. 2.Bolyai InstituteA. Jozsef UniversitySzegedHungary

Personalised recommendations