Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

DOI10.1007/978-3-642-15025-8zbMath1194.03003DBLPconf/birthday/2010gurevichOpenAlexW4205863090WikidataQ58215524 ScholiaQ58215524MaRDI QIDQ989996

No author found.

Publication date: 23 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15025-8

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (2)

Finding similar/diverse solutions in answer set programming ⋮ Honest Computability and Complexity

Uses Software

• z3

This page was built for publication: Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday