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

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...-B Modelling Method: Concepts and Case Studies -- A Methodological Guide to the CafeOBJ Logic -- Casl...”
Cover Image
Read Now

3
by Bjørner, Dines
Published 2021
Springer International Publishing
Table of Contents: “...Part I, Setting the Scope -- Concepts -- Philosophy -- Space, Time and Matter -- Logic...”
Cover Image
Read Now

4
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...Object orientation and formal techniques -- An algebraic approach to refinement -- Modal logic...”
Cover Image
Read Now

5
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... for a discrete linear time logic by means of infinitary calculus -- Rigal — a programming language...”
Cover Image
Read Now

6
by Bjørner, Dines
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...”
Cover Image
Read Now

7
by Bjørner, Dines
Published 2006
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

8
by Bjørner, Dines
Published 2006
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

9
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... -- The tree equivalence problem for linear recursion schemes -- A mode analysis of logic programs by abstract...”
Cover Image
Read Now

10
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... for Nested Petri Nets -- Abstract Structures for Communication between Processes -- Logic and Processes...”
Cover Image
Read Now

11
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Databases via a Hyper-Set-Theoretic Approach -- Logic Programming -- Reexecution-Based Analysis of Logic...”
Cover Image
Read Now

12
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Theory of domains and nearby -- Predicative programming — A survey -- A three-valued logic...”