Semantics of order-sorted specifications

Initial Algebra Semantics and Continuous Algebras

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

Abstract Algebra, Engineering, Well-founded Semantics +18

Complexity of automaton identification from given data

Eric Gold · Information and Control · 1978 · 763 citations

Engineering, Automaton Identification, Data Mining +9

Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations

Joseph A. Goguen, José Meseguer · Theoretical Computer Science · 1992 · 461 citations

Order Theory, Algebraic Logic, Abstract Algebra +6

Completion of a Set of Rules Modulo a Set of Equations

Jean-Pierre Jouannaud · SIAM Journal on Computing · 1986 · 372 citations

Completeness of many-sorted equational logic

Joseph A. Goguen, José Meseguer · ACM SIGPLAN Notices · 1981 · 212 citations

Engineering, Automated Reasoning, Multi-sorted Logic +12