Efficient decision procedures for graph properties on context-free graph languages.
Saved in:
| Title: | Efficient decision procedures for graph properties on context-free graph languages. |
|---|---|
| Authors: | Lengauer, Thomas, Wanke, Egon |
| Source: | Journal of the ACM; April 1993, Vol. 40, p368-393, 26p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00045411 |
|---|---|
| DOI: | 10.1145/151261.151268 |
