Logical Foundations of Computer Science

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Lower bounds for probabilistic space complexity: Communication-automata approach
3. Altmetric Badge
   Chapter 2 On model checking infinite-state systems
4. Altmetric Badge
   Chapter 3 Concurrency problem for Horn fragment of Girard's Linear Logic
5. Altmetric Badge
   Chapter 4 Referential data structures and labeled modal logic
6. Altmetric Badge
   Chapter 5 Yet another correctness criterion for Multiplicative Linear Logic with MIX
7. Altmetric Badge
   Chapter 6 An approach to effective model-checking of real-time Finite-State Machines in mu-calculus
8. Altmetric Badge
   Chapter 7 Allegories of circuits
9. Altmetric Badge
   Chapter 8 The complexity of propositional modal theories and the complexity of consistency of propositional modal theories
10. Altmetric Badge
    Chapter 9 Multiplicative Linear Logic for resource transformation nets
11. Altmetric Badge
    Chapter 10 The parameterized complexity of some problems in logic and linguistics
12. Altmetric Badge
    Chapter 11 Foundations of proof search strategies design in linear logic
13. Altmetric Badge
    Chapter 12 On extreme points of convex compact turing located set
14. Altmetric Badge
    Chapter 13 Application of typed lambda calculi in the untyped lambda calculus
15. Altmetric Badge
    Chapter 14 Classes with pairwise equivalent enumerations
16. Altmetric Badge
    Chapter 15 Strong normalization in a non-deterministic typed lambda-calculus
17. Altmetric Badge
    Chapter 16 On expressive completeness of modal logic
18. Altmetric Badge
    Chapter 17 Comparing models of the non-extensional typed λ-calculus extended abstract
19. Altmetric Badge
    Chapter 18 Coalgebras and approximation
20. Altmetric Badge
    Chapter 19 Computational and concurrency models of linear logic
21. Altmetric Badge
    Chapter 20 The longest perpetual reductions in Orthogonal Expression Reduction Systems
22. Altmetric Badge
    Chapter 21 The notion of rank and games
23. Altmetric Badge
    Chapter 22 A predicate logic of well-founded actions
24. Altmetric Badge
    Chapter 23 Predicative recurrence in finite types
25. Altmetric Badge
    Chapter 24 Arity vs. alternation in second order logic
26. Altmetric Badge
    Chapter 25 Hereditarily sequential functionals
27. Altmetric Badge
    Chapter 26 Propositional linear temporal logic and language homomorphisms
28. Altmetric Badge
    Chapter 27 An abstract property of confluence applied to the study of the lazy partial lambda calculus
29. Altmetric Badge
    Chapter 28 On specialization of derivations in axiomatic equality theories
30. Altmetric Badge
    Chapter 29 Preserving of admissible inference rules in modal logic
31. Altmetric Badge
    Chapter 30 Pure Type Systems with definitions
32. Altmetric Badge
    Chapter 31 Craig interpolation property in modal logics with provability interpretation
33. Altmetric Badge
    Chapter 32 Representing null values in logic programming
34. Altmetric Badge
    Chapter 33 Comparing cubes
35. Altmetric Badge
    Chapter 34 A logic of capabilities
36. Altmetric Badge
    Chapter 35 Weak orthogonality implies confluence: The higher-order case