Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs

Stéphane Kaplan. Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. In Bernard Robinet, Reinhard Wilhelm, editors, ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings. Volume 213 of Lecture Notes in Computer Science, pages 351-374, Springer, 1986.

Abstract

Abstract is missing.