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:
comput (1)
prover (1)
map (1)
sql (1)
queri (1)

Stem lacon$ (all stems)

2 papers:

VLDBVLDB-2009-CateCKT #query #sql
Laconic Schema Mappings: Computing the Core with SQL Queries (BtC, LC, PGK, WCT), pp. 1006–1017.
ICALPICALP-2001-GoldreichVW #interactive #on the #proving
On Interactive Proofs with a Laconic Prover (OG, SPV, AW), pp. 334–345.
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.