E-Book, Englisch, Band 12180, 341 Seiten, eBook
Blass / Cégielski / Dershowitz Fields of Logic and Computation III
1. Auflage 2020
ISBN: 978-3-030-48006-6
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
E-Book, Englisch, Band 12180, 341 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-48006-6
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Computation.- Logic.- Verification.- Topos theory. -Parallel Computing.- Tree.- Gurevich conjecture.- Arabic algorithms.- Hyperbolic group.- Lattice-ordered group.- Temporal logic.- Metric logic.- Random convergence.- Knot theory.- Entropic convergence.- Random access machine, PTIME.- Algorithmic randomness.