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:
theorem (2)
comput (1)
cellular (1)
engin (1)
two (1)

Stem rice$ (all stems)

4 papers:

VLDBVLDB-2011-GrosseLWFL #in memory
Bridging Two Worlds with RICE Integrating R into the SAP In-Memory Computing Engine (PG, WL, TW, FF, WSL), pp. 1307–1317.
ICALPICALP-v2-2011-Delacourt #automaton #set #theorem
Rice’s Theorem for μ-Limit Sets of Cellular Automata (MD), pp. 89–100.
POPLPOPL-2008-Asperti #theorem
The intensional content of Rice’s theorem (AA), pp. 113–119.
DACDAC-1991-RatzlaffGP #agile #named
RICE: Rapid Interconnect Circuit Evaluator (CLR, NG, LTP), pp. 555–560.

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.