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.

Contents

List of Contributors
6
U Pletat J V Tucker
85
Germany Singleton Park Swansea SA2
102
Copyright

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