Index of /~roman/doc/Turchin

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[IMG]1968-Florencev_Olyunin_Turchin--Refal-interpretator.djvu04-Apr-2011 22:09 1.0M 
[ ]1968-Florencev_Olyunin_Turchin--Refal-interpretator.pdf04-Apr-2011 22:08 1.1M 
[IMG]1968-Turchin--Metaalgoritmicheskij_yazyk--ru.djvu28-Mar-2011 00:39 521K 
[ ]1968-Turchin--Metaalgoritmicheskij_yazyk--ru.pdf28-Mar-2011 00:35 694K 
[IMG]1968-Turchin--Translyator_s_Algola_napisannyj_na_yazyke_Refal.djvu04-Apr-2011 22:19 765K 
[ ]1968-Turchin--Translyator_s_Algola_napisannyj_na_yazyke_Refal.pdf04-Apr-2011 22:17 837K 
[IMG]1969-Florencev_Olyunin_Turchin--Ehffektivnyj_interpretator_dlya_yazyka__REFAL_.djvu07-May-2011 17:01 3.7M 
[ ]1969-Florencev_Olyunin_Turchin--Ehffektivnyj_interpretator_dlya_yazyka__REFAL_.pdf07-May-2011 16:55 4.0M 
[IMG]1969-Turchin_Serdobol'skij--Yazyk_Refal_i_ego_ispol'zovanie_dlya_preobrazovaniya_algebraicheskix_vyrazhenij.djvu29-Apr-2011 03:37 231K 
[ ]1969-Turchin_Serdobol'skij--Yazyk_Refal_i_ego_ispol'zovanie_dlya_preobrazovaniya_algebraicheskix_vyrazhenij.pdf29-Apr-2011 03:34 375K 
[IMG]1971-Turchin--Programmirovanie_na_yazyke_refal_1_Neformal'noe_vvedenie_v_programmirovanie_na_yazyke_refal.djvu17-Mar-2011 16:41 1.4M 
[ ]1971-Turchin--Programmirovanie_na_yazyke_refal_1_Neformal'noe_vvedenie_v_programmirovanie_na_yazyke_refal.pdf17-Mar-2011 16:27 1.8M 
[IMG]1971-Turchin--Programmirovanie_na_yazyke_refal_2_Formal'noe_opisanie_i_principy_realizacii_refala.djvu17-Mar-2011 18:21 1.6M 
[ ]1971-Turchin--Programmirovanie_na_yazyke_refal_2_Formal'noe_opisanie_i_principy_realizacii_refala.pdf17-Mar-2011 18:17 2.0M 
[IMG]1971-Turchin--Programmirovanie_na_yazyke_refal_3_Programmirovanie_na_bazisnom_refale.djvu17-Mar-2011 20:51 1.4M 
[ ]1971-Turchin--Programmirovanie_na_yazyke_refal_3_Programmirovanie_na_bazisnom_refale.pdf17-Mar-2011 20:47 1.8M 
[IMG]1971-Turchin--Programmirovanie_na_yazyke_refal_4_Ispol'zovanie_rekursivnyx_peremennyx_v_yazyke_refal.djvu17-Mar-2011 22:00 1.1M 
[ ]1971-Turchin--Programmirovanie_na_yazyke_refal_4_Ispol'zovanie_rekursivnyx_peremennyx_v_yazyke_refal.pdf17-Mar-2011 21:56 1.4M 
[IMG]1971-Turchin--Programmirovanie_na_yazyke_refal_5_Ispol'zovanie_metafunkcij_v_yazyke_refal.djvu18-Mar-2011 00:01 1.2M 
[ ]1971-Turchin--Programmirovanie_na_yazyke_refal_5_Ispol'zovanie_metafunkcij_v_yazyke_refal.pdf17-Mar-2011 23:58 1.5M 
[IMG]1972-Turchin--E'kvivalentnye_preobrazovaniya_rekursivnyx_funkcij__opisannyx_na_yazyke_Refal--facsimile--ru.djvu28-Mar-2011 01:39 516K 
[ ]1972-Turchin--E'kvivalentnye_preobrazovaniya_rekursivnyx_funkcij__opisannyx_na_yazyke_Refal--facsimile--ru.pdf28-Mar-2011 01:36 471K 
[IMG]1972-Turchin--E'kvivalentnye_preobrazovaniya_rekursivnyx_funkcij__opisannyx_na_yazyke_Refal--ru.djvu29-Mar-2011 23:08 98K 
[ ]1972-Turchin--E'kvivalentnye_preobrazovaniya_rekursivnyx_funkcij__opisannyx_na_yazyke_Refal--ru.pdf29-Mar-2011 23:04 300K 
[IMG]1974-Fisun--REFAL__opisanie_yazyka_i_instrukciya_dlya_REFAL-interpretatora.djvu17-Jun-2011 21:04 1.3M 
[ ]1974-Fisun--REFAL__opisanie_yazyka_i_instrukciya_dlya_REFAL-interpretatora.pdf17-Jun-2011 21:01 1.4M 
[IMG]1974-Turchin--E'kvivalentnye_preobrazovaniya_programm_na_Refale--CNIPIASS--ru.djvu30-Mar-2011 19:48 1.2M 
[ ]1974-Turchin--E'kvivalentnye_preobrazovaniya_programm_na_Refale--CNIPIASS--ru.pdf30-Mar-2011 19:43 1.9M 
[IMG]1975-Turchin--Refal-makrokod.djvu07-Apr-2011 19:31 669K 
[ ]1975-Turchin--Refal-makrokod.pdf07-Apr-2011 18:00 742K 
[IMG]1975-Zadykhailo__--Vychislitel'naya_sistema_s_vnutrennim_yazykom_povyshennogo_urovnya.djvu07-Jun-2011 18:46 1.9M 
[ ]1975-Zadykhailo__--Vychislitel'naya_sistema_s_vnutrennim_yazykom_povyshennogo_urovnya.pdf07-Jun-2011 18:42 2.2M 
[IMG]1977-CNIPIASS--Spravka_ob_avtorstve_S_A_Romanenko.djvu02-Apr-2011 18:25 65K 
[ ]1977-CNIPIASS--Spravka_ob_avtorstve_S_A_Romanenko.pdf02-Apr-2011 18:23 81K 
[IMG]1977-Turchin--Bazisnyj_Refal_i_ego_realizacija_na_vychislitel'nyx_mashinax--CNIPIASS--ru--pp92-95.djvu05-Apr-2011 18:41 310K 
[ ]1977-Turchin--Bazisnyj_Refal_i_ego_realizacija_na_vychislitel'nyx_mashinax--CNIPIASS--ru--pp92-95.pdf05-Apr-2011 18:40 613K 
[IMG]1977-Yanov--Metod_svertok_dlya_razresheniya_svojstv_formal'nyx_sistem.djvu05-Jul-2011 23:35 1.6M 
[ ]1977-Yanov--Metod_svertok_dlya_razresheniya_svojstv_formal'nyx_sistem.pdf05-Jul-2011 23:31 1.7M 
[IMG]1978-Yanov--Neskol'ko_teorem_o_svertkax.djvu16-Jul-2011 23:37 2.7M 
[ ]1978-Yanov--Neskol'ko_teorem_o_svertkax.pdf16-Jul-2011 23:28 2.9M 
[IMG]1980-Turchin--The_Language_REFAL--The_Theory_of_Compilation_and_Metasystem_Analysis.djvu02-Apr-2011 16:35 3.4M 
[ ]1980-Turchin--The_Language_REFAL--The_Theory_of_Compilation_and_Metasystem_Analysis.pdf02-Apr-2011 16:34 13M 
[IMG]1980-Turchin--The_use_of_metasystem_transition_in_theorem_proving_and_program_optimization.djvu15-May-2011 19:15 274K 
[ ]1980-Turchin--The_use_of_metasystem_transition_in_theorem_proving_and_program_optimization.pdf15-May-2011 19:10 415K 
[IMG]1984-Gurin--Metod_optimizacii_programm_obrabotki_spiskov.djvu12-Jul-2011 00:03 516K 
[ ]1984-Gurin--Metod_optimizacii_programm_obrabotki_spiskov.pdf12-Jul-2011 00:00 578K 
[IMG]1987-Kistlerov--Principy_postroeniya_yazyka_algebraicheskix_vychislenij_FLAC.djvu03-Jul-2011 15:17 1.7M 
[ ]1987-Kistlerov--Principy_postroeniya_yazyka_algebraicheskix_vychislenij_FLAC.pdf03-Jul-2011 15:14 1.8M 
[IMG]1987-Mansurov_Eisymont--Realizaciya_rasshirennogo_yazyka_Refal_na_odnosvyaznyx_spiskax.djvu02-Jun-2011 01:41 1.2M 
[ ]1987-Mansurov_Eisymont--Realizaciya_rasshirennogo_yazyka_Refal_na_odnosvyaznyx_spiskax.pdf02-Jun-2011 01:38 1.5M 
[IMG]1988-Abramov--Metavychisleniya_i_logicheskoe_programmirovanie.djvu30-Sep-2011 16:02 244K 
[ ]1988-Abramov--Metavychisleniya_i_logicheskoe_programmirovanie.pdf30-Sep-2011 15:19 287K 
[IMG]1988-Kistlerov--Intensional'naya_interpretaciya_tipov_dannyx_v_modeli_vychislenij_yazyka_FLAC.djvu30-Sep-2011 16:07 185K 
[ ]1988-Kistlerov--Intensional'naya_interpretaciya_tipov_dannyx_v_modeli_vychislenij_yazyka_FLAC.pdf30-Sep-2011 15:33 229K 
[IMG]1988-Klimov--Ob''ektno-funkcional'naya_model'_vychislenij.djvu30-Sep-2011 16:09 294K 
[ ]1988-Klimov--Ob''ektno-funkcional'naya_model'_vychislenij.pdf30-Sep-2011 15:02 347K 
[IMG]1988-Klimov--Ob_odnom_metode_polucheniya_bystrodejstvuyushhix_parallel'nyx_algoritmov.djvu30-Sep-2011 16:10 205K 
[ ]1988-Klimov--Ob_odnom_metode_polucheniya_bystrodejstvuyushhix_parallel'nyx_algoritmov.pdf30-Sep-2011 15:15 249K 
[IMG]1988-Romanenko--Postroenie_obratnyx_funkcij.djvu30-Sep-2011 16:14 277K 
[ ]1988-Romanenko--Postroenie_obratnyx_funkcij.pdf30-Sep-2011 15:09 333K 
[IMG]1988-Turchin--The_Algorithm_of_Generalization_in_the_Supercompiler.djvu14-May-2011 22:19 356K 
[ ]1988-Turchin--The_Algorithm_of_Generalization_in_the_Supercompiler.pdf20-Mar-2011 01:27 422K 
[IMG]1990-Turchin--The_Basics_of_Metacomputation--Obninsk_ch3.djvu02-Apr-2011 17:28 1.3M 
[ ]1990-Turchin--The_Basics_of_Metacomputation--Obninsk_ch3.pdf02-Apr-2011 17:23 3.8M 
[IMG]1990-Turchin--The_Supercompiler--Obninsk_ch6.djvu02-Apr-2011 18:02 1.1M 
[ ]1990-Turchin--The_Supercompiler--Obninsk_ch6.pdf02-Apr-2011 17:59 2.9M 
[IMG]1995-Turchin_Nemytykh--Metavariables_their_Implementation_and_Use_in_Program_Transformation.djvu14-May-2011 22:13 1.7M 
[ ]1995-Turchin_Nemytykh--Metavariables_their_Implementation_and_Use_in_Program_Transformation.pdf07-May-2011 17:09 2.8M 
[ ]1996-Soerensen--Turchin's_Supercompiler_Revisited--An_operational_theory_of_positive_information_propagation.pdf28-Mar-2011 00:07 1.5M 
[IMG]1996-Turchin--On_generalization_of_lists_and_strings_in_supercompilation.djvu14-May-2011 23:22 364K 
[ ]1996-Turchin--On_generalization_of_lists_and_strings_in_supercompilation.pdf14-May-2011 23:28 469K 
[ ]1999-Turchin--A_Dialogue_on_Metasystem_Transition.pdf07-May-2011 17:47 341K 
[TXT]index_Turchin.html30-Sep-2011 16:49 20K 
Apache/2.2.22 (Debian) Server at www.xoft.ru Port 80