Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... into Equational Specifications -- Formalizing the Logic-Automaton Connection -- Extended First-Order Logic...”
Cover Image
Read Now

3
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... of combinators for rudimentary linear logic -- Comparing combinatory reduction systems and higher-order rewrite...”
Cover Image
Read Now

4
by Goré, Rajeev
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

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

6
by Nipkow, Tobias
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

7
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

8
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Decision Procedure for a Clausal Miniscoped Fragment of FTL -- Tableaux for Temporal Description Logic...”
Cover Image
Read Now

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

10
by Nipkow, Tobias, Klein, Gerwin
Published 2014
Springer International Publishing
Table of Contents: “...Introduction -- Programming and Proving -- Case Study: IMP Expressions -- Logic and Proof Beyond...”
Cover Image
Read Now

11
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... for Pure Type Systems -- Infinite objects in type theory -- Conservativity between logics and typed...”
Cover Image
Read Now

12
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Specifications -- Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages...”