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:
version (2)
logic (2)
yet (1)
axiom (1)
languag (1)

Stem abridg$ (all stems)

4 papers:

The History of Histograms (abridged) (YEI), pp. 19–30.
ESOPESOP-1998-Thiemann #framework
A Generic Framework for Specialization (Abridged Version) (PT), pp. 267–281.
ICALPICALP-1997-HarelS #logic #process
Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version) (DH, ES), pp. 408–418.
LICSLICS-1986-GermanCH #axiom
True Relative Completeness of an Axiom System for the Language L4 (Abridged) (SMG, EMC, JYH), pp. 11–25.

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.