Graph expressions and graph rewritings

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

Language Studies, Information Systems, Computational Linguistics +7

Initial Algebra Semantics and Continuous Algebras

Joseph A. Goguen, J. W. Thatcher, Eric G. Wagner et al. · Journal of the ACM · 1977 · 803 citations · Full text

Computing, Computer Science, Algebra +12

Graph-grammars: An algebraic approach

Hartmut Ehrig, Michael Pfender · 1973 · 488 citations

Computing, Computer Science, Mathematics +15

Fundamental properties of infinite trees

Bruno Courcelle · Theoretical Computer Science · 1983 · 364 citations

Natural Sciences, Mathematics, Combinatorics +5

Two Families of Languages Related to ALGOL

Seymour Ginsburg, H. Gordon Rice · Journal of the ACM · 1962 · 288 citations · Full text

Computing, Computer Science, Computational Linguistics +4