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 (3)
time (2)
logic (2)
hierarchi (1)
relev (1)

Stem exp$ (all stems)

6 papers:

LICSLICS-CSL-2014-Haase #subclass
Subclasses of presburger arithmetic and the weak EXP hierarchy (CH), p. 10.
RTARTA-TLCA-2014-Schmitz #logic
Implicational Relevance Logic is 2-ExpTime-Complete (SS), pp. 395–409.
PDL with Intersection and Converse Is 2 EXP-Complete (SG, ML, CL), pp. 198–212.
FoSSaCSFoSSaCS-2006-ZuninoD #analysis #protocol
Handling exp, × (and Timestamps) in Protocol Analysis (RZ, PD), pp. 413–427.
IFMIFM-2005-Lang #composition #flexibility #on the fly #partial order #verification
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods (FL), pp. 70–88.
CSLCSL-1999-Tobies #logic #strict
A NExpTime-Complete Description Logic Strictly Contained in C2 (ST), pp. 292–306.

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.