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:
constraint (1)
quantifi (1)
tier (1)
string (1)
two (1)

Stem lazili$ (all stems)

3 papers:

ASEASE-2010-HooimeijerW #constraints #string
Solving string constraints lazily (PH, WW), pp. 377–386.
TACASTACAS-2005-LeinoMO #proving #quantifier #theorem proving
A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover (KRML, MM, XO), pp. 334–348.
FPCAFPCA-1995-HughesM
Making Choices Lazily (JH, AM), pp. 108–119.

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.