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.
Well-behaved search and the Robbins problem. - Conditional equational specifications of data types with partial operations for inductive theorem proving. - On the property of preserving regularity for string-rewriting systems.
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.