COMPLETE REGISTER ALLOCATION PROBLEMS.RAVI SETHI.1975; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1975; VOL. 4; NO 3; PP. 226-248; BIBL. 12 REF.Article

COMPLETUDE DES LOGIQUES MODALES DE LARGEUR PREFINIERYBAKOV VV.1982; MAT. ZAMET.; ISSN 507075; SUN; DA. 1982; VOL. 32; NO 2; PP. 223-228; BIBL. 7 REF.Article

COMPLETUDE SPECIALE DE QUELQUES LANGAGES DES LOGIQUES K-VALENTESMOSHCHENSKIJ VA.1981; METODY DISKRETN. ANAL.; SUN; DA. 1981; NO 36; PP. 39-45; BIBL. 2 REF.Article

ON THE STRONG SEMANTICAL COMPLETENESS OF ANY EXTENSION OF THE INTUITIONISTIC PREDICATE CALCULUS.RAUSZER C.1976; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1976; VOL. 24; NO 2; PP. 81-87; ABS. RUSSE; BIBL. 3 REF.Article

PRAEVOLLSTAENDIGE KLASSEN VON P_K,L. = CLASSES PRECOMPLETES DE P^K,L))LAU D.1975; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1975; VOL. 11; NO 10-12; PP. 624-626; BIBL. 3 REF.; (INT. SYMP. DISKRETE MATH. ANWEND. MATH. KYBERN.; BERLIN; 1974). RESUMEConference Paper

NORMED LINEAR SPACESDAY MM.1973; ERGEBN. MATH. GRENZGEB.; DTSCH.; DA. 1973; VOL. 21; PP. (219 P.); BIBL. 13 P.Serial Issue

WHICH NUMBER THEORETIC PROBLEMS CAN BE SOLVED IN RECURSIVE PROGRESSIONS ON PI ₁¹-PATHS THROUGH 0KREISEL G.1972; J. SYMBOL. LOGIC; U.S.A.; DA. 1972; VOL. 37; NO 2; PP. 311-334; BIBL. 13 REF.Serial Issue

CONDITIONS DE COMPLETUDE DES SYSTEMES D'AUTOMATES DE MOORE FAIBLEMENT INITIAUXDONIS AA.1972; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1972; NO 3; PP. 36-53; ABS. ANGL.; BIBL. 10 REF.Serial Issue

METHODE INVERSE ET TACTIQUES D'ETABLISSEMENT DE LA DEDUCTIBILITE POUR UN CALCUL COMPORTANT DES SIGNES FONCTIONNELSMASLOV S YU.1972; TRUDY MAT. INST. V.A. STEKLOVA, MOSKVA; S.S.S.R.; DA. 1972; VOL. 121; PP. 14-56; BIBL. 24 REF.Serial Issue

REMARQUES SUR UNE CLASSE DE FONCTIONS PARTIELLES D'UNE LOGIQUE A VALEURS DENOMBRABLESSOKOLOV VA.1971; DISKRETN. ANAL.; S.S.S.R.; DA. 1971; NO 19; PP. 56-62; BIBL. 6 REF.Serial Issue

ON THE COMPLETENESS THEOREM FOR BI-MODAL SYSTEM LT_OMEGA AND LET_OMEGA KAWAI H.1981; MATH. JPN.; ISSN 0025-5513; JPN; DA. 1981; VOL. 26; NO 4; PP. 377-383; BIBL. 16 REF.Article

SUR LE PROBLEME DE LA COMPLETUDE DES PLANS DANS UN SCHEMA DE PROMENADES ALEATOIRESLUMEL'SKIJ YA P; STAROSEL'SKIJ BG.1975; MAT. ZAMET.; S.S.S.R.; DA. 1975; VOL. 17; NO 5; PP. 783-788; BIBL. 7 REF.Article

ANALYTIC SINGULARITIES AND GEODESIC COMPLETENESS. II.IHRIG E; SEN DK.1975; ANN. INST. HENRI POINCARE, A; FR.; DA. 1975; VOL. 23; NO 4; PP. 357-364; BIBL. 5 REF.Article

NONCOMPACTNESS IN PROPOSITIONAL MODAL LOGICTHOMASON SK.1972; J. SYMBOL. LOGIC; U.S.A.; DA. 1972; VOL. 37; NO 4; PP. 716-720; BIBL. 3 REF.Serial Issue

UN ESSAI DE SYNTHESE EN LOGIQUE TRIVALENTEFORT M.1972; ; S.L.; DA. 1972; PP. 1-115; H.T. 2; BIBL. 2 P.; (THESE DOCT. 3EME CYCLE, SPEC. MATH. PURES; UNIV. CLAUDE BERNARD LYON; 1972)Thesis

HOMOGENEITY AND COMPLETENESSCSAKANY B.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 117; PP. 81-89; BIBL. 32 REF.Conference Paper

PROPRIETE DE EPSILON -COMPLETUDE DES PLANS DE PREMIERE INCURSIONMAL'KOV AN.1976; DOKL. AKAD. NAUK S.S.S.R.; S.S.S.R.; DA. 1976; VOL. 228; NO 4; PP. 790-793; BIBL. 8 REF.Article

SUR QUELQUES PROBLEMES LIES A LA COMPLETUDE DES AUTOMATESBUEVICH VA.1975; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1975; VOL. 11; NO 10-12; PP. 614-617; BIBL. 5 REF.; (INT. SYMP. DISKRETE MATH. ANWEND. MATH. KYBERN.; BERLIN; 1974). RESUMEConference Paper

COMPLETENESS OF AN ANCIENT LOGICCORCORAN J.1972; J. SYMBOL. LOGIC; U.S.A.; DA. 1972; VOL. 37; NO 4; PP. 696-702; BIBL. 8 REF.Serial Issue

POST COMPLETENESS IN MODAL LOGICSEGERBERG K.1972; J. SYMBOL. LOGIC; U.S.A.; DA. 1972; VOL. 37; NO 4; PP. 711-715; BIBL. 10 REF.Serial Issue

PROCESS LOGIC: EXPRESSIVENESS, DECIDABILITY, COMPLETENESSHAREL D; KOZEN D; PARIKH R et al.1982; JOURNAL OF COMPUTER AND SYSTEM SCIENCES; ISSN 0022-0000; USA; DA. 1982; VOL. 25; NO 2; PP. 144-170; BIBL. 34 REF.Article

LA LOGIQUE A LIMITE MAXIMALE MDEMETROVICS J.1976; ALKALMAZOTT MAT. LAPOK; MAGYAR.; DA. 1976; NO 1-2; PP. 57-66; ABS. ANGL.; BIBL. 10 REF.Article

COMPLETENESS THEOREM OF A LOGICAL SYSTEM ON A COMPLETE BOOLEAN ALGEBRA.KAMO S.1975; SCI. REP. TOKYO KYOIKU DAIGAKU, A; JAP.; DA. 1975; VOL. 13; NO 347-365; PP. 23-27; BIBL. 1 REF.Article

COMPLETUDE D'UN SYSTEME FORMEL POUR PROUVER L'EQUIVALENCE DE CERTAINS SCHEMAS RECURSIFS MONADIQUES.COURCELLE B; VUILLEMIN J.1974; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1974; NO 63; PP. 1-19; ABS. ANGL.; BIBL. 8 REF.Article

COMPLETUDE D'UN SYSTEME DE FONCTIONS SUR UNE COURBEIBRAGIMOV II; NAGNIBIDA NI.1974; DOKL. AKAD. NAUK S.S.S.R.; S.S.S.R.; DA. 1974; VOL. 217; NO 6; PP. 1256-1258; BIBL. 4 REF.Article