On the equivalence problem for attribute systems

Semantics of context-free languages

Donald E. Knuth · Theory of Computing Systems · 1968 · 2K citations

Computing, Computer Science, Formal Methods +9

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

An Efficient Unification Algorithm

Alberto Martelli, Ugo Montanari · ACM Transactions on Programming Languages and Systems · 1982 · 776 citations · Full text

Computing, Computer Science, Computer Systems +6

Attribute grammars and recursive program schemes II

Bruno Courcelle, Paul Franchi-Zannettacci · Theoretical Computer Science · 1982 · 142 citations

Computing, Computer Science, Computer Systems +14

The equivalence problem for deterministic finite-turn pushdown automata

Leslie G. Valiant · Information and Control · 1974 · 115 citations

Computing, Computer Science, Algorithms +12