Semantics of flowchart programs and the free Conway theories

FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

F. William Lawvere · Proceedings of the National Academy of Sciences · 1963 · 1.1K citations · Full text

Automated Reasoning, Higher Category Theory, Algebraic Semantics +4

Introduction to the Theory of Complexity.

V. J. Rayward‐Smith, Daniel P. Bovet, Pierluigi Crescenzi · Journal of the Operational Research Society · 1995 · 248 citations

Complete systems ofB-rational identities

Daniel Krob · Theoretical Computer Science · 1991 · 136 citations

Real Algebraic Geometry, Algebraic Logic, Geometry Of Number

Finite-automaton aperiodicity is PSPACE-complete

Sang Cho, Dung T. Huynh · Theoretical Computer Science · 1991 · 81 citations

Automated Reasoning, Finite-automaton Aperiodicity, Automaton Operation +2

Group Axioms for Iteration

Zoltán Ésik · Information and Computation · 1999 · 67 citations

Group Structure, Group Dynamic, Group Axioms +1