Cover Image
Read Now

1
by Mycielski, Jan
Published 1997
Springer Berlin Heidelberg
Subjects: “...Logic, Symbolic and mathematical...”
Cover Image
Read Now

2
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... games, the composition method, and the monadic theory of ordinal words -- Monadic second order logic...”
Cover Image
Read Now

3
Published 2004
Springer Berlin Heidelberg
Subjects: “...Mathematical logic...”
Cover Image
Read Now

4
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Time, logic and computation -- Process theory based on bisimulation semantics -- Branching time...”
Cover Image
Read Now

5
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... to Generalized Language Theory -- Second-Order Logic over Strings: Regular and Non-regular Fragments -- Decision...”
Cover Image
Read Now

6
Published 2004
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

7
Published 2001
Springer Berlin Heidelberg
Subjects: “...Mathematical logic...”
Cover Image
Read Now

8
by Kuich, Werner
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

9
Published 2004
Springer Berlin Heidelberg
Subjects: “...Mathematical logic...”
Cover Image
Read Now

10
by Karhumäki, Juhani
Published 2004
Springer Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

11
by Corradini, Andrea
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

12
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... with application to subclasses of partial 2-paths -- The definition in monadic second-order logic of modular...”
Cover Image
Read Now

13
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Formal Models -- Composing Snippets -- A Programming Approach to the Design of Asynchronous Logic...”
Cover Image
Read Now

14
Published 2001
Springer Berlin Heidelberg
Subjects: “...Mathematical logic...”
Cover Image
Read Now

15
by Ehrig, Hartmut
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

16
by Ehrig, Hartmut
Published 2003
Springer Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

17
by Martín-Vide, Carlos
Published 2004
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

18
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... systems and dynamic logic -- Representation of a swapping class by one net -- Design methods based on nets...”
Cover Image
Read Now

19
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... of proofsystems for partial correctness of CSP -- Logic programming: The foundations, the approach and the role...”
Cover Image
Read Now

20
by Agha, Gul A
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”