MPG.eBooks - Search Results

1

Published 2009

Springer Berlin Heidelberg

“... Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full...”

2

by Nipkow, Tobias, Klein, Gerwin
Published 2014

Springer International Publishing

Table of Contents: “...Introduction -- Programming and Proving -- Case Study: IMP Expressions -- Logic and Proof Beyond...”

3

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... Proving, Applications, and Data Structures -- Instructing Equational Set-Reasoning with Otter -- NP...”

4

Published 1994

Springer Berlin Heidelberg

Table of Contents: “...Proving strong normalization of CC by modifying realizability semantics -- Checking algorithms...”

5

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... -- Certifying Airport Security Regulations Using the Focal Environment -- Proving Safety Properties...”

6

Published 1998

Springer Berlin Heidelberg

“... systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification...”