↓ Skip to main content

Logic and Program Semantics

Overview of attention for book
Cover of 'Logic and Program Semantics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Residuated Kleene Algebras
  3. Altmetric Badge
    Chapter 2 Brzozowski’s Algorithm (Co)Algebraically
  4. Altmetric Badge
    Chapter 3 Experimental Descriptive Complexity
  5. Altmetric Badge
    Chapter 4 Meditations on Quantified Constraint Satisfaction
  6. Altmetric Badge
    Chapter 5 Logic and Program Semantics
  7. Altmetric Badge
    Chapter 6 Subtyping for F-Bounded Quantifiers and Equirecursive Types
  8. Altmetric Badge
    Chapter 7 Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model
  9. Altmetric Badge
    Chapter 8 Capsules and Closures: A Small-Step Approach
  10. Altmetric Badge
    Chapter 9 Nuprl as Logical Framework for Automating Proofs in Category Theory
  11. Altmetric Badge
    Chapter 10 On the Final Coalgebra of Automatic Sequences
  12. Altmetric Badge
    Chapter 11 On Topological Completeness of Regular Tree Languages
  13. Altmetric Badge
    Chapter 12 A Complete Logical System for the Equality of Recursive Terms for Sets
  14. Altmetric Badge
    Chapter 13 Overloading Is NP-Complete
  15. Altmetric Badge
    Chapter 14 Combining Epistemic Logic and Hennessy-Milner Logic
  16. Altmetric Badge
    Chapter 15 Choice and Uncertainty in Games
  17. Altmetric Badge
    Chapter 16 The Complexity of Inhabitation with Explicit Intersection
  18. Altmetric Badge
    Chapter 17 On State Sequences Defined by Reaction Systems
  19. Altmetric Badge
    Chapter 18 On Distance Coloring
  20. Altmetric Badge
    Chapter 19 Logic and Program Semantics
  21. Altmetric Badge
    Chapter 20 Reflections on a \m $\slash$ Time with Dexter Kozen
  22. Altmetric Badge
    Chapter 21 Two Three Pages Papers
  23. Altmetric Badge
    Chapter 22 A Tribute from the Band
  24. Altmetric Badge
    Chapter 23 Dexter Kozen: An Appreciation
  25. Altmetric Badge
    Chapter 24 Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance
  26. Altmetric Badge
    Chapter 25 Making the World a Better Place
  27. Altmetric Badge
    Chapter 26 Timesharing Dexter
  28. Altmetric Badge
    Chapter 27 A Small Tribute
  29. Altmetric Badge
    Chapter 28 Dexter Kozen’s Influence on the Theory of Labelled Markov Processes
  30. Altmetric Badge
    Chapter 29 An Appreciation of Dexter Kozen
  31. Altmetric Badge
    Chapter 30 To Dexter - A Tribute from Aarhus
  32. Altmetric Badge
    Chapter 31 Travelling with Dexter Kozen
  33. Altmetric Badge
    Chapter 32 Dexter as a PhD Advisor
  34. Altmetric Badge
    Chapter 33 Rock’n’Roll Computer Science
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 X users
wikipedia
1 Wikipedia page

Citations

dimensions_citation
1 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Logic and Program Semantics
Published by
Springer-Verlag Berlin Heidelberg, January 2012
DOI 10.1007/978-3-642-29485-3
ISBNs
978-3-64-229484-6, 978-3-64-229485-3
Editors

Robert L. Constable, Alexandra Silva

X Demographics

X Demographics

The data shown below were collected from the profiles of 4 X users who shared this research output. Click here to find out more about how the information was compiled.