Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,362,999 papers from all fields of science
Search
Sign In
Create Free Account
LOGCFL
In computational complexity theory, LOGCFL is the complexity class that contains all decision problems that can be reduced in logarithmic space to a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
AC (complexity)
Circuits over sets of natural numbers
Complete (complexity)
Complexity class
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Isolation Lemma for Directed Reachability and NL vs. L
Vaibhav Krishan
,
N. Limaye
Electron. Colloquium Comput. Complex.
2016
Corpus ID: 1570457
In this work we study the problem of efficiently isolating witnesses for the complexity classes NL and LogCFL, which are two well…
Expand
2015
2015
Width-Parameterized SAT : Time-Space Tradeoffs
Eric Allender
,
Shiteng Chen
,
Tiancheng Lou
,
Periklis A. Papakonstantinou
,
Bangsheng Tang
2015
Corpus ID: 265100414
Alekhnovich and Razborov (2002) presented an algorithm that solves SAT on instances φ of size n and tree-width TW(φ), using time…
Expand
2015
2015
Combined Complexity of Answering Tree-like Queries in OWL 2 QL
Meghyn Bienvenu
,
S. Kikot
,
V. Podolskii
Description Logics
2015
Corpus ID: 15935772
Introduction The OWL 2 QL ontology language [11], based upon the description logic DL-LiteR, is considered particularly well…
Expand
2011
2011
The Descriptive Complexity Approach to LOGCFL Clemens Lautemann
A. Bernasconi
,
Stefan Bischof
,
+5 authors
Martin Raab
2011
Corpus ID: 43929166
2009
2009
Exploring LogCFL using language theory[HBNI Th 13]
N. Limaye
2009
Corpus ID: 56614611
2007
2007
Unidirectional Lambek Grammars in Polynomial Time
Periklis A. Papakonstantinou
,
Gerald Penn
,
Yevgeniy Vahlis
2007
Corpus ID: 17056157
,
2007
2007
IMPROVED UPPER BOUNDS IN NC FOR MONOTONE PLANAR CIRCUIT VALUE AND SOME RESTRICTIONS AND GENERALIZATIONS
N. Limaye
,
M. Mahajan
,
Jayalal Sarma
2007
Corpus ID: 10892052
The P-complete Circuit Value Problem CVP, when restricted to monotone planar circuits MPCVP, is known to be in NC, and for the…
Expand
1999
1999
Papers to Appear in Forthcoming Issues
Y. Aumann
Brain and Cognition
1999
Corpus ID: 53202220
Yonatan Aumann, Johan Hastad, Michael O. Rabin, and Madhu Sudan. Linear Consistency Testing Juraj Hromkovic and Sebastian Seibert…
Expand
1998
1998
A Generalization of Finite-Turn Pushdown Automaton Languages and LOGCFL
守屋 悦朗
,
大木 由紀子
1998
Corpus ID: 119007991
1994
1994
Parallel Computational Complexity and Date-Transfer Complexity of Supercomputing
Y. Okabe
1994
Corpus ID: 61851076
With the recent advance in hardware technology of very large-scale integration and parallel computer architecture, vector and…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE