2011/01/27 by Reinhard Kahle, Reinhard Kähle, Isabel Oitavem · 4 citations
Computer Science · Mathematics · #Algebra over a field #Calculus (dental) #Computer science #Constraint Satisfaction and Optimization #Economics #Hierarchy #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical analysis #Mathematical economics #Mathematics #Polynomial #Pure mathematics #cs.CC #cs.LO
paper · pdf · doi:10.4204/eptcs.47.6
published in Electronic Proceedings in Theoretical Computer Science 47, 44-56 (Open Publishing Association) · In Proceedings CL&C 2010, arXiv:1101.5200
openalex publication_date 2011/01/27 · arxiv created 2011/01/28 · arxiv updated 2011/01/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/05
In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time.