海量图书期刊资源,随时随地畅享阅读乐趣
RECURSIVE BAIRE CLASSIFICATION AND SPEEDABLE FUNCTIONSCristian Calude; Gabriel Istrate; Marius Zimand · 1992
Minimum spanning hypertreesIoan Tomescu; Marius Zimand · 1994
Algorithmically independent sequencesCristian S. Calude; Marius Zimand · 2010
A Brief on Short DescriptionsTeutsch, Jason; Zimand, Marius · ACM SIGACT News · 2016
Worlds to die forHemaspaandra, Lane A.; Ramachandran, Ajit; Zimand, Marius · ACM SIGACT News · 1995
On Approximate Decidability of Minimal ProgramsTeutsch, Jason; Zimand, Marius · ACM Transactions on Computation Theory · 2015
If not empty, NP — P is topologically largeMarius Zimand · 1993
Effective category and measure in abstract complexity theoryCristian Calude; Marius Zimand · 1996