Advertisement

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace