Table of contents

  1. Front Matter
  2. Dario Bini, Victor Pan
    Pages 1-3
  3. Erich Kaltofen
    Pages 4-17
  4. James Davenport, Julian Padget
    Pages 18-28
  5. Costas S. Iliopoulos
    Pages 29-30
  6. George E. Collins
    Pages 34-35
  7. George J. Carrette, Leo P. Harten
    Pages 36-39
  8. S. Ghelfo, E. G. Omodeo
    Pages 40-49
  9. Neil V. Murray, Erik Rosenthal
    Pages 50-63
  10. G. Gottlob, A. Leitsch
    Pages 64-77
  11. J. E. Åman, R. A. d'Inverno, G. C. Joly, M. A. H. MacCallum
    Pages 89-98
  12. K. Millington, F. J. Wright
    Pages 116-125
  13. Marc-Paul van der Hulst, Arjen K. Lenstra
    Pages 138-145

About these proceedings

Keywords

Resolution algorithms complexity formal specification logic proof

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-15984-3
  • Copyright Information Springer-Verlag 1985
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-15984-1
  • Online ISBN 978-3-540-39685-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349