Siddharth Bhaskar

MaRDI QIDQ519901zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Read/write factorizable programs Journal of Functional Programming	2023-08-09	Paper
Graph Traversals as Universal Constructions (available as arXiv preprint)	2023-08-08	Paper
Subclasses of \textsc{Ptime} interpreted by programming languages Theory of Computing Systems	2023-07-26	Paper
scientific article; zbMATH DE number 7453191 (Why is no real title available?)	2022-01-06	Paper
scientific article; zbMATH DE number 7453191 (Why is no real title available?) (available as arXiv preprint)	2022-01-06	Paper
THICKET DENSITY Journal of Symbolic Logic	2021-07-12	Paper
Tameness in least fixed-point logic and McColm's conjecture (available as arXiv preprint)	2021-03-26	Paper
Tameness in least fixed-point logic and McColm's conjecture	2021-03-26	Paper
Boolean monadic recursive schemes as a logical characterization of the subsequential functions	2020-07-27	Paper
Traversal-invariant characterizations of logarithmic space	2020-06-12	Paper
Algorithmic Traversals of Infinite Graphs	2018-10-23	Paper
Recursion versus tail recursion over \(\overline{\mathbb{F}}_p\) Journal of Logical and Algebraic Methods in Programming	2017-12-01	Paper
Tameness in least fixed-point logic and McColm's conjecture (available as arXiv preprint)	2017-07-31	Paper
A difference in complexity between recursion and tail recursion Theory of Computing Systems	2017-03-31	Paper
Thicket Density (available as arXiv preprint)	2017-02-13	Paper

Research outcomes over time

This page was built for person: Siddharth Bhaskar