Many-sorted Logic and Its Applications
Author | : K. Meinke |
Publisher | : |
Total Pages | : 424 |
Release | : 1993-03-09 |
ISBN-10 | : UOM:39015029530782 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Book Synopsis Many-sorted Logic and Its Applications by : K. Meinke
Download or read book Many-sorted Logic and Its Applications written by K. Meinke and published by . This book was released on 1993-03-09 with total page 424 pages. Available in PDF, EPUB and Kindle. Book excerpt: Prominent experts present papers which discuss problems regarding this subject. Coverage includes case studies in the translation of logics for second-order and propositional dynamic logic; many-sorted algebras and equational logic; logical foundations of artificial intelligence along with a variety of methods that exist to encode information; program verification techniques such as Floyd-Hoare, intermittent assertion and temporal logic of programs.