↓ Skip to main content
What is this page? Embed badge

Logic, Language, Information, and Computation

Overview of attention for book
Cover of 'Logic, Language, Information, and Computation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Word Problem for Finitely Presented Quandles is Undecidable
  3. Altmetric Badge
    Chapter 2 Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language
  4. Altmetric Badge
    Chapter 3 On Topologically Relevant Fragments of the Logic of Linear Flows of Time
  5. Altmetric Badge
    Chapter 4 An Equation-Based Classical Logic
  6. Altmetric Badge
    Chapter 5 Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
  7. Altmetric Badge
    Chapter 6 A Dichotomy Result for Ramsey Quantifiers
  8. Altmetric Badge
    Chapter 7 Parametric polymorphism - universally
  9. Altmetric Badge
    Chapter 8 On the Weak Index Problem for Game Automata
  10. Altmetric Badge
    Chapter 9 Proof-Theoretic Aspects of the Lambek-Grishin Calculus
  11. Altmetric Badge
    Chapter 10 Syllogistic Logic with “Most”
  12. Altmetric Badge
    Chapter 11 Characterizing Frame Definability in Team Semantics via the Universal Modality
  13. Altmetric Badge
    Chapter 12 An Epistemic Separation Logic
  14. Altmetric Badge
    Chapter 13 Equational Properties of Stratified Least Fixed Points (Extended Abstract)
  15. Altmetric Badge
    Chapter 14 The p -adic Integers as Final Coalgebra
Attention for Chapter 12: An Epistemic Separation Logic
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
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.
Chapter title
An Epistemic Separation Logic
Chapter number 12
Book title
Logic, Language, Information, and Computation
Published by
Springer, Berlin, Heidelberg, July 2015
DOI 10.1007/978-3-662-47709-0_12
Book ISBNs
978-3-66-247708-3, 978-3-66-247709-0
Authors

Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Lecturer > Senior Lecturer 1 100%
Readers by discipline Count As %
Linguistics 1 100%

This page is provided by Altmetric.