Search alternatives:
"logica" » "logics"
"logical" » "logicsl"
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 1989
Springer Berlin Heidelberg
Table of Contents: “...Time, logic and computation -- Process theory based on bisimulation semantics -- Branching time...”
Cover Image
Read Now

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

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

6
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

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

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

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

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

11
Published 2004
Springer Berlin Heidelberg
Subjects: “...Mathematical logic...”
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
by Ehrig, Hartmut
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

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

15
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

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

17
by Agha, Gul A
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

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

19
by Desel, Jörg
Published 2004
Springer Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

20
by Martín-Vide, Carlos
Published 2004
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”