2 research outputs found
An efficient object oriented apporach for calculating chemical equilibria in combination with transport.
Derivation Lengths in Term Rewriting From Interpretations in the Naturals
Monotone interpretations in the natural numbers provide a useful technique for proving termination of term rewriting systems. Termination proofs of this shape imply upper bounds on derivation lengths expressed in bounds on the interpretations