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

Logical Methods

Overview of attention for book
Cover of 'Logical Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Work of Anil Nerode: A Retrospective
  3. Altmetric Badge
    Chapter 2 Embedding Distributive Lattices Preserving 1 below a Nonzero Recursively Enumerable Turing Degree
  4. Altmetric Badge
    Chapter 3 Prime Isols and the Theorems of Fermat and Wilson
  5. Altmetric Badge
    Chapter 4 Problem Solving Strategies for the Derivation of Programs
  6. Altmetric Badge
    Chapter 5 Effective Real Dynamics
  7. Altmetric Badge
    Chapter 6 An integer lattice arising in the model theory of wreath products
  8. Altmetric Badge
    Chapter 7 Undecidability and Definability for Parametrized Polynomial Time m-Reducibilities
  9. Altmetric Badge
    Chapter 8 Extracting programs from proofs by an extension of the Curry-Howard process
  10. Altmetric Badge
    Chapter 9 A Bird’s-Eye View of Twilight Combinatorics
  11. Altmetric Badge
    Chapter 10 Effectively and Noneffectively Nowhere Simple Subspaces
  12. Altmetric Badge
    Chapter 11 Index Sets in Recursive Combinatorics
  13. Altmetric Badge
    Chapter 12 Computability in Unitary Representations of Compact Groups
  14. Altmetric Badge
    Chapter 13 Recursive Properties of Intervals of Recursive Linear Orders
  15. Altmetric Badge
    Chapter 14 Algorithmic Stability of Models
  16. Altmetric Badge
    Chapter 15 The Combinatorics of the Friedberg-Muchnick Theorem
  17. Altmetric Badge
    Chapter 16 Partial Automata and Finitely Generated Congruences: An Extension of Nerode’s Theorem
  18. Altmetric Badge
    Chapter 17 Minimal Pair Constructions and Iterated Trees of Strategies
  19. Altmetric Badge
    Chapter 18 Intuitionistic L
  20. Altmetric Badge
    Chapter 19 n-Recursive Linear Orders without (n+1)-Recursive Copies
  21. Altmetric Badge
    Chapter 20 Multiple Agent Autonomous Control A Hybrid Systems Architecture
  22. Altmetric Badge
    Chapter 21 Distributed Concurrent Programs as Strategies in Games
  23. Altmetric Badge
    Chapter 22 Dempster-Shafer Logic Programs and Stable Semantics
  24. Altmetric Badge
    Chapter 23 Who Put The “Back” In Back-And-Forth?
  25. Altmetric Badge
    Chapter 24 Polynomial Time Categoricity and Linear Orderings
  26. Altmetric Badge
    Chapter 25 The Disjunction and Numerical Existence Properties for Intuitionistic Analysis
  27. Altmetric Badge
    Chapter 26 On the strength of Fraïssé’s conjecture
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
1 Mendeley
Summary X
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
Logical Methods
Published by
Birkhäuser Boston, December 2012
DOI 10.1007/978-1-4612-0325-4
ISBNs
978-1-4612-6708-9, 978-1-4612-0325-4
Editors

Crossley, John N., Remmel, Jeffrey B., Shore, Richard A., Sweedler, Moss E.

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
 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 %
Student > Master 1 100%
Readers by discipline Count As %
Philosophy 1 100%

This page is provided by Altmetric.