Login / Signup
Gregory S. Tseytin
Publication Activity (10 Years)
Years Active: 1972-1999
Publications (10 Years): 0
</>
Publications
</>
Gregory S. Tseytin
A Formalization of Reasoning not Derived from Standard Predicate Logic.
Theor. Comput. Sci.
224 (1-2) (1999)
Gregory S. Tseytin
Association Nets: an Alternative Formalization of Common Thinking.
LFCS
(1997)
Gregory S. Tseytin
From logicism of proceduralsm (an autobiographical account).
Algorithms in Modern Mathematics and Computer Science
(1979)
Gregory S. Tseytin
Some feature of a language for a proof- checking programming system.
International Sympoisum on Theoretical Programming
(1972)