1 Subjects: “...Logic design...”

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

3 Subjects: “...Logic design...”

4 Subjects: “...Logic design...”

5 Table of Contents: “... with application to subclasses of partial 2-paths -- The definition in monadic second-order logic of modular...”

6 Subjects: “...Logic design...”

7 Subjects: “...Logic design...”

8 Subjects: “...Logics and Meanings of Programs...”

9 Subjects: “...Mathematical logic...”

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

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

12 Table of Contents: “...-rewriting systems -- A semantic basis for logic-independent transformation -- Unified algebras and abstract...”

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

14 Table of Contents: “... complexity -- Typed categorical combinatory logic -- A path ordering for proving termination of term...”

15 Table of Contents: “... -- 7 Constraints -- 7A: Concepts of Constraints -- 7B: Logic of Constraints -- 7C: Specifications...”

16 Table of Contents: “...Models and equality for logical programming -- Fifth generation computer project: Current research...”

17 Table of Contents: “... of streams -- Characterizing Kripke structures in temporal logic -- Dialogue with a proof system -- Induction...”

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

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

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