Yuri, logic, and computer science
From MaRDI portal
Publication:3585995
DOI10.1007/978-3-642-15025-8_1zbMATH Open1287.01016OpenAlexW1535984783MaRDI QIDQ3585995FDOQ3585995
Authors: Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
Publication date: 3 September 2010
Published in: Fields of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15025-8_1
Recommendations
Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03) History of mathematical logic and foundations (03-03)
Cited In (1)
This page was built for publication: Yuri, logic, and computer science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3585995)