↓ 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 7: Parametric polymorphism - universally
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
1 Mendeley
Summary X

This page is provided by Altmetric.