derv

Definitions

  • WordNet 3.6
    • n derv diesel oil used in cars and lorries with diesel engines; from d(iesel) e(ngine) r(oad) v(ehicle)
    • ***

Usage


In science:

To make this a bit more concrete, we will now briefly sketch our method of derving splitting results.
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
***