A Resolution Principle for a Logic with Restricted Quantifiers

Editors:

ISBN: 978-3-540-55034-1 (Print) 978-3-540-46670-3 (Online)

Table of contents (6 chapters)

  1. No Access

    Book Chapter

    Pages 1-16

    Introduction

  2. No Access

    Book Chapter

    Pages 17-33

    Preliminaries

  3. No Access

    Book Chapter

    Pages 35-48

    Unification

  4. No Access

    Book Chapter

    Pages 49-77

    A logic with restricted quantifiers

  5. No Access

    Book Chapter

    Pages 79-96

    Equational constraint theories

  6. No Access

    Book Chapter

    Pages 97-99

    Conclusion