FIXPOINT APPROACH TO THE THEORY OF COMPUTATIONMANNA Z; VUILLEMIN J.1972; COMMUNIC. A.C.M.; U.S.A.; DA. 1972; VOL. 15; NO 7; PP. 528-536; BIBL. 28 REF.Serial Issue

COMPUTATION OF RECURSIVE PROGRAMS. THEORY VS PRACTICEMANNA Z.1972; IN: AM. FED. INF. PROCESS. SOC. SPRING JT COMPUT. CONF. ATLANTIC CITY, N.J. 1972. PROC.; MONTVALE, N.J.; AFIPS PRESS.; DA. 1972; PP. 219-223; BIBL. 10 REF.Conference Proceedings

EFFICIENT COMPILATION OF LINEAR RECURSIVE PROGRAMS.CHANDRA AK.1973; IN: ANNU. SYMP. SWITCHING AUTOM. THEORY. 14; IOWA CITY; 1973; NORTHRIDGE; INST. ELECTR. ELECTRON. ENG. INC.; DA. 1973; PP. 16-25; BIBL. 12 REF.Conference Paper

SOME TRANSFORMATIONS FOR DEVELOPING RECURSIVE PROGRAMS.BURSTALL RM; DARLINGTON J.sdIN: INT. CONF RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 465-472; BIBL. 10 REF.Conference Paper

ON THE COMPLETENESS OF THE INDUCTIVE ASSERTION METHOD.DE BAKKER JW; MEERTENS LGLT.1975; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1975; VOL. 11; NO 3; PP. 323-357; BIBL. 19 REF.Article

On context-free treesCAZANESCU, V. E.Theoretical computer science. 1985, Vol 41, Num 1, pp 33-50, issn 0304-3975Article

ON THE COMPLEXITY OF SOME PROBLEMS CONCERNING THE USE OF PROCEDURES. IWINKLMANN K.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 18; NO 3; PP. 299-318; BIBL. 15 REF.Article

ATTRIBUTE GRAMMARS AND RECURSIVE PROGRAM SCHEMESCOURCELLE B; FRANCHI ZANNETTACCI P.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 17; NO 2; PP. 163-191; BIBL. 26 REF.Article

CORRECT COMPUTATION RULES FOR RECURSIVE LANGUAGES.DOWNEY PJ; RAVI SETHI.1976; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1976; VOL. 5; NO 3; PP. 378-401; BIBL. 23 REF.Article

SOME CRITICISMS REGARDING THE ARTICLE "A RECURSIVE ALGORITHM FOR THE OPTIMAL CONVERSION OF DECISION TABLES"REINWALD L.1980; ANGEW. INFORM.; ISSN 0013-5704; DEU; DA. 1980; VOL. 22; NO 9; PP. 355-356; BIBL. 2 REF.Article

CALL BY NEED COMPUTATIONS IN NON-AMBIGUOUS LINEAR TERM REWRITING SYSTEMSHUET G; LEVY JJ.1979; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FRA; DA. 1979; NO 359; 55 P.; ABS. FRE; BIBL. 31 REF.Serial Issue

CONVERTING A CLASS OF RECURSIVE PROCEDURES INTO NON-RECURSIVE ONES.ROHL JS.1977; SOFTWARE-PRACT. EXPER.; G.B.; DA. 1977; VOL. 7; NO 2; PP. 231-238; BIBL. 2 REF.Article

TRANSLATING SOME RECURSIVE PROCEDURES INTO ITERATIVE SCHEMAS.IRLIK J.1977; IN: PROGRAMMATION. INT. SYMP. PROGRAM. 2. PROC.; PARIS; 1976; PARIS; DUNOD; DA. 1977; PP. 39-52; BIBL. 4 REF.Conference Paper

COMPUTER SOFTWARE. PROGRAM PERFORMANCE1972; IN: INF. PROCESS. PROC. IFIP CONGR. LJUBLJANA, YUGOSL., 1971; AMSTERDAM; NORTH-HOLLAND; DA. 1972; VOL. 1; PP. 314-334; BIBL. DISSEM.Conference Proceedings

POINTS RECURRING: THE HISTORY OF A RAILWAY PROBLEMSTONE RG.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 9; PP. 88-94; BIBL. 5 REF.Article

UNFOLD/FOLD PROGRAM TRANSFORMATIONS = TRANSFORMATIONS DE PROGRAMME PAR PLIAGE/DEPLIAGEKOTT LAURENT.1982; ; FRA; DA. 1982; INRIA/RR-155; 28 P.; 30 CM; ABS. FRE; BIBL. 25 REF.;[RAPP. RECH.-I.N.R.I.A.; ISSN 0249-6399; NO 155]Report

MODIFIED PETRI NETS AS FLOWCHARTS FOR RECURSIVE PROGRAMSWENDT S.1980; SOFTWARE-PRACT. EXPER.; GBR; DA. 1980; VOL. 10; NO 11; PP. 935-942; BIBL. 2 REF.Article

A SYSTEM FOR PROVING EQUIVALENCES OF RECURSIVE PROGRAMSKOTT L.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 87; PP. 63-69; BIBL. 17 REF.Conference Paper

ON THE SPACE COMPLEXITY OF RECURSIVE ALGORITHMSGURARI EM; IBARRA OH.1979; INFORM. PROCESSG LETTERS; NLD; DA. 1979; VOL. 8; NO 5; PP. 267-271; BIBL. 5 REF.Article

A DEDUCTIVE APPROACH TO PROGRAM SYNTHESISMANNA Z; WALDINGER R.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.1.: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 542-551; BIBL. 11 REF.Conference Paper

THE OPTIMAL APPROACH TO RECURSIVE PROGRAMS.MANNA Z; SHAMIR A.1977; COMMUNIC. A.C.M.; U.S.A.; DA. 1977; VOL. 20; NO 11; PP. 824-831; BIBL. 5 REF.Article

THE MC CARTHY'S RECURSION INDUCTION PRINCIPLE: "OLDY" BUT "GOODY"KOTT L.1982; CALCOLO; ISSN 0008-0624; ITA; DA. 1982; VOL. 19; NO 1; PP. 59-69; BIBL. 10 REF.Article

THE DYNAMIC SIMULATION OF RECURSIVE AND STACK MANIPULATING PROGRAMSRYTTER W.1981; INF. PROCESS. LETT.; ISSN 0020-0190; NLD; DA. 1981; VOL. 13; NO 2; PP. 58-63; BIBL. 8 REF.Article

OPERATIONAL AND SEMANTIC EQUIVALENCE RECURSIVE PROGRAMSRAOULT JC; VUILLEMIN J.1980; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1980; VOL. 27; NO 4; PP. 772-796; BIBL. 25 REF.Article

CALCUL DES PROGRAMMES RECURSIFSRACHANSKI V.1979; DOKL. AKAD. NAUK UKR. SSR, SER. A; ISSN 0201-8446; UKR; DA. 1979; NO 10; PP. 853-855; ABS. ENG; BIBL. 2 REF.Article