We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£125.20
Springer Well-Quasi Orders in Computation, Logic and Reasoning
Price data last checked 56 day(s) ago - refreshing...
Price History & Forecast
Last 35 days • 27 data points (No recent data available)
Price Distribution
Price distribution over 35 days • 3 price levels
Price Analysis
Most common price: £126 (25 days, 92.6%)
Price range: £124 - £126
Price levels: 3 different prices over 27 days
Description
Key Features
Bridges the gaps between logic, mathematics, and computer science through the study of well-quasi orders.
Provides a unifying concept for proving finiteness and termination in diverse mathematical contexts.
Covers essential topics including proof theory, automata theory, formal languages, and descriptive set theory.
Explores connections to commutative algebra, braid groups, graph theory, and analytic combinatorics.
Includes technical discussions on the theory of relations, reverse mathematics, and subrecursive hierarchies.
Product Specifications
- Brand
- Springer
- Format
- Paperback
- ASIN
- 3030302318
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 26 August 2021
- Listed Since
- 07 December 2020
Barcode
No barcode data available
Similar Products You Might Like
Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
Springer
Sequences, Groups, and Number Theory (Trends in Mathematics)
Birkhauser
Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)
Springer
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics: 20 (Outstanding Contributions to Logic, 20)
Springer
Skew PBW Extensions: Ring and Module-theoretic Properties, Matrix and Gröbner Methods, and Applications: 28 (Algebra and Applications, 28)
Springer
Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)
Springer
Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)
The Puzzle of Granular Computing: 138 (Studies in Computational Intelligence, 138)
Springer
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)
Springer
Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)
Morgan & Claypool
Springer Computational Invariant Theory: 130 Mathematics Book
Springer
Passage to Abstract Mathematics
Cognella Academic Publishing
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)
Springer
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Elsevier
Language Computability and Formal Language Theory
Society Publishing
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
CRC Press
Constructive Models (Siberian School of Algebra and Logic)
Springer
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers: 28 (Algorithms and Computation in Mathematics, 28)
Springer
Relative Trace Formulas (Simons Symposia)
Springer
Partial Covers, Reducts and Decision Rules in Rough Sets: Theory and Applications: 145 (Studies in Computational Intelligence, 145)
Springer
Computation Engineering: Applied Automata Theory and Logic
Springer
Advances in Unconventional Computing: Volume 1: Theory: 22 (Emergence, Complexity and Computation, 22)
Springer
Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)
Springer