2013/01/01 by Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
paper · doi:10.1007/978-3-642-39992-3
crossref issued 2013/01/01 · crossref published 2013/01/01 · crossref published-print 2013/01/01 · openalex publication_date 2013/01/01 · crossref created 2013/08/14 · crossref deposited 2019/04/04 · crossref indexed 2024/09/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/15