Zap. Nauchn. Sem. LOMI, 1975, Volume 49

Zapiski Nauchnykh Seminarov LOMI

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

1975, Volume 49

Contents

Theoretical application of methods of mathematical logic. Part I

	On the expressive power of the operations of bounded summation and bounded multiplication N. K. Kossovski		3–6
	The mutation-calculuses S. Yu. Maslov		7–30
	On metamathematical approach to proving theorems of discrete mathematics Yu. V. Matiyasevich		31–50
	Finite investigation of infinite derivations G. E. Mints		51–66
	Finite investigation of infinite derivations G. E. Mints		67–122
	Finite approach to the problem of optimization of theorem-proving algorithms A. O. Slisenko		123–130
	Finite approximation approach to investigation of the complexity of recursive predicates R. I. Freidson		131–158
	On some postulates of general taxonomy A. A. Lubischev		159–175