Algebraic Logic and Universal Algebra in Computer Science | Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings | ISBN 9780387972886

Algebraic Logic and Universal Algebra in Computer Science

Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

herausgegeben von Clifford H. Bergman, Roger D. Maddux und Don L. Pigozzi
Mitwirkende
Herausgegeben vonClifford H. Bergman
Herausgegeben vonRoger D. Maddux
Herausgegeben vonDon L. Pigozzi
Buchcover Algebraic Logic and Universal Algebra in Computer Science  | EAN 9780387972886 | ISBN 0-387-97288-9 | ISBN 978-0-387-97288-6

Algebraic Logic and Universal Algebra in Computer Science

Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

herausgegeben von Clifford H. Bergman, Roger D. Maddux und Don L. Pigozzi
Mitwirkende
Herausgegeben vonClifford H. Bergman
Herausgegeben vonRoger D. Maddux
Herausgegeben vonDon L. Pigozzi

Inhaltsverzeichnis

  • 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.