Archive
All-Union Conferences, Seminars, Symposiums, Schools
All-Union School on Mixed Computation
Papers
Paper
Paper
"Proof transformations as program transformations" (the 2nd variant)

Original document language: russian
Authors: Nikolai N. Nepeivoda

Images of pages:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
21 22 23 24 25 26 27 28 29 30 31 32 33 34 35


Back
Next document (Paper)
Previous document (Paper)

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016