DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» DLOGTIME
DLOGTIME
On Uniformity Within NC
Collapsing Exact Arithmetic Hierarchies
Title PRAMおよび対数時間一様な論理回路族に基づく計算量 の階層(計算
Limits to Parallel Computation: P-Completeness Theory
Time, Hardware, and Uniformity
A Small Span Theorem Within P 1 Introduction
The Division Breakthroughs Eric Allender 1
Arxiv:1909.05828V3 [Cs.CC] 13 Mar 2020 Novel) Acceptance Condition, Covered in Section 2
DLOGTIME Proof Systems
Chicago Journal of Theoretical Computer Science the MIT Press
Uniformity and Nonuniformity in Proof Complexity
On TC Lower Bounds for the Permanent
The Pervasive Reach of Resource-Bounded Kolmogorov Complexity in Computational Complexity Theory∗
Strengths and Weaknesses of LH Arithmetic
(Non-)Hardness of Circuit Minimization and Related Problems
Dagstuhl-Seminar-Report 82
Characterizing Definability of Second-Order Generalized Quantifiers
A Superpolynomial Lower Bound on the Size of Uniform Non-Constant
Top View
A Purely Logical Characterization of Circuit Uniformity (Extended Draft)
A Clari Cation Concerning the L Hierarchy 1 the Proof
Verifying Proofs in Constant Depth
DLOGTIME Versus NLOGTIME Frank Vega
The Complexity of Bisimulation and Simulation on Finite Systems
A Stroll Through the Complexity Zoo
Complexity Classes Chapter 27 of the Forthcoming CRC Handbook on Algorithms and Theory of Computation
A Circuit Uniformity Sharper Than Dlogtime Guillaume Bonfante, Virgile Mogbil
Hardness of Circuit Minimization and Related Problems∗
Uniform Constant-Depth Threshold Circuits for Division and Iterated Multiplication
Constant-Depth Circuits for Arithmetic in Finite Fields of Characteristic Two
The Minimum Oracle Circuit Size Problem
Reducibility and Completeness Chapter 28 of the Forthcoming CRC Handbook on Algorithms and Theory of Computation
Lecture 11: Proofs, Games, and Alternation 1. Overview
Characterizing Small Depth and Small Space Classes by Operators of Higher Types
DLOGTIME-Proof Systems
Dagstuhl-Seminar-Report
Lecture 6: Arithmetic and Threshold Circuits 1. Overview