About this scholarly article

Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81 - Equations between regular terms and an application to process logic by Chandra, Ashok; Halpern, Joe; Meyer, Albert; Parikh, Rohit is a scholarly article available to read on EtoBox.

Author

Chandra, Ashok; Halpern, Joe; Meyer, Albert; Parikh, Rohit

Publisher

ACM Press

Published

1981

Language

EN