Algebraic Logic and Universal Algebra in Computer Science

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

  • Editors
  • Clifford H. Bergman
  • Roger D. Maddux
  • Don L. Pigozzi
Conference proceedings

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

Table of contents

  1. Front Matter
  2. H. Andréka, B. Jónsson, I. Németi
    Pages 1-14
  3. Joel Berman
    Pages 15-26
  4. H. Peter Gumm
    Pages 27-36
  5. István Németi
    Pages 37-75
  6. Isidore Fleischer
    Pages 133-137
  7. Fernando Guzmán
    Pages 139-159
  8. Lawrence S. Moss, Satish R. Thatte
    Pages 161-180
  9. G. C. Nelson
    Pages 181-194
  10. Ivo G. Rosenberg
    Pages 195-208
  11. Zbigniew Stachniak
    Pages 227-242
  12. Marek A. Suchenek
    Pages 243-271
  13. Marek Zaionc
    Pages 279-292

About these proceedings

Keywords

Resolution algebra logic model theory semantics

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0043074
  • Copyright Information Springer-Verlag 1990
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-387-97288-6
  • Online ISBN 978-0-387-34804-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Aerospace