Pages that link to "Item:Q1827388"
From MaRDI portal
The following pages link to An arithmetic for non-size-increasing polynomial-time computation (Q1827388):
Displaying 12 items.
- Introduction to clarithmetic. I (Q642523) (← links)
- A weak constructive second-order arithmetic with extraction of algorithms computable in polynomial time (Q937902) (← links)
- Linear types and non-size-increasing polynomial time computation. (Q1401943) (← links)
- Polynomial time uniformization and non-standard methods (Q1817062) (← links)
- Algorithmically broad languages for polynomial time and space (Q2148807) (← links)
- An arithmetic for polynomial-time computation (Q2500489) (← links)
- Build your own clarithmetic I: Setup and completeness (Q2974779) (← links)
- Extracting a DPLL Algorithm (Q3178287) (← links)
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows (Q5041106) (← links)
- The strength of non-size increasing computation (Q5178911) (← links)
- Proof-Theoretic Semantics and Feasibility (Q5250217) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)