Zobrazeno 1 - 10
of 59
pro vyhledávání: '"Calvin C. Elgot"'
Autor:
Calvin C. Elgot, Stephen L. Bloom
Cal Elgot was a very serious and thoughtful researcher, who with great determi nation attempted to find basic explanations for certain mathematical phenomena as the selection of papers in this volume well illustrate. His approach was, for the mos
Publikováno v:
SIAM Journal on Computing. 9:525-540
Publikováno v:
Information Processing Letters. 14:128-131
Autor:
Calvin C. Elgot, Lawrence Snyder
Publikováno v:
Theoretical Computer Science. 5:275-305
This is an in depth study of “list” in the sense of LISP. In particular, the notion is algebraicized.
Autor:
Calvin C. Elgot
Publikováno v:
Journal of Pure and Applied Algebra. 19:85-90
Autor:
Calvin C. Elgot, Abraham Robinson
Publikováno v:
Journal of the ACM. 11:365-399
A new class of machine models as a framework for the rational discussion of programming languages is introduced. In particular, a basis is provided for endowing programming languages with semantics. The notion of Random-Access Stored-Program Machine
Autor:
Calvin C. Elgot
Publikováno v:
Computing. 6:349-370
Autor:
Calvin C. Elgot
Publikováno v:
Transactions of the American Mathematical Society. 98:21-51
1. Motivation. Many variants of the notion of automaton have appeared in the literature. We find it convenient here to adopt the notion of E. F. Moore [7]. Inasmuch as Rabin-Scott [9] adopt this notion, too, it is convenient to refer to [9] for vario
Autor:
Calvin C. Elgot, Michael O. Rabin
Publikováno v:
Journal of Symbolic Logic. 31:169-181
We study certain first and second order theories which are semantically defined as the sets of all sentences true in certain given structures. Let be a structure where A is a non-empty set, λ is an ordinal, and Pα is an n(α)-ary relation or functi
Publikováno v:
Journal of the ACM. 5:181-196
In Representation of Events in Nerve Nets and Finite Automata [3], S. C. Kleene obtains a number of interesting results. The most important of these, his analysis and synthesis theorems (theorems 5 and 3), are obscured both by the complexity of his b