Cons-free Programs and Complexity Classes between LOGSPACE and PTIME
Programming language concepts are used to give some new perspectives on a long-standing open problem: is logspace = ptime ?
Source author record
Siddharth Bhaskar
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
3works
6topics
4close collaborators
Published work
3 publications
preprint2020arXiv
Traversal-invariant characterizations of logarithmic space
We give a novel descriptive-complexity theoretic characterization of L and NL computable queries over finite structures using traversal invariance. We summarize this as (N)L = FO + (breadth-first) traversal-invariance.
Open access
preprint2015arXiv
Asymptotic Logical Uncertainty and The Benford Test
We give an algorithm A which assigns probabilities to logical sentences. For any simple infinite sequence of sentences whose truth-values appear indistinguishable from a biased coin that outputs "true" with probability p, we have that the sequence of probabilities that A assigns to these sentences converges to p.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.