LOGSPACE and PTIME characterized by programming languages
From MaRDI portal
Recommendations
- Some Programming Languages for Logspace and Ptime
- Logspace and logtime leaf languages
- An imperative language characterizing PTIME algorithms
- A logical characterization of timed pushdown languages
- Subclasses of \textsc{Ptime} interpreted by programming languages
- Logical hierarchies in PTIME
- scientific article; zbMATH DE number 947806
- Programming in metric temporal logic
- scientific article; zbMATH DE number 3985193
- A logical characterization of timed regular languages
Cited in
(36)- Complexity classes and fragments of C
- Some relationships between logics of programs and complexity theory
- Logical and schematic characterization of complexity classes
- A predicative and decidable characterization of the polynomial classes of languages
- Recursion versus tail recursion over \(\overline{\mathbb{F}}_p\)
- Logspace and logtime leaf languages
- An abstract approach to stratification in linear logic
- A higher-order characterization of probabilistic polynomial time
- Logarithmic space and permutations
- Computation by interaction for space-bounded functional programming
- Logic programming and logarithmic space
- On quasi-interpretations, blind abstractions and implicit complexity
- Bounded minimalisation and bounded counting in argument-bounded idc's
- Logspace without bounds
- Limiting characterizations of low level space complexity classes
- Programming languages capturing complexity classes
- Regressive computations characterize logarithmic space
- A Characterisation of the Relations Definable in Presburger Arithmetic
- Pure Iteration and Periodicity
- Recursion in Higher Types and Resource Bounded Turing Machines
- Some Programming Languages for Logspace and Ptime
- scientific article; zbMATH DE number 1231465 (Why is no real title available?)
- A Refinement of the μ-measure for Stack Programs
- Term rewriting characterisation of LOGSPACE for finite and infinite data
- scientific article; zbMATH DE number 7453191 (Why is no real title available?)
- An imperative language characterizing PTIME algorithms
- Computer Science Logic
- Quasi-interpretations. A way to control resources
- Ramified Corecurrence and Logspace
- Subclasses of \textsc{Ptime} interpreted by programming languages
- Read/write factorizable programs
- Towards the complexity analysis of programming language proof methods
- Reasonable space for the -calculus, logarithmically
- Reasonable space for the -calculus, logarithmically
- Unbounded recursion and non-size-increasing functions
- Simple programming languages and restricted classes of Turing machines
This page was built for publication: LOGSPACE and PTIME characterized by programming languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1575880)
