## Stem rice$ (all stems)

### 4 papers:

- VLDB-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.
- ICALP-v2-2011-Delacourt #automaton #set #theorem
- Rice’s Theorem for μ-Limit Sets of Cellular Automata (MD), pp. 89–100.
- POPL-2008-Asperti #theorem
- The intensional content of Rice’s theorem (AA), pp. 113–119.
- DAC-1991-RatzlaffGP #agile #named
- RICE: Rapid Interconnect Circuit Evaluator (CLR, NG, LTP), pp. 555–560.