V-comprehensions and P space

DOI10.1007/3-540-60164-3_29zbMATH Open1502.03011OpenAlexW1580349859MaRDI QIDQ5057477FDOQ5057477

Authors: J. R. Jun. Otto 

Publication date: 16 December 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60164-3_29

Recommendations

• Characterizing PSPACE with pointers
• scientific article; zbMATH DE number 2006637
• An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras
• scientific article; zbMATH DE number 1018349
• Functions computable in polynomial space

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Categorical logic, topoi (03G30) Abstract and axiomatic computability and recursion theory (03D75)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A new recursion-theoretic characterization of the polytime functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elementary observations on 2-categorical limits
• Cartesian categories with natural numbers object
• Classes of Predictably Computable Functions
• Subrecursiveness: Machine-independent notions of computability in restricted time and storage
• Title not available (Why is that?)

This page was built for publication: V-comprehensions and P space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5057477)