Andreas Weiermann – författare
Visar alla böcker från författaren Andreas Weiermann. Handla med fri frakt och snabb leverans.
4 produkter
Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Av Peter M. Schuster, Monika Seisenberger m. fl.
Inbunden, 2020
1967 kr
Lägg i varukorg
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative …
Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Av Andreas Weiermann, Monika Seisenberger m. fl.
E-bok, 2020
2599 kr
Lägg i varukorg
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative …
Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Av Peter M. Schuster, Monika Seisenberger m. fl.
Häftad, 2021
1967 kr
Lägg i varukorg
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative …
Connecting with Computability
17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings
Av Liesbeth De Mol, Andreas Weiermann m. fl.
Häftad, 2021
552 kr
Lägg i varukorg
This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021. Due to COVID-19 pandemic the conference was held virtually.The 48 full papers presented in this volume were carefully reviewed and selected from 50 …
