TRADEOFFS IN THE INDUCTIVE INFERENCE OF NEARLY MINIMAL SIZE PROGRAMSKEH JIANN CHEN.1982; INFORMATION AND CONTROL; ISSN 0019-9958; USA; DA. 1982; VOL. 52; NO 1; PP. 68-96; BIBL. 19 REF.Article

ABSTRACT FAMILIES OF RELATIONSSANTOS ES.1979; INFORM. SCI.; USA; DA. 1979; VOL. 19; NO 2; PP. 155-177; BIBL. 5 REF.Article

COMPUTATIONS OF (ALPHA ,K)-MACHINESSTOKLOSA J; ZAKOWSKI W.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 14; NO 3; PP. 247-265; BIBL. 23 REF.Article

SUR LES CLASSES PRECOMPLETES D'ALGORITHMES CONSERVANT L'APPARTENANCE A UN ENSEMBLE IGOLUNKOV YU V.1980; VEROJATN. METODY KIBERN.; SUN; DA. 1980; NO 16; PP. 21-40; BIBL. 9 REF.Article

ON ELIMINATING NONDETERMINISM FROM TURING MACHINES WHICH USE LESS THAN LOGARITHM WORKTAPE SPACEMONIEN B; SUDBOROUGH IH.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 430-445; BIBL. 9 REF.Conference Paper

ZUR HOMOMORPHIE ABSTRAKTER SYSTEME = UN SYSTEME ABSTRAIT HOMOMORPHIQUELOCKE M.1978; Z. ELEKTR. INFORM.- U -ENERGIETECH.; DDR; DA. 1978; VOL. 8; NO 6; PP. 482-486; BIBL. 1 REF.Article

A STRUCTURE THEORY FOR A CATEGORY OF BEHAVIOURSNAUDE G.1978; NATL. RES. INST. MATH. SCI., TECH. REP., TWISLE; ZAF; DA. 1978; NO 36; 11 P.; BIBL. 6 REF.Serial Issue

ON DETERMINISTIC (K, M)-MACHINES. IIGRODZKI Z; ZURAWIECKI J.1979; REV. ROUMAINE MATH. PURES APPL.; ROM; DA. 1979; VOL. 24; NO 4; PP. 567-572; BIBL. 3 REF.Article

EIN AN DER AUTOMATENTHEORIE ORIENTIERTER ABSTRAKTER SYSTEMBEGRIFF UND SEINE BEZIEHUNGEN ZUM "KAUSALEN SYSTEM" NACH WINDEKNECHT = UN CONCEPT DE SYSTEME ABSTRAIT ORIENTE VERS LA THEORIE DES AUTOMATES ET SES RAPPORTS AVEC LE "SYSTEME CAUSAL" DE WINDEKNECHTIHLE E.1978; Z. ELEKTR. INFORM.- U -ENERGIETECH.; DDR; DA. 1978; VOL. 8; NO 6; PP. 501-507; BIBL. 9 REF.Article

ZBIEZNOSC OBLICZEN ALPHA K-MASZYN = CONVERGENCE DES CALCULS DE MACHINES LKPIC W.1978; PRACE I.P.I. P.A.N.; POL; DA. 1978; NO 334; 24 P.; ABS. ENG/RUSSerial Issue

THE SYNTACTIC NEAR-RING OF A LINEAR SEQUENTIAL MACHINEHOLCOMBE M.1983; PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY; ISSN 0013-0915; GBR; DA. 1983; VOL. 26; NO 1; PP. 15-24; BIBL. 2 REF.Article

UNIVERSAL REALIZATIONNAUDE G.1979; J. COMPUTER SYST. SCI.; USA; DA. 1979; VOL. 19; NO 3; PP. 277-289; BIBL. 13 REF.Article

CHURCH'S THESIS AND PRINCIPLES FOR MECHANISMSGANDY R.1980; STUD. LOGIC FOUND. MATH.; NLD; DA. 1980; VOL. 101; PP. 123-148; BIBL. 13 REF.Conference Paper

UEBER EINIGE GRUNDLAGEN FUER EINE ALLGEMEINE THEORIE DETERMINISTISCHER SYSTEME. = QUELQUES BASES POUR UNE THEORIE GENERALE DES SYSTEMES DETERMINISTESLOCKE M; IHLE E.1978; Z. ELEKTR. INFORM.-U. ENERGIETECH.; DTSCH.; DA. 1978; VOL. 8; NO 1; PP. 51-60; BIBL. 8 REF.Article

ON SOME PROPERTIES OF (Z,Q)-MACHINE AND ITS COMPUTATION.STANKIEWICZ E.1977; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1977; VOL. 25; NO 1; PP. 79-84; ABS. RUSSE; BIBL. 5 REF.Article

ASM 2004 : abstract state machines : advances in theory and practice (Lutherstadt Wittenberg, 24-28 May 2004)Zimmermann, Wolf; Thalheim, Bernhard.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22094-1, XII, 233 p, isbn 3-540-22094-1Conference Proceedings

Remarks on two-way automata with weak-countersMIYANO, S.Information processing letters. 1984, Vol 18, Num 2, pp 105-107, issn 0020-0190Article

THE COMPUTATIONAL METAPHOR AND QUANTUM PHYSICSMANTHEY MJ; MORET BME.1983; COMMUNICATIONS OF THE A.C.M.; ISSN 0001-0782; USA; DA. 1983; VOL. 26; NO 2; PP. 137-145; BIBL. 18 REF.Article

ON THE POWER OF PROBABILISTIC CHOICE IN SYNCHRONOUS PARALLEL COMPUTATIONSREIF JH.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 442-450; BIBL. 3 P.Conference Paper

PEBBLE MACHINES AND TREE WALKING MACHINESMORIYA T.1982; INFORMATION SCIENCES (NEW YORK); ISSN 0020-0255; USA; DA. 1982; VOL. 27; NO 2; PP. 99-119; BIBL. 12 REF.Article

INDUCTION, PURE AND SIMPLE.KUGEL P.1977; INFORM. AND CONTROL; U.S.A.; DA. 1977; VOL. 35; NO 4; PP. 276-336; BIBL. 1 P. 1/2Article

ON TOPOLOGICAL MACHINES.KRIPASINDHU SIKDAR.1977; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1977; VOL. 14; NO 1; PP. 17-48; BIBL. 1 P.Article

A COUNTEREXAMPLE TO SHYAMASUNDAR'S CHARACTERIZATION OF PUSHDOWN PERMUTERSRAMANAN PV.1983; THEORETICAL COMPUTER SCIENCES; ISSN 0304-3975; NLD; DA. 1983; VOL. 23; NO 1; PP. 103-105Article

EFFICIENT TABLE-DRIVEN IMPLEMENTATION OF THE FINITE STATE MACHINEHARRISON PG.1982; JOURNAL OF SYSTEMS AND SOFTWARE; ISSN 0164-1212; USA; DA. 1982; VOL. 2; NO 3; PP. 201-211; BIBL. 8 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