of all participants of Urgench Symposium (in Russian and in English)

on the paper by A.V. Anisimov "Church-Rosser reducers and decidable tree processing properties"

on the E.Tyugu's paper "Structural Program Synthesis"

on the paper by N. Nepeivoda "Logical approach to programming"

to the paper "Church-Rosser reducers and decidable tree processing properties"

Permission for publication of the paper by E. Tyugu

Permission for the publication of the paper by A.V. Anisimov

to some of the Urgench papers

to the Soviet part of "Urgench'79 Papers"

to the paper by N. Nepeivoda

to the Soviet part of "Urgench'79 Papers"

to the Department of State Secrets Protection - informs of sending the papers of the Soviet authors to the "Springer-Verlag" for publication

informing of sending the papers of the Soviet authors to the "Springer-Verlag" for publication

of papers by the Soviet authors to be published in "Urgench'79" collection

about the authors of the papers to be published in the "Urgench'79 Papers" collection

Preparation progress notes of the papers for the collection.

of the letter to the Soviet authors concerning publication of their papers

Suggestion to write a protocol report on the Urgench Symposium for "Scientific and Technical Information" journal

Acknowledgement of the receipt of the paper

Notification of sending the paper