Many-sorted Logic and its Applications

Front Cover
K. Meinke, J. V. Tucker
Wiley, Mar 9, 1993 - Computers - 416 pages
0 Reviews
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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.


List of Contributors
U Pletat J V Tucker
Germany Singleton Park Swansea SA2

12 other sections not shown

Common terms and phrases

References to this book

Le savoir et l'ordinateur
Denis Berthier
No preview available - 2002
All Book Search results »

About the author (1993)

A life-long Georgia native, John D. Tucker has burned through three wives, raised two sons, and has persevered despite being brought up in a wonderfully dysfunctional family. He is a multi-genre author with psychological thrillers (DIVISIVE, THE FIFTH GAME, AND SPLITS IN THE SKIN), a Romantic Dramedy Series called BEMUSED AND BEDEVILED (TERPSICHORE IN LOVE, THE MARK OF CAIN, and THE SEVENTH SEAL), a young adult Mystery (THE LITTLE GIRL YOU KISS GOODNIGHT), an Adult Contemporary novel (ROMANCING THE FOX) and the Erotica sizzler (TWELVE DOORS TO ECSTASY).

Bibliographic information