Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("COMPUTER THEORY")

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 14264

  • Page / 571
Export

Selection :

  • and

LES ESPACES DE CALCULS A COMMANDE ITERATIVESKRZYPKOWSKI T.1976; PRACE C.O. P.A.N.; POLSKA; DA. 1976; NO 249; PP. 1-29; ABS. ANGL. RUSSE; BIBL. 4 REF.Serial Issue

BIBLIOGRAPHY OF L SYSTEMS.ROZENBERG G; PENTTONEN M; SALOMAA A et al.1977; THEOR. COMPUTER SCI.; NETHERL.; DA. 1977 PARU 1978; VOL. 5; NO 3; PP. 339-354Article

ISOMORPHISM, FORM EQUIVALENCE AND SEQUENCE EQUIVALENCE OF PDOL FORMS.CULIK K II; MAURER HA; OTTMANN T et al.1978; THEOR. COMPUTER SCI.; NETHERL.; DA. 1978; VOL. 6; NO 2; PP. 143-173; BIBL. 5 REF.Article

THE DENSEST HEMISPHERE PROBLEM.JOHNSON DS; PREPARATA FP.1978; THEOR. COMPUTER SCI.; NETHERL.; DA. 1978; VOL. 6; NO 1; PP. 93-107; BIBL. 4 REF.Article

A CONSTRUCTIVE CHARACTERIZATION OF THE LATTICES OF ALL RETRACTIONS, PRECLOSURE, QUASI-CLOSURE AND CLOSURE OPERATORS ON A COMPLETE LATTICECOUSOT P; COUSOT R.1978; MATH. APPL. INFORMAT., RAPP. RECH.; FRA; DA. 1978; NO 128; PP. 1-15; BIBL. 1 P.Serial Issue

UTILISATION DES LANGAGES FORMELS EN THEORIE DES CHAMPS.CALMET J.1977; BULL. SOC. MATH. FR., SUPPL.; FR.; DA. 1977; PP. 31-39; BIBL. 15 REF.; (UTIL. CALE MATH. PURES. JOURN. CONF.; LIMOGES; 1975)Conference Paper

SYSTEMATIC APPROACH TO REDUCTION AND MINIMIZATION IN AUTOMATA AND SYSTEM THEORY.EHRIG H; KREOWSKI HJ.1976; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1976; VOL. 12; NO 3; PP. 269-304; BIBL. 1 P. 1/2Article

FRONTIERS OF INFINITE TREES.COURCELLE B.1978; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1978; NO 272; PP. 1-26; ABS. FR.; BIBL. 6 REF.Serial Issue

A NOTE ON EQUAL POWERS OF WORD MORPHISMS.RUOHONEN K.1977; R.A.I.R.O. INFORMAT. THEOR.; FR.; DA. 1977; VOL. 11; NO 3; PP. 207-211; BIBL. 4 REF.Article

UPRAVLENIE INFORMATSIYA INTELLEKT. = COMMANDE. INFORMATION. INTELLIGENCEBERGA AI; BIRYUKOVA BV; GELLERA ES et al.1976; MOSKVA; MYSL; DA. 1976; PP. 1-383; BIBL. DISSEM.Book

SOME CONTRIBUTIONS OF MATHEMATICS TO RECENT DEVELOPMENTS OF THEORETICAL COMPUTER SCIENCEPETTOROSSI A; SKOWRON A.1982; WORLD CONFERENCE ON MATHEMATICS AT THE SERVICE OF MAN. 2/1982-06-28/LAS PALMAS; ESP; DA. 1982; PP. 588-595; BIBL. 52 REF.Conference Paper

SUR DES SEQUENCES ITERATIVES DE COMBINATEURSROBINET B.1982; COMPTES RENDUS DES SEANCES DE L'ACADEMIE DES SCIENCES. SERIE 1: MATHEMATIQUE; ISSN 0249-6291; FRA; DA. 1982; VOL. 295; NO 1; PP. 29-30; ABS. ENG; BIBL. 4 REF.Article

CO-ALGEBRAS AS MACHINES FOR THE INTERPRETATION OF FLOW DIAGRAMSMERZENICH W.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 117; PP. 250-258; BIBL. 7 REF.Conference Paper

INTERSECTION DES IMAGES DE CERTAINES SUITES RECURRENTES LINEAIRESMIGNOTTE M.1978; THEOR. COMPUTER SCI.; NLD; DA. 1978; VOL. 7; NO 1; PP. 117-121; BIBL. 5 REF.Article

CONFLUENT REDUCTIONS: ABSTRACT PROPERTIES AND APPLICATIONS TO TERM RECORITING SYSTEMS.HUET G.1977; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1977; NO 250; PP. 1-16; ABS. FR.; BIBL. 2 P.Serial Issue

FUNDAMENTALS OF COMPUTATION THEORY. 1977 INTERNATIONAL FCT-CONFERENCE. PROCEEDINGS; POZNAN-KORNIK, POL.; 1977.1977; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1977; VOL. 56; PP. (553P.); BIBL. DISSEM.; ISBN 0387084428Conference Paper

LINEAR EXPECTED TIME OF A SIMPLE UNION-FIND ALGORITHM.DOYLE J; RIVEST RL.1976; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1976; VOL. 5; NO 5; PP. 146-148; BIBL. 4 REF.Article

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. SYMPOSIUM. 5. PROCEEDINGS; GDANSK; 1976.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; NO 45; PP. (617P.); BIBL. DISSEM.; ISBN 3540078541Conference Paper

TRANSFORMATIONS D'OPERATIONS ET DE MULTI-OPERATIONS.DESCLES JP.1976; C.R. ACAD. SCI., A; FR.; DA. 1976; VOL. 283; NO 15; PP. 1045-1048; ABS. ANGL.; BIBL. 8 REF.Article

APPROXIMATE REDUCTION AND LAMBDA CALCULUS MODELS.WADSWORTH CP.1978; S.I.A.M.J. COMPUTG; USA; DA. 1978; VOL. 7; NO 3; PP. 337-356; BIBL. 13 REF.Article

ON A QUESTION OF S. EILENBERG.REUTENAUER C.1977; THEOR. COMPUTER SCI.; NETHERL.; DA. 1977 PARU 1978; VOL. 5; NO 2; PP. 219; BIBL. 4 REF.Article

OPERATIONS SUR DES OPERATEURS TYPES.DESCLES P.1976; C.R. ACAD. SCI., A; FR.; DA. 1976; VOL. 283; NO 14; PP. 987-990; ABS. ANGL.; BIBL. 8 REF.Article

ANALYSE DES PROCESSUS INDUCTIFS BAYESIENSVAN DER PYL T; SALLANTIN J.1980; C.R. ACAD. SCI., A; FRA; DA. 1980; VOL. 290; NO 8; PP. 389-392; ABS. ENG; BIBL. 13 REF.Article

RANKING AND UNRANKING UNORDERED BINARY TREESTROJANOWSKI AE.1979; TRANS. ILLINOIS STATE ACAD. SCI.; USA; DA. 1979; VOL. 72; NO 1; PP. 46-56; BIBL. 11 REF.Article

ON SOME CLASSES OF INTERPRETATIONS.COURCELLE B; GUESSARIAN I.1977; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1977; NO 253; PP. 1-47; ABS. FR.; BIBL. 2 P.Serial Issue

  • Page / 571