论文信息 - The inverse semigroup of a sum-ordered semiring - 字舞流文

The inverse semigroup of a sum-ordered semiring

D. B. Benson | Ernie Manes

[1] E. Manes. A class of fuzzy theories , 1982 .

[2] Michael A. Arbib,et al. The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions , 1982, JACM.

[3] J. Howie. An introduction to semigroup theory , 1976 .

[4] M. Arbib,et al. Partially additive categories and flow-diagram semantics☆ , 1980 .

[5] David B. Benson. Counting Paths: Nondeterminism as Linear Algebra , 1984, IEEE Transactions on Software Engineering.

[6] Amenably ordered inverse semigroups , 1980 .

[7] Michael A. Arbib,et al. Algebraic Approaches to Program Semantics , 1986, Texts and Monographs in Computer Science.

[8] John W. Backus,et al. Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[9] Dana S. Scott,et al. The lattice of flow diagrams , 1971, Symposium on Semantics of Algorithmic Languages.

[10] Samuel Eilenberg,et al. Automata, languages, and machines. A , 1974, Pure and applied mathematics.