Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems

A verified decision procedure for the first-order theory of rewriting for linear... http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs CrossRef

A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems

Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and ProofsJan 17, 2021
Loading next page...
 
/lp/crossref/a-verified-decision-procedure-for-the-first-order-theory-of-rewriting-mBz0aE3hsB

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
CrossRef
DOI
10.1145/3437992.3439918
Publisher site
See Article on Publisher Site

Abstract

Journal

Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and ProofsCrossRef

Published: Jan 17, 2021

There are no references for this article.