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:
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.
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.