2014/01/01 by Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz · 1 citation
Computer Science · #Computability, Logic, AI Algorithms
paper · doi:10.1007/978-3-662-44145-9
crossref issued 2014/01/01 · crossref published 2014/01/01 · crossref published-print 2014/01/01 · openalex publication_date 2014/01/01 · crossref created 2014/08/23 · openalex created_date 2017/04/07 · crossref deposited 2023/02/14 · crossref indexed 2025/03/27 · openalex updated_date 2026/07/29