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

Well-Quasi Orders in Computation, Logic, Language and Reasoning

Overview of attention for book
Cover of 'Well-Quasi Orders in Computation, Logic, Language and Reasoning'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Well, Better and In-Between
  3. Altmetric Badge
    Chapter 2 On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
  4. Altmetric Badge
    Chapter 3 The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings
  5. Altmetric Badge
    Chapter 4 Strong WQO Tree Theorems
  6. Altmetric Badge
    Chapter 5 Well Quasi-orderings and Roots of Polynomials in a Hahn Field
  7. Altmetric Badge
    Chapter 6 Upper Bounds on the Graph Minor Theorem
  8. Altmetric Badge
    Chapter 7 Recent Progress on Well-Quasi-ordering Graphs
  9. Altmetric Badge
    Chapter 8 The Reverse Mathematics of wqos and bqos
  10. Altmetric Badge
    Chapter 9 Well Quasi-orders and the Functional Interpretation
  11. Altmetric Badge
    Chapter 10 Well-Quasi Orders and Hierarchy Theory
  12. Altmetric Badge
    Chapter 11 A Combinatorial Bound for a Restricted Form of the Termination Theorem
  13. Altmetric Badge
    Chapter 12 A Mechanized Proof of Higman’s Lemma by Open Induction
  14. Altmetric Badge
    Chapter 13 Well-Partial Orderings and their Maximal Order Types
Attention for Chapter 1: Well, Better and In-Between
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
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
Well, Better and In-Between
Chapter number 1
Book title
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Published by
Springer, Cham, January 2020
DOI 10.1007/978-3-030-30229-0_1
Book ISBNs
978-3-03-030228-3, 978-3-03-030229-0
Authors

Raphaël Carroy, Yann Pequignot, Carroy, Raphaël, Pequignot, Yann

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 %
Professor 1 100%
Readers by discipline Count As %
Mathematics 1 100%

This page is provided by Altmetric.