Constructible function

Known as: Time-constructible function, Space constructible, Space-constructible

In complexity theory, a time-constructible function is a function f from natural numbers to natural numbers with the property that f(n) can be…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

We study some properties of the characteristic cycle of a constructible complex on a smooth variety over a perfect field, push…

2016

In this short \'etude, we observe that the full structure of a recollement on a stable infinity-category can be reconstructed…

2014

We define the characteristic cycle of a constructible sheaf on a smooth surface in the cotangent bundle. We prove that the…

2008

Abstract We develop the Springer theory of Weyl group representations in the language of symplectic topology. Given a semisimple…

2005

Quantified propositional logic is an extension of classical propositional logic where quantifications over atomic formulas are…

2004

A tableau calculus for a logic with constructive negation and an implementation of the related decision procedure is presented…

2000

We study constructions that convert arbitrary deterministic Turing machines to reversible machines; i.e. reversible simulations…

2000

We study the partition of the set of pairs of matrices according to the Brunovsky--Kronecker type. We show that it is a…

1994

A spherical code is a finite set X of points lying on the unit sphere of R/sup n/. For such a set, we define /spl rho/(X) as the…

1967