When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Invited Talk. - Symbolic Systems Biology. - Confluence as a Cut Elimination Property. - Efficient Reductions with Director Strings. - Rewriting Logic and Probabilities. - The Maude 2.0 System. - Residuals in Higher-Order Rewriting.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.