Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...: Constructions in Monadic Second-Order Logic -- On the Complexity of Hybrid Logics with Binders -- The Complexity...”
Cover Image
Read Now

2
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”
Cover Image
Read Now

3
by Stark, W. Richard
Published 1990
Springer New York
Table of Contents: “... and interpreting: an abstract view -- 6.2 LISP interpreters -- 6.3 Compiled LISP -- 7 Mathematical Foundations...”
Cover Image
Read Now

4
Published 2018
Springer International Publishing
Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”
Cover Image
Read Now

5
Published 1998
Springer US
Table of Contents: “... -- 2.1 Introduction -- 2.2 First-Order Logic (FOL) -- 2.3 Modal Logics -- 2.4 Logic Programming -- 2.5...”
Cover Image
Read Now

6
by Li, Wei, Sui, Yuefei
Published 2024
Springer Nature Singapore
Table of Contents: “...Introduction -- Decidable DLs 30 -- R-calculus for binary-valued description logic -- R-calculi...”
Cover Image
Read Now

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

8
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... functional logic programming -- Exploiting parallelism in tabled evaluations -- Design and implementation...”
Cover Image
Read Now

9
Published 2019
Springer International Publishing
Table of Contents: “... Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient...”
Cover Image
Read Now

10
by Li, Wei, Sui, Yuefei
Published 2022
Springer Nature Singapore
Table of Contents: “...Introduction -- R-Calculus For Propositional Logic -- R-Calculus For L3-Valued Propositional Logic...”
Cover Image
Read Now

11
by Fitting, Melvin
Published 1996
Springer New York
Table of Contents: “...1 Background -- 2 Propositional Logic -- 2.1 Introduction -- 2.2 Propositional Logic—Syntax -- 2.3...”
Cover Image
Read Now

12
by Fitting, Melvin
Published 1990
Springer New York
Table of Contents: “...1 Background -- 2 Propositional Logic -- 2.1 Introduction -- 2.2 Propositional Logic — Syntax...”
Cover Image
Read Now

13
by Gergely, Tamas, Ury, Laszlo
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Mathematical Background -- 1. Logic and Model Theory -- 2. Inductive Definability -- I...”
Cover Image
Read Now

14
by Kai-Yuan Cai
Published 1998
Springer US
Table of Contents: “... Methods -- 2.1 Software Defect Factors and Distributions -- 2.2 Software Defect Distributions by Rank...”
Cover Image
Read Now

15
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... logic -- Co-definite set constraints -- Modularity of termination using dependency pairs -- Termination...”
Cover Image
Read Now

16
by Avenhaus, Jürgen
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... Wortersetzungssysteme -- 2.1 Motivation -- 2.2 Termination und Konfluenz -- 2.3 Die Vervollständigung nach Knuth-Bendix...”
Cover Image
Read Now

17
by Ehrig, Hartmut, Mahr, Bernd, Cornelius, Felix, Große-Rhode, Martin
Published 1999
Springer Berlin Heidelberg
Table of Contents: “.... Kategorielle Grundlagen -- 22. Kategorien in Mathematik und Informatik -- 23. Isomorphie, Mono- und...”
Cover Image
Read Now

18
by Lano, Kevin
Published 1996
Springer London
Table of Contents: “... Formal Methods -- 1.4 Summary -- 2 The Foundations of B AMN -- 2.1 Mathematical Notation -- 2.2 Defining...”
Cover Image
Read Now

19
by Fülöp, Zoltan, Vogler, Heiko
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Bibliographic Notes -- 2. Basic Notions and Notations -- 2.1 Sets and Relations -- 2.2 Partial Orders -- 2.3...”
Cover Image
Read Now

20
Published 1992
Springer London
Subjects: “...Mathematical Logic and Formal Languages...”