Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday

& (eds.)
Springer (2010)
  Copy   BIBTEX

Abstract

This Festschrift volume, published in honor of Christoph Walther, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthdays of Alejandro P. Buchmann, Sorin A. Huss and Christoph Walther, a colloquium was held on November 19th, 2010 in Darmstadt, Germany. The articles collected herein cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis. Together they give a good overall perspective on the formal verification of the correctness of software systems.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9783642171710   3642171710   3642171737
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Verifying the Modal Logic Cube is an Easy Task.  (pages 117-128)Christoph Benzmüller

Similar books and articles

Verifying the Modal Logic Cube is an Easy Task.Christoph Benzmüller - 2010 - In Simon Siegler & Nathan Wasser (eds.), Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer. pp. 117-128.
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday.Dieter Hutter (ed.) - 2004 - Springer.
The pragma-dialectical analysis of the ad hominem fallacy.David Hitchcock - 2006 - In F. H. van Eemeren, Peter Houtlosser, Haft-van Rees & A. M. (eds.), Considering pragma-dialectics: a festschrift for Frans H. van Eemeren on the occasion of his 60th birthday. Mahwah, N.J.: L. Erlbaum Associates. pp. 103.
Fourth Pisa Colloquium in Logic, Language and Epistemology. Essays in Honour of Enrico Moriconi.Giacomo Turbanti & Luca Bellotti (eds.) - 2021 - Pisa: ETS.
Discourse Linguistics and Argumentation as Open Systems.Tatyana P. Tretyakova - 2006 - In F. H. van Eemeren, Peter Houtlosser, Haft-van Rees & A. M. (eds.), Considering pragma-dialectics: a festschrift for Frans H. van Eemeren on the occasion of his 60th birthday. Mahwah, N.J.: L. Erlbaum Associates. pp. 259.
Considering pragmadialectics: A festschrift for Frans H. van Eemeren on the occasion of his 60th birthday. [REVIEW]Christian Kock - 2006 - Informal Logic 26 (2):221-227.
My interlocutor.Trudy Govier - 2006 - In F. H. van Eemeren, Peter Houtlosser, Haft-van Rees & A. M. (eds.), Considering pragma-dialectics: a festschrift for Frans H. van Eemeren on the occasion of his 60th birthday. Mahwah, N.J.: L. Erlbaum Associates. pp. 87.
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday.Arnon Avron & Nachum Dershowitz (eds.) - 2008 - Springer Verlag.
The Semantics of Reasonableness.Andrea Rocci & Sara Greco - 2006 - In F. H. van Eemeren, Peter Houtlosser, Haft-van Rees & A. M. (eds.), Considering pragma-dialectics: a festschrift for Frans H. van Eemeren on the occasion of his 60th birthday. Mahwah, N.J.: L. Erlbaum Associates. pp. 257.
Reasoning in simple type theory – Festschrift in honor of Peter B. Andrews on his 70th birthday, edited by Christoph Benzmüller, Chad E. Brown, Jörg Siekmann, and Richard Statman, Studies in Logic, vol. 17. College Publications, London, 2008, 454 pp. [REVIEW]Florian Rabe - 2010 - Bulletin of Symbolic Logic 16 (3):409-411.

Analytics

Added to PP
2017-12-04

Downloads
1 (#1,912,644)

6 months
1 (#1,516,001)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references