BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
complet (5)
guard (2)
atl (1)
nexptim (1)
fragment (1)

Stem exptim$ (all stems)

8 papers:

LICSLICS-2015-HeH #branch #similarity
Branching Bisimilarity on Normed BPA Is EXPTIME-Complete (CH, MH), pp. 180–191.
LICSLICS-2012-CreusGGR #problem
The HOM Problem is EXPTIME-Complete (CC, AG, GG, LR), pp. 255–264.
CSLCSL-2009-CirsteaKP #algebra #calculus #μ-calculus
EXPTIME Tableaux for the Coalgebraic μ-Calculus (CC, CK, DP), pp. 179–193.
ICALPICALP-B-2008-Schewe #satisfiability
ATL* Satisfiability Is 2EXPTIME-Complete (SS), pp. 373–385.
Deciding kCFA is complete for EXPTIME (DVH, HGM), pp. 275–282.
FoSSaCSFoSSaCS-2003-Kieronski #transitive
The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard (EK), pp. 299–312.
Ground Reducibility is EXPTIME-Complete (HC, FJ), pp. 26–34.
STOCSTOC-1983-HartmanisSI #set
Sparse Sets in NP-P: EXPTIME versus NEXPTIME (JH, VS, NI), pp. 382–391.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.