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:
calculus (3)
constraint (2)
applic (2)
explicit (2)
anonym (1)

Stem rho$ (all stems)

6 papers:

RTARTA-2012-Kirchner #calculus #logic
Rho-Calculi for Computation and Logic (Invited Talk) (CK), pp. 2–4.
VLDBVLDB-2010-CaoKRT #named #transaction
rho-uncertainty: Inference-Proof Transaction Anonymization (JC, PK, CR, KLT), pp. 1033–1044.
WRLAWRLA-J-2004-CirsteaFK07 #calculus #constraints
A rho-calculus of explicit constraint application (HC, GF, CK), pp. 37–72.
WRLAWRLA-2006-CirsteaHW07 #calculus
Distributive rho-calculus (HC, CH, BW), pp. 95–111.
WRLAWRLA-2004-CirsteaFK05 #calculus #constraints
A rho-Calculus of Explicit Constraint Application (HC, GF, CK), pp. 51–67.
FoSSaCSFoSSaCS-2001-CirsteaKL
The Rho Cube (HC, CK, LL), pp. 168–183.

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.