## Many-sorted logic and its applicationsProminent 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. |

### What people are saying - Write a review

### Contents

On Bounds for the Specification of Finite Data Types | 3 |

List of Contributors | 6 |

U Pletat J V Tucker | 85 |

Copyright | |

13 other sections not shown

### Common terms and phrases

### References to this book

### References from web pages

CIDEC Library: Meincke * Many-sorted Logic and its Applications

MANY-SORTED LOGIC AND ITS APPLICATIONS. eds. Karl MEINKE John V. TUCKER, 1952-, both of Univ. College of Swansea, Wales, UK. ...

cs.ioc.ee/ yik/ lib/ 1/ Meinke1.html

Many-sorted logic and its applications

Many-sorted logic and its applications table of contents. Pages: 397. Year of Publication: 1993. ISBN:0-471-93485-2. Editors ...

portal.acm.org/ citation.cfm?id=165446

Research Publications of Karl Meinke

(23) K. Meinke, Subdirect representation of higher-order algebras, 135-146 in: K. Meinke and jv Tucker (eds), Many-Sorted Logic and its Applications, ...

www.nada.kth.se/ ~karlm/ papers.html

jvtucker-Classified list of publications

K Meinke and jv Tucker, Many sorted logic and its applications, edited work, J Wiley & Sons, 1993, pp. vii+391. 4. B Möller and jv Tucker, Prospects for ...

www.cs.swan.ac.uk/ ~csjvt/ JVTmore/ JVT-Classified%20Publications.htm

Publications

A. Pasztor, “An Infinite Hierarchy of Program Verification Methods”, Proceedings of Workshop on Many-Sorted Logic and its Applications in Computer Science, ...

www.cs.fiu.edu/ ~pasztora/ webpage/ publications.htm

Curriculum Vitae

Invited Speaker at Meeting on Many Sorted Logic and its Applications in Com-. puter Science, Leeds (Sept. 1988). Invited lecture at BCS-ES Evening Seminar ...

www.comp.leeds.ac.uk/ agc/ cv.pdf