Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory / Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors.
2020
QA164
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory / Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors.
ISBN
9783030302290 (electronic book)
3030302296 (electronic book)
9783030302283
3030302296 (electronic book)
9783030302283
Publication Details
Cham : Springer, 2020.
Language
English
Description
1 online resource (395 pages).
Call Number
QA164
Dewey Decimal Classification
511/.6
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Series
Trends in logic ; v. 53.
Available in Other Form
Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources