Fields of logic and computation III : essays dedicated to Yuri Gurevich on the occasion of his 80th birthday / Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner (eds.).
2020
QA76.9.L63
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
Fields of logic and computation III : essays dedicated to Yuri Gurevich on the occasion of his 80th birthday / Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner (eds.).
ISBN
9783030480066 (electronic book)
3030480062 (electronic book)
3030480054
9783030480059
3030480062 (electronic book)
3030480054
9783030480059
Publication Details
Cham : Springer, 2020.
Language
English
Description
1 online resource
Item Number
10.1007/978-3-030-48
Call Number
QA76.9.L63
Dewey Decimal Classification
005.101/5113
Summary
This Festschrift is published in honor of Yuri Gurevichs 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 Yuris 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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Added Author
Blass, Andreas, 1947-
Cégielski, Patrick, 1954-
Dershowitz, Nachum.
Droste, Manfred, 1956-
Finkbeiner, Bernd.
Cégielski, Patrick, 1954-
Dershowitz, Nachum.
Droste, Manfred, 1956-
Finkbeiner, Bernd.
Series
Lecture notes in computer science ; 12180.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form
Print version: 9783030480059
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
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.
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.