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

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

FURTHER ANALYSIS OF CODE GENERATION FOR A SINGLE REGISTER MACHINECARTER LR.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 18; NO 2; PP. 135-147; BIBL. 5 REF.Article

ABOUT THE BY CODINGS OF ENVIRONMENTS INDUCED POSETS (U_Z, <OU= ) AND (L_Z, <OU= )MEINEL C.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 117; PP. 445-452; BIBL. 8 REF.Conference Paper

AN EXTENDED RESULT ON THE EQUIVALENCE PROBLEM FOR LR MACHINES TAKING MONOTONOUS EPSILON -MOVESSEKIMOTO S.1981; SYSTEMS, COMPUTERS, CONTROLS; ISSN 0096-8765; USA; DA. 1981-1982; VOL. 12; NO 3; PP. 30-37; BIBL. 9 REF.Article

FINITE ALGORITHME PROCEDURES AND INDUCTIVE DEFINABILITYMOLDESTAD J; STOLTENBERG HANSEN V; TUCKER JV et al.1980; MATH. SCAND.; DNK; DA. 1980; VOL. 46; NO 1; PP. 62-76; BIBL. 19 REF.Article

TENSEURS ET MACHINESGUITART R.1980; CAH. TOPOL. GEOMETR. DIFFER.; FRA; DA. 1980; VOL. 21; NO 1; PP. 5-62; BIBL. 25 REF.Article

MACHINES AS ORGANISMS: AN EXPLORATION OF THE RELEVANCE OF RECENT RESULTSLAING R.1979; BIOSYSTEMS; NLD; DA. 1979; VOL. 11; NO 2-3; PP. 201-215; BIBL. 13 REF.Article

PROGRAMS FOR INSTRUCTION MACHINESPAWLAK Z; ROZENBERG G; SAVITCH WJ et al.1979; INFORM. AND CONTROL; USA; DA. 1979; VOL. 41; NO 1; PP. 9-28; BIBL. 1 REF.Article

THE PIC A-B COMPUTER: AN ABSTRACT TARGET MACHINE FOR A TRANSPORTABLE SINGLE-USER OPERATING ENVIRONMENTABRAMSON H; FOX M; GORLICK M et al.1978; ACM 78. ASSOCIATION FOR COMPUTING MACHINERY. ANNUAL CONFERENCE/1978-12-4/WASHINGTON DC; USA; NEW YORK: THE ASSOCIATION FOR COMPUTING MACHINERY; DA. 1978; PP. 301-309; BIBL. 15 REF.Conference Paper

A NOTE ON SUBCATEGORIES OF REACHABLE MACHINESNAUDE G.1978; NATL. RES. INST. MATH. SCI., TECH. REP. TWISK; ZAF; DA. 1978; NO 31; PP. 1-8; BIBL. 4 REF.Serial Issue