Stem rid$ (all stems)

6 papers:

CAV-2011-AtigBP #analysis

Getting Rid of Store-Buffers in TSO Analysis (MFA, AB, GP), pp. 99–115.

SIGMOD-2007-RamanQHNCYL #adaptation #lazy evaluation

Lazy, adaptive rid-list intersection, and its application to index anding (VR, LQ, WH, IN, YLC, KHY, FLL), pp. 773–784.

EDOC-2007-MendlingDA #modelling #process

Getting Rid of the OR-Join in Business Process Models (JM, BFvD, WMPvdA), pp. 3–14.

RTA-2005-Comon-LundhD #algebra #finite #how

The Finite Variant Property: How to Get Rid of Some Algebraic Properties (HCL, SD), pp. 294–307.

ICALP-1980-Ainhirn #how #pseudo

How to Get Rid of Pseudoterminals (WA), pp. 1–11.

CADE-1980-Noll #how

A Note on Resolution: How to Get Rid of Factoring without Loosing Completeness (HN), pp. 250–263.