Advertisement

Table of contents

  1. Front Matter
  2. Peter B. Andrews
    Pages 1-4
  3. Leo Bachmair, Nachum Dershowitz
    Pages 5-20
  4. Deepak Kapur, Paliath Narendran, Hantao Zhang
    Pages 99-117
  5. Martín Abadi, Zohar Manna
    Pages 172-189
  6. P. H. Schmitt
    Pages 190-198
  7. Kurt Konolige
    Pages 199-208
  8. Frank M. Brown
    Pages 209-228
  9. L. Wos, W. McCune
    Pages 229-239
  10. Tadashi Kanamori, Hiroshi Fujita
    Pages 281-299
  11. R. Hähnle, M. Heisel, W. Reif, W. Stephan
    Pages 306-315
  12. Rasiah Loganantharaj, Robert A. Mueller
    Pages 337-352
  13. Neil V. Murray, Erik Rosenthal
    Pages 353-364
  14. David A. Plaisted
    Pages 365-376
  15. Hans-Albert Schneider
    Pages 377-383
  16. Jonathan Traugott
    Pages 394-402
  17. Gérard Huet
    Pages 403-403
  18. Cynthia Dwork, Paris Kanellakis, Larry Stockmeyer
    Pages 416-430
  19. Alexander Herold
    Pages 450-469
  20. Wolfram Büttner
    Pages 470-488
  21. Deepak Kapur, Paliath Narendran
    Pages 489-495
  22. Jalel Mzali
    Pages 496-505
  23. Ursula Martin, Tobias Nipkow
    Pages 506-513
  24. Manfred Schmidt-Schauss
    Pages 538-552
  25. H. Kleine Büning, Th. Lettmann
    Pages 553-563
  26. D. Warren
    Pages 572-572
  27. Ralph Butler, Ewing Lusk, William McCune, Ross Overbeek
    Pages 588-597

About these proceedings

Keywords

Mutation automated deduction automated reasoning automated theorem proving heuristics nonmonotonic reasoning proof proving verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-16780-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-16780-8
  • Online ISBN 978-3-540-39861-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Telecommunications
Oil, Gas & Geosciences