2 research outputs found
An efficient object oriented apporach for calculating chemical equilibria in combination with transport.
No full textDerivation Lengths in Term Rewriting From Interpretations in the Naturals
Get PDFMonotone 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
