Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988, proceedings
Author(s)
Bibliographic Information
Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988, proceedings
(Lecture notes in computer science, 425)
Springer-Verlag, c1990
- : gw
- : us
- Other Title
-
Proceedings
Available at 64 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references
Description and Table of Contents
- Volume
-
: us ISBN 9780387972886
Table of Contents
Relatively free relation algebras.- The value of free algebras.- Continuations of logic programs.- On cylindric algebraic model theory.- Dynamic algebras as a well-behaved fragment of relation algebras.- All recursive types defined using products and sums can be implemented using pointers.- The abstract Galois theory: A survey.- The implications in conditional logic.- Optimal semantics of data type extensions.- Other logics for (equational) theories.- Mal'cev algebras for universal algebra terms.- Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic.- The resolution rule: An algebraic perspective.- Incremental models of updating data bases.- Noncommutative cylindric algebras and relativizations of cylindric algebras.- On the ?-definable tree operations.
- Volume
-
: gw ISBN 9783540972884
Description
Algebraic methods, in particular those of universal algebra and algebraic logic, are playing an increasingly important role in computer science, especially in the areas of algebraic specification of data types, relational data types, relational database theory, logic of programmes, functional and logic programming, and semantics of programming languages. To a large extent this work has been carried forward by computer scientists independent of the very active group of mathematicians who work in universal algebra and algebraic logic. A conference was held at Iowa State University in June 1988 to bring together leading researchers from both groups to identify areas of common interest. Addresses were given by Joel Berman, H.Peter Gumm, Bjarni Jonsson, Dexter Kozen, Istvan Nemeti, Vaughan Pratt, Dana Scott and Eric Wagner. The programme also included contributed papers and a round-table discussion of the role of algebra and logic in computer science.
by "Nielsen BookData"