Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("SYSTEME OL")

Results 1 to 12 of 12

  • Page / 1
Export

Selection :

  • and

DIRECT PROOFS OF THE UNDECIDABILITY OF THE EQUIVALENCE PROBLEM FOR SENTENTIAL FORMS OF LINEAR CONTEXT-FREE GRAMMARS AND THE EQUIVALENCE PROBLEM FOR OL SYSTEMSROZENBERG G.1972; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1972; VOL. 1; NO 6; PP. 233-235; BIBL. 6 REF.Serial Issue

L HOMOMORPHISMS AND REDUCTIONS OF OL SYSTEMSLANGE KJ.1982; INT. J. COMPUT. MATH.; ISSN 0020-7160; GBR; DA. 1982; VOL. 11; NO 3-4; PP. 197-205; BIBL. 6 REF.Article

STOCHASTIC CHARACTERIZATIONS OF EOL LANGUAGESYOKOMORI T.1980; INFORM. AND CONTROL; USA; DA. 1980; VOL. 45; NO 1; PP. 26-33; BIBL. 14 REF.Article

EOL FORMS AND FINITE SUBSTITUTIONS OF OL FORMSROZENBERG G; VERRAEDT R.1981; INT. J. COMPUT. MATH.; ISSN 0020-7160; GBR; DA. 1981; VOL. 10; NO 1; PP. 17-33; BIBL. 7 REF.Article

CONTEXT-FREE AND STATIONARY LANGUAGESTHIERRIN G.1979; INTERNATION. J. COMPUTER MATH.; USA; DA. 1979; VOL. 7; NO 4; PP. 297-301; BIBL. 4 REF.Article

A MATHEMATICAL INVESTIGATION OF PROPAGATING GRAPH OL SYSTEMSCULIK K II; WOOD D.1979; INFORM. AND CONTROL; USA; DA. 1979; VOL. 43; NO 1; PP. 50-82; BIBL. 2 P.Article

CODETERMINISTIC LINDENMAYER SCHEMES AND SYSTEMSHEAD T.1979; J. COMPUTER SYST. SCI.; USA; DA. 1979; VOL. 19; NO 2; PP. 203-210; BIBL. 13 REF.Article

A NOTE ON CONNECTIONS BETWEEN OL-LANGUAGES AND CONTEXT-FREE LANGUAGESPIK J.1979; KYBERNETIKA; CSK; DA. 1979; VOL. 15; NO 2; PP. 136-140; BIBL. 5 REF.Article

(G0, G1,..., GK)-TREES AND UNARY OL SYSTEMSLEE DT; LIU CL; WONG CK et al.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 22; NO 1; PP. 209-217; BIBL. 9 REF.Article

EOL SYSTEMS WITH CONTROL DEVICES.NIELSEN M.1975; ACTA INFORMAT.; DTSCH.; DA. 1975; VOL. 4; NO 4; PP. 373-376; BIBL. 7 REF.Article

A FIXED-POINT THEOREM FOR RECURSIVE-ENUMERABLE LANGUAGES AND SOME CONSIDERATIONS ABOUT FIXED-POINT SEMANTICS OF MONADIC PROGRAMSISTRAIL S.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 289-303; BIBL. 7 REF.Conference Paper

A Saturated Light Correction Method for DMSP/OLS Nighttime Satellite Imagery : SPACE TECHNOLOGYLETU, Husi; HARA, Masanao; TANA, Gegen et al.IEEE transactions on geoscience and remote sensing. 2012, Vol 50, Num 2, pp 389-396, issn 0196-2892, 8 p.Article

  • Page / 1