Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Nondeterministic Algorithms | Journal of the ACM |
| 134 | 1967 |
Theoretical Results Concerning Programs Regarded as Directed Graphs | 1966 | |||
Reduction of Programs to a Standard Form by Graph Transformation | 1966 | |||
Computer Programs and Graph Transformations | 1966 | |||
Computer Programs and Graph Transformations | 1962 |