Advertisement

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
  14. V. S. Alagar, Mai Thanh
    Pages 150-153
  15. Wolfgang Riedel
    Pages 154-154
  16. J. -M. Drouffe
    Pages 157-158
  17. Inge Frick, Jan E. Åman
    Pages 161-162
  18. A. Hornæs, T. Wahl
    Pages 163-164
  19. Lars Hörnfeldt
    Pages 165-165
  20. S. Kamal Abdali, Guy Cherry
    Pages 166-167
  21. Henson Graves, Lee Blaine
    Pages 179-180
  22. Philippe Le Chenadec
    Pages 229-242
  23. C M Campbell, E F Robertson
    Pages 243-244
  24. Daniela B. Nikolova
    Pages 245-245
  25. Dennis S. Arnon, George E. Collins, Scott McCallum
    Pages 246-261
  26. W. Böge, R. Gebauer, H. Kredel
    Pages 272-274

Other volumes

  1. European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures
  2. EUROCAL '85
    European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 2: Research Contributions

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 Berlin Heidelberg 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
  • Buy this book on publisher's site