Inproceedings,

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

, and .
ICALP, volume 267 of Lecture Notes in Computer Science, page 509-520. Springer, (1987)

Meta data

Tags

Users

  • @dblp

Comments and Reviews