![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results there are many new results first presented in this volume. The monograph opens with an introduction and a chapter on terminology, followed by chapters on: - Semantic clash resolution as decision procedure, - Completeness of ordering refinements, - Semantic tree based resolution variants, - Deciding the class K by an ordering refinement, - A resolution based method for building finite models. A final chapter on applications completes the volume.
|
You may like...
Encyclopedia of Spectroscopy and…
John C. Lindon, George E. Tranter, …
Hardcover
R59,229
Discovery Miles 592 290
Remediation of Hazardous Waste in the…
Clayton J. Clark, Angela Stephenson Lindner
Hardcover
R5,104
Discovery Miles 51 040
Advances in the Use of Liquid…
Achille Cappiello, Pierangela Palma
Hardcover
R6,341
Discovery Miles 63 410
Electrochemistry of Dihydroxybenzene…
Hanieh Ghadimi, Sulaiman Ab Ghani, …
Paperback
R1,227
Discovery Miles 12 270
Sensing Technology: Current Status and…
Alex Mason, Subhas Chandra Mukhopadhyay, …
Hardcover
|