Zap. Nauchn. Sem. LOMI, 1979, Volume 88

Zapiski Nauchnykh Seminarov LOMI

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

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

	General information
	Latest issue
	Archive
	Impact factor

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Zap. Nauchn. Sem. POMI:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

1979, Volume 88

General information

Contents

Studies in constructive mathematics and mathematical logic. Part VIII

	A coherence theorem for canonical morphisms in cartesian closed categories A. A. Babaev, S. V. Solov'ev	3–29
	A machine description and a hierarchy of initial Grzegorczyk's classes A. P. Beltiukov	30–46
	Time bounds of multidimensional Turing machines D. Yu. Grigor'ev	47–55
	Two reductions of graph isomorphism to problems for polynomials D. Yu. Grigor'ev	56–61
	Theorems on the time hierarchy for random access machines A. G. Ivanov	62–72
	On decision procedures for invariant properties of short algorithms N. K. Kossovski	73–77
	A diophantine representation of perfect numbers V. A. Kriaučiukas	78–89
	Calculuses with monotone deductions and their economic interpretation S. Yu. Maslov	90–105
	A new reduction sequence for arithmetic G. E. Mints	106–130
	A primitive recursive bound of strong normalization for predicate calculus G. E. Mints	131–136
	Lower bounds for lengthening of proofs after cut-elimination V. P. Orevkov	137–162
	Three ways of recognizing essential formulas in sequents V. P. Orevkov	163–175
	Machine-independent description of some machine complexity classes S. V. Pakhomov	176–185
	Positive rudimentarity of the graphs of the Ackermann's and Grzegorczyk's functions A. V. Proskurin	186–191
	A growth of length of $\mathrm L$-derivationtrans formed into natural deduction S. V. Solov'ev	192–196
	Preservation of the equivalence of proofs under reduction of the formula depth S. V. Solov'ev	197–208
	Representation of proof s' by coloured graphs and Hadwiger hypothesis P. Yu. Suvorov	209–217
	On canonical recursive functions and operations N. A. Shanin	218–235

Correction
	Corrections to the previous volumes	248–249

Registration to the website

Logotypes