Research Catalog

Iteration theories : the equational logic of iterative processes

Title
Iteration theories : the equational logic of iterative processes / Stephen L. Bloom, Zoltán Ésik (eds.).
Publication
Berlin ; New York : Springer-Verlag, c1993.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSE 93-1013Offsite

Details

Additional Authors
  • Bloom, Stephen L., 1940-
  • Ésik, Zoltán, 1951-
Description
xv, 630 p. : ill.; 24 cm.
Series Statement
EATCS monographs on theoretical computer science
Subject
  • Computer science > Mathematics
  • Iterative methods (Mathematics)
  • Logic, Symbolic and mathematical
Bibliography (note)
  • Includes bibliographical references and index.
Call Number
JSE 93-1013
ISBN
0387563784
LCCN
93018445
OCLC
  • 27640709
  • NYPG93-B53710
Title
Iteration theories : the equational logic of iterative processes / Stephen L. Bloom, Zoltán Ésik (eds.).
Imprint
Berlin ; New York : Springer-Verlag, c1993.
Series
EATCS monographs on theoretical computer science
Bibliography
Includes bibliographical references and index.
Added Author
Bloom, Stephen L., 1940-
Ésik, Zoltán, 1951-
Research Call Number
JSE 93-1013
View in Legacy Catalog