Gregory S. Tseytin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1999

4 Gregory S. Tseytin: A Formalization of Reasoning not Derived from Standard Predicate Logic. Theor. Comput. Sci. 224(1-2): 291-317 (1999)

1997

3 Gregory S. Tseytin: Association Nets: an Alternative Formalization of Common Thinking. LFCS 1997: 385-398

1979

2 Gregory S. Tseytin: From logicism of proceduralsm (an autobiographical account). Algorithms in Modern Mathematics and Computer Science 1979: 390-396

1972

1 Gregory S. Tseytin: Some feature of a language for a proof- checking programming system. International Sympoisum on Theoretical Programming 1972: 394-407

	1999
4		Gregory S. Tseytin: A Formalization of Reasoning not Derived from Standard Predicate Logic. Theor. Comput. Sci. 224(1-2): 291-317 (1999)
	1997
3		Gregory S. Tseytin: Association Nets: an Alternative Formalization of Common Thinking. LFCS 1997: 385-398
	1979
2		Gregory S. Tseytin: From logicism of proceduralsm (an autobiographical account). Algorithms in Modern Mathematics and Computer Science 1979: 390-396
	1972
1		Gregory S. Tseytin: Some feature of a language for a proof- checking programming system. International Sympoisum on Theoretical Programming 1972: 394-407