Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("LANGAGE FORMEL")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 2774

  • Page / 111
Export

Selection :

  • and

PROBABILITIES OVER RICH LANGUAGES, TESTING AND RANDOMNESSGAIFMAN H; SNIR M.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 3; PP. 495-548; BIBL. 21 REF.Article

BEMERKUNGEN ZU EINER KLASSE VON DURCH EINDIMENSIONALE ITERATIVE AUTOMATEN AKZEPTREITEN SPRACHEN = REMARQUES SUR UNE CLASSE DE LANGAGES ACCEPTES PAR DES AUTOMATES ITERATIFS UNIDIMENSIONNELSDO LONG VAN; VU DUY MAN.1978; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DDR; DA. 1978; VOL. 14; NO 10; PP. 507-517; ABS. ENG/RUS; BIBL. 6 REF.Article

PRINCIPES DE BASE D'UN LANGAGE DES CATEGORIES LOGIQUESKOZACHKOV LS.1977; NAUCH.-TEKH. INFORM., 2; S.S.S.R.; DA. 1977; NO 9; PP. 13-28; BIBL. 13 REF.Article

SUR UN CRITERE SUFFISANT DE NON-REPRESENTABILITE DES LANGAGES DANS LES AUTOMATES PROBABILISTES FINISAL'PIN YU A; BUKHARAEV RG.1975; DOKL. AKAD. NAUK S.S.S.R.; S.S.S.R.; DA. 1975; VOL. 223; NO 4; PP. 777-780; BIBL. 12 REF.Article

COMMENT ON THE PAPER "ERROR DETECTION IN FORMAL LANGUAGES". = COMMENTAIRES SUR L'ARTICLE: "DETECTION D'ERREURS DANS LES LANGAGES FORMELS"REVESZ G.1974; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1974; VOL. 8; NO 2; PP. 238-242; BIBL. 3 REF.Article

SIMILARITY IN DTOL AND RELATED PROBLEMS. = SIMILARITES ENTRE SYSTEMES DETERMINISTES DE LINDENMAYER SANS INFORMATION (DTOL), ET PROBLEMES CONNEXESPAZ A.1974; INTERNATION. J. SYST. SCI.; G.B.; DA. 1974; VOL. 5; NO 11; PP. 1055-1063; BIBL. 4 REF.Article

SUR LES LANGAGES K-DEFINIS ET K-REPRESENTES DANS UN AUTOMATETANDAREANU N.1974; STUD. CERC. MAT.; ROMAN.; DA. 1974; VOL. 26; NO 1; PP. 129-132; ABS. ANGL.; BIBL. 2 REF.Article

A NOTE ON THE RECURSIVE ENUMERABILITY OF SOME CLASSES OF RECURSIVELY ENUMERABLE LANGUAGES.VAN EMDE BOAS P; VITANYI PMB.1975; STIEHTG MATH. CENTRUM, INFORMAT.; NEDERL.; DA. 1975; NO 37; PP. 1-5; BIBL. 1 P.Article

NONTERMINALS VERSUS HOMOMORPHISMS IN DEFINING LANGUAGES FOR SOME CLASSES OF REWRITING SYSTEMS.EHRENFEUCHT A; ROZENBERG G.1974; ACTA INFORMAT.; ALLEM.; DA. 1974; VOL. 3; NO 3; PP. 265-283; BIBL. 19 REF.Article

THE EQUIVALENCE OF STACK-COUNTER ACCEPTORS AND QUASI-REAL TIME STACK-COUNTER ACCEPTORS. = EQUIVALENCE ENTRE LES ACCEPTEURS ANTI-PILES ET DES ACCEPTEURS ANTI-PILES EN TEMPS QUASI-REELGINSBURG S; ROSE GF.1974; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1974; VOL. 8; NO 2; PP. 243-269; BIBL. 11 REF.Article

SUR UNE CONJECTURE DE S. GREIBACH.BERSTEL J.1974; ACTA INFORMAT.; ALLEM.; DA. 1974; VOL. 3; NO 3; PP. 293-295; ABS. ANGLArticle

AN IMPROVED BOUND FOR DETECTING LOOPING CONFIGURATIONS IN DETERMINISTIC DPA'S.VAN LEEUWEN J; SMITH CH.1974; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1974; VOL. 3; NO 1; PP. 22-24; BIBL. 6 REF.Article

RECURSIVE ALGORITHMS AND FORMAL LANGUAGESMAZURKIEWICZ A.1972; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1972; VOL. 20; NO 9; PP. 799-803; ABS. RUSSE; BIBL. 4 REF.Serial Issue

EXPERIENCES LOGIQUES AVEC DES AUTOMATESTVERDOKHLEBOV VA.1972; AVTOMAT. I TELEMEKH.; S.S.S.R.; DA. 1972; NO 12; PP. 140-147; ABS. ANGL.; BIBL. 9 REF.Serial Issue

FORMAL LANGUAGES AND ENUMERATION. IIGOLDMAN JR.1979; ANN. NEW YORK ACAD. SCI.; USA; DA. 1979-05; VOL. 319; PP. 234-241; BIBL. 14 REF.Conference Paper

FORMAL LANGUAGES AND ENUMERATION.GOLDMAN JR.1978; J. COMBINATOR. THEORY, A; U.S.A.; DA. 1978; VOL. 24; NO 3; PP. 318-338; BIBL. 11 REF.Article

SUR LES DISTANCES CONTEXTUELLES DANS LA LINGUISTIQUE MATHEMATIQUECALUDE C.1976; STUD. CERC. MAT.; ROMAN.; DA. 1976; VOL. 28; NO 1; PP. 31-35; ABS. FR.; BIBL. 7 REF.Article

ON SYNTACTIC CONFIGURATIONS AND PSEUDOCONFIGURATIONS IN ALGEBRAIC LINGUISTICS.SEMENIUK POLKOWSKA M.1975; REV. ROUMAINE MATH. PURES APPL.; ROUMAN.; DA. 1975; VOL. 20; NO 4; PP. 475-492; BIBL. 7 REF.Article

LA DOMINATION KUNZE-FRANCLOVA ET LES OPERATEURS DE FERMETURE DANS LA LINGUISTIQUE ALGEBRIQUECAZIMIR B.1975; STUD. CERC. MAT.; ROMAN.; DA. 1975; VOL. 27; NO 1; PP. 3-18; ABS. FR.; BIBL. 15 REF.Article

OPERATION DE QUASI-RECURSION ET PROBLEME D'ANALYSE SYNTAXIQUEPROTSENKO VS.1975; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1975; NO 1; PP. 94-96; BIBL. 13 REF.Article

COMPLETE CHARACTERIZATION OF CONTEXT-SENSITIVE LANGUAGES. = CARACTERISATION COMPLETE DES LANGUAGES "CONTEXT-SENSITIVE"NOVOTNY M.1974; KYBERNETIKA; CESKOSL.; DA. 1974; VOL. 10; NO 2; PP. 73-79; BIBL. 6 REF.Article

ON INTERSECTIONS OF CONTEXT-FREE LANGUAGES.CISLARU C.1974; REV. ROUMAINE MATH. PURES APPL.; ROUMAN.; DA. 1974; VOL. 19; NO 6; PP. 755-760; BIBL. 5 REF.Article

ON REGULAR SEPARATION OF LANGUAGES.ARIKAWA S.1974; BULL. MATH. STATIST.; JAP.; DA. 1974; VOL. 16; NO 1-2; PP. 83-94; BIBL. 3 REF.Article

POWER-SEPARATING REGULAR LANGUAGES. = LANGAGES REGULIERS A SEPARATION DE PUISSANCESSHYR HJ; THIERRIN G.1974; MATH. SYST. THEORY; U.S.A.; DA. 1974; VOL. 8; NO 1; PP. 90-95; BIBL. 10 REF.Article

CONSTRUCTION D'UN LANGAGE FORMEL PRATIQUE POUR L'ECRITURE DES THEORIES MATHEMATIQUESGLUSHKOV VM; KAPITONOVA YU V; LETICHEVSKIJ AA et al.1972; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1972; NO 5; PP. 19-28; BIBL. 2 REF.Serial Issue

  • Page / 111