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

2

3

4

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

6 Table of Contents: “... intuitionistic logic -- Approximable minimization problems and optimal solutions on random inputs -- Bounded...”

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

8 Table of Contents: “... variable -- Existential fixed-point logic -- Unsolvable decision problems for PROLOG programs -- You have...”

9 Table of Contents: “... Synthesis -- 3 High-Level Control -- 4 Data Flow -- 5 Conclusion -- References -- Cell-based Logic...”

10 Subjects: “...Logic design...”

11 Subjects: “...Mathematical Logic and Formal Languages...”

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

13

14 Table of Contents: “... logical operational semantics of full Prolog -- Set-theoretic reductions of Hilbert's tenth problem...”

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

16

17

18

19 Subjects: “...Computer Science Logic and Foundations of Programming...”

20 Subjects: “...Computer Science Logic and Foundations of Programming...”