Efficient Decision Procedures for Graph Properties on Centext-Free Graph Languages

Thomas Lengauer, Egon Wanke. Efficient Decision Procedures for Graph Properties on Centext-Free Graph Languages. Journal of the ACM, 40(2):368-393, 1993. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.