Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems

Rodney R. Howell, Louis E. Rosier. Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems. In Thomas Ottmann, editor, Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings. Volume 267 of Lecture Notes in Computer Science, pages 509-520, Springer, 1987.

Authors

Rodney R. Howell

This author has not been identified. Look up 'Rodney R. Howell' in Google

Louis E. Rosier

This author has not been identified. Look up 'Louis E. Rosier' in Google