Concepedia

A uniform approach to inductive posets and inductive closure

Jesse B. Wright, Eric G. Wagner, J. W. Thatcher

Theoretical Computer Science · 1978 · 103 citations · 6 references

DOI

Concepts

References

6

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

, , +12

Varieties of ordered algebras

Stephen L. Bloom · Journal of Computer and System Sciences · 1976 · 178 citations

, , +5

Algebraic families of interpretations

Bruno Courcelle, Maurice Nivat · 1976 · 92 citations · Full text

, , +9

Bases for Chain-complete Posets

George Markowsky, Barry K. Rosen · IBM Journal of Research and Development · 1976 · 56 citations

, , +12

Computability concepts for programming language semantics

Herbert Egli, Robert L. Constable · Theoretical Computer Science · 1976 · 52 citations

, , +13