Efficient decision procedures for graph properties on context-free graph languages.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first