Many-sorted Logic and Its Applications

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

Contents

On Bounds for the Specification of Finite Data Types
3
List of Contributors
6
U Pletat J V Tucker
85
Copyright

10 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information