Calibrating Computational Complexity via Definability: The Work of Julia F. Knight
From MaRDI portal
Publication:5099423
DOI10.1090/NOTI2436zbMATH Open1496.03005OpenAlexW4211151766WikidataQ122149904 ScholiaQ122149904MaRDI QIDQ5099423FDOQ5099423
Authors: Karen Lange
Publication date: 31 August 2022
Published in: Notices of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/noti2436
Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Computability and recursion theory (03Dxx)
This page was built for publication: Calibrating Computational Complexity via Definability: The Work of Julia F. Knight
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5099423)