MPG.eBooks - Search Results - (mathematical OR mathematics) logic and foundations

1

Published 1991

Springer Berlin Heidelberg

Table of Contents: “...Monadic second order logic, tree automata and forbidden minors -- On the reduction theory...”

2

Published 1992

Springer Berlin Heidelberg

Table of Contents: “...: On the logical complexity of the largest bisimulation -- On bounded theories -- The cutting plane proof system...”

3

Published 1993

Springer Berlin Heidelberg

Table of Contents: “...A universal Turing machine -- Recursive inseparability in linear logic -- The basic logic of proofs...”

4

Published 1989

Springer Berlin Heidelberg

Table of Contents: “... with respect to interpretations in deterministic and nondeterministic polynomial time -- A temporal logic...”

5

Published 2008

Springer Berlin Heidelberg

Table of Contents: “...: Expanding NNF for QBF Solving -- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive...”

6

Published 1988

Springer Berlin Heidelberg

Table of Contents: “... verification using dynamic logic -- Induction in the elementary theory of types and names...”