Fields of logic and computation III : essays dedicated to Yuri Gurevich on the occasion of his 80th birthday /: essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. (2020)

• Record Type: Book
• Further Information: Note: Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner (eds.).
• Other Names: Blass, Andreas, 1947-; Cégielski, Patrick, 1954-; Dershowitz, Nachum; Droste, Manfred, 1956-; Finkbeiner, Bernd
• 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.
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Extent: 1 online resource
• Subjects: 005.101/5113; Computer logic; Software engineering; Computer science -- Mathematics; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783030480066; 3030480062
• Related ISBNs: 3030480054; 9783030480059
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.