Search alternatives:
"logician" » "logicians", "logiciel", "logica"
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Logical View of Linear Type Isomorphisms -- Choice Logic Programs and Nash Equilibria in Strategic Games...”
Cover Image
Read Now

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... of Syntactic Control of Interference -- Temporal Logics and Games -- Optimal Complexity Bounds for Positive LTL...”
Cover Image
Read Now

3
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Monadic Second-Order Logic -- Decidability of S1S and S2S -- The Complexity of Translating Logic to Finite...”
Cover Image
Read Now

4
Published 2024
Springer International Publishing
Table of Contents: “... theorem for provability logic (Johan van Benthem) -- Chapter 4. The Σ1-provability logic of HA revisited...”
Cover Image
Read Now

5
Published 1998
Springer Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

6
Published 2024
Springer Nature Switzerland
Table of Contents: “... Approach to Coalgebraic Fixpoint Logic -- Preorder-Constrained Simulations for Program Refinement...”
Cover Image
Read Now

7
Published 2024
Springer Nature Switzerland
Subjects: “...Mathematical logic...”
Cover Image
Read Now

8
by Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Programming -- 4. Presenting Theories -- Logic and Sets -- 5. The Rules of the Game -- 6. Sets, Functions...”
Cover Image
Read Now

9
by Sendłak, Maciej
Published 2024
Springer International Publishing
Subjects: “...Logic...”
Cover Image
Read Now

10
Published 2024
Springer Nature Switzerland
Table of Contents: “... Black-and-White to High Gloss Color. -- Deciding Conjugacy of a Rational Relation. -- Logic...”
Cover Image
Read Now

11
Published 2024
Springer Nature Switzerland
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

12
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Rewriting Logic as a Unifying Framework for Petri Nets -- Theoretical Approaches -- Generalized Automata...”
Cover Image
Read Now

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

15
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of Words -- Computing with Membranes (P Systems): Universality Results -- A Simple Universal Logic Element...”
Cover Image
Read Now

16
by Liu, Xinyu
Published 2024
Springer Nature Singapore
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

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

18
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Abstract Verification and Debugging of Constraint Logic Programs -- CGRASS: A System...”
Cover Image
Read Now

19
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Resource Allocation Systems -- Model Checking: Logics and Algorithms -- Exploring Very Large State Spaces...”
Cover Image
Read Now

20
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... for Bounded Model Checking -- Mu-Calculus and Temporal Logics -- On the Universal and Existential Fragments...”