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:
probabilist (2)
reason (1)
termin (1)
legal (1)
program (1)

Stem chrism$ (all stems)

2 papers:

ICLPICLP-J-2013-SneyersSF #probability #reasoning
Probabilistic legal reasoning in CHRiSM (JS, DDS, TWF), pp. 769–781.
LOPSTRLOPSTR-2011-SneyersS #probability #source code #termination
Probabilistic Termination of CHRiSM Programs (JS, DDS), pp. 221–236.
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.