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:
type (3)
composit (1)
linear (1)
induct (1)
strong (1)

Stem equi$ (all stems)

4 papers:

FoSSaCSFoSSaCS-2014-Padovani #linear #re-engineering #recursion #π-calculus
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types (LP), pp. 88–102.
DACDAC-2007-YeZL #optimisation #performance #power management #statistics #using
Statistical Leakage Power Minimization Using Fast Equi-Slack Shell Based Optimization (XY, YZ, PL), pp. 853–858.
TLCATLCA-2007-Abel #induction #normalisation
Strong Normalization and Equi-(Co)Inductive Types (AA0), pp. 8–22.
SIGMODSIGMOD-1988-MuralikrishnaD #multi #query
Equi-Depth Histograms For Estimating Selectivity Factors For Multi-Dimensional Queries (MM, DJD), pp. 28–36.

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.