Name: Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive (in English)
Price: 189.46 USD
Availability: InStock
Author: Schuster, Peter M. ; Seisenberger, Monika ; Weiermann, Andreas
ISBN: 9783030302313

portada Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive (in English)

Type

Physical Book

Publisher

Springer

Author

Schuster, Peter M. ; Seisenberger, Monika ; Weiermann, Andreas

Language

Inglés

Pages

391

Format

Paperback

Dimensions

23.4 x 15.6 x 2.1 cm

Weight

0.56 kg.

ISBN13

9783030302313

Synopsis "Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive (in English)"

Introduces readers to a highly active branch of combinatoricsUnifies interdisciplinary areas between logic, mathematics and computer scienceHighlights relevant work by top scholars from various fields

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive (in English) - Schuster, Peter M. ; Seisenberger, Monika ; Weiermann, Andreas

Synopsis "Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive (in English)"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery