Fields of Logic and Computation III
Springer International Publishing (Verlag)
978-3-030-48005-9 (ISBN)
This Festschrift is published in honor of Yuri Gurevich's 80th birthday. An associated conference, YuriFest 2020, was planned for May 18-20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri's 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.
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.
Erscheinungsdatum | 24.05.2020 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | X, 341 p. 184 illus., 9 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 539 g |
Themenwelt | Mathematik / Informatik ► Informatik |
Schlagworte | algorithmic randomness • Arabic algorithms • Architecting • Artificial Intelligence • Automata Theory • Computation • Computer Hardware • Computer Networks • computer programming • Computer Science • Computer systems • Correlation Analysis • Embedded Systems • Engineering • entropic convergence • Formal Logic • graph theory • Gurevich conjecture • hyperbolic group • knot theory • lattice-ordered group • Linguistics • Logic • Mathematics • metric logic • multi-agent system • Parallel Computing • Programming Languages • PTIME • random access machine • random convergence • Signal Processing • Software Design • Software engineering • Spreadsheets • temporal logic • theoretical computer science • topos theory • Tree • Verfication |
ISBN-10 | 3-030-48005-4 / 3030480054 |
ISBN-13 | 978-3-030-48005-9 / 9783030480059 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich