Skip to main content
SpringerLink
Log in
Book cover

Algebraic Logic and Universal Algebra in Computer Science

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

  • Conference proceedings
  • © 1990

Overview

Editors:
  1. Clifford H. Bergman
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Roger D. Maddux
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Don L. Pigozzi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 425)

Included in the following conference series:

Conference proceedings info: ALUACS 1988.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Relatively free relation algebras

    • H. Andréka, B. Jónsson, I. Németi
    Pages 1-14

  3. The value of free algebras

    • Joel Berman
    Pages 15-26

  4. Continuations of logic programs

    • H. Peter Gumm
    Pages 27-36

  5. On cylindric algebraic model theory

    • István Németi
    Pages 37-75

  6. Dynamic algebras as a well-behaved fragment of relation algebras

    • Vaughan Pratt
    Pages 77-110

  7. All recursive types defined using products and sums can be implemented using pointers

    • Eric G. Wagner
    Pages 111-132

  8. The abstract Galois theory: A survey

    • Isidore Fleischer
    Pages 133-137

  9. The implications in conditional logic

    • Fernando Guzmán
    Pages 139-159

  10. Optimal semantics of data type extensions

    • Lawrence S. Moss, Satish R. Thatte
    Pages 161-180

  11. Other logics for (equational) theories

    • G. C. Nelson
    Pages 181-194

  12. Mal'cev algebras for universal algebra terms

    • Ivo G. Rosenberg
    Pages 195-208

  13. Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic

    • Ildikó Sain
    Pages 209-225

  14. The resolution rule: An algebraic perspective

    • Zbigniew Stachniak
    Pages 227-242

  15. Incremental models of updating data bases

    • Marek A. Suchenek
    Pages 243-271

  16. Noncommutative cylindric algebras and relativizations of cylindric algebras

    • Richard J. Thompson
    Pages 273-278

  17. On the λ-definable tree operations

    • Marek Zaionc
    Pages 279-292
Back to top

Other volumes

  1. Algebraic Logic and Universal Algebra in Computer Science

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation