BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
databas (2)
explor (2)
spot (2)
tempor (2)
data (2)

Stem dtl$ (all stems)

4 papers:

IJCARIJCAR-2014-JeanninP #difference #hybrid #logic #named
dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.
SIGMODSIGMOD-1998-DarEGP #database #web
DTL’s DataSpot: Database Exploration as Easy as Browsing the Web .. (SD, GE, SG, EP), pp. 590–592.
VLDBVLDB-1998-DarEGP #database #using
DTL’s DataSpot: Database Exploration Using Plain Language (SD, GE, SG, EP), pp. 645–649.
FMPS-1981-HughesP #reduction #specification
A Reduction Specification for DTL (JWH, MSP), pp. 255–267.
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.