David Gries

Publications by Year

Research Areas

Logic, programming, and type systems, Formal Methods in Verification, semigroups and automata theory, Artificial Intelligence in Games, Computability, Logic, AI Algorithms

Most-Cited Works

• → On Classes of Program Schemata(1972)84 cited
• → Program Schemes with Pushdown Stores(1972)33 cited