| 书目名称 | Resolution Methods for the Decision Problem |
| 编辑 | C. Fermüller,A. Leitsch,N. Zamov |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This volume contains work on the decision problem done inKazan (Russia), Tallinn (Estonia), and Vienna (Austria). Theauthors met several times to discuss and exchange theirresults and finally decided to write thismonographtogether. Besides a unified treatment of previouslypublished results there are many new results first presentedin this volume.Themonograph opens with an introduction and a chapter onterminology, followed by chapters on:- Semantic clash resolution as decision procedure,-Completeness of ordering refinements,- Semantic tree based resolutionvariants,- Deciding the class K by an ordering refinement,- A resolution based method for building finite models.A final chapter onapplications completes the volume. |
| 出版日期 | Book 1993 |
| 关键词 | Auflösungsmethoden; Decideable Classes; Decision Problems; Entscheidbare Klassen; Entscheidungsproblem; P |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-56732-1 |
| isbn_softcover | 978-3-540-56732-5 |
| isbn_ebook | 978-3-540-47638-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1993 |
发表于 2025-3-21 17:12:45
