COMPLETENESS IN CLASSICAL LOGIC OF COMPLEX ALGORITHMSRASIOWA H.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 488-503; BIBL. 14 REF.Conference Paper

TWO RESULTS ON PROCESS LOGICHAREL D.1979; INFORM. PROCESSG LETTERS; NLD; DA. 1979; VOL. 8; NO 4; PP. 195-198; BIBL. 4 REF.Article

PLAS ENHANCE DIGITAL PROCESSOR SPEED AND CUT COMPONENT COUNT.REYLING G.1974; ELECTRONICS; U.S.A.; DA. 1974; VOL. 47; NO 16; PP. 109-114Article

PROGRAMMING LANGUAGES AND LOGICS OF PROGRAMSRADEV SR.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 253-257; BIBL. 9 REF.Conference Paper

ALGEBRAIC SEMANTICS AND PROGRAM LOGICS: ALGORITHMIC LOGIC FOR PROGRAM TREESENJALBERT P.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 132-147; BIBL. 17 REF.Conference Paper

SOME MODEL-THEORETICAL PROPERTIES OF LOGIC FOR PROGRAMS WITH RANDOM CONTROLGRABOWSKI M.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 148-155; BIBL. 7 REF.Conference Paper

Prozessanalyse mit der SPS―so komfortabel wie deren Programmierung = System identification by PLC―comfortable like PLC programmingKUHN, T.Automatisierungstechnik. 1992, Vol 40, Num 12, pp 476-477, issn 0178-2312Article

ON THE COMPUTATIONAL COMPLEXITY OF SATISFIABILITY IN PROPOSITIONAL LOGICS OF PROGRAMSCHLEBUS BS.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 21; NO 2; PP. 179-212; BIBL. 18 REF.Article

FORMAL JUSTIFICATION OF A PROOF SYSTEM FOR COMMUNICATING SEQUENTIAL PROCESSESAPT KR.1983; JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY; ISSN 0004-5411; USA; DA. 1983; VOL. 30; NO 1; PP. 197-216; BIBL. 15 REF.Article

LOGICS OF PROGRAMS AND THEIR APPLICATIONS. A SYMPOSIUM HELD IN POZNAN, POLAND ON AUGUST 23-29, 1980. PROCEEDINGSSALWICKI A.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; VI-324 P.; BIBL. DISSEM.Conference Paper

Multiple constrained folding of programmable logic arrays: theory and applicationsDE MICHELI, G; SANGIOVANNI-VINCENTELLI, A.IEEE transactions on computer-aided design of integrated circuits and systems. 1983, Vol 2, Num 3, pp 151-167, issn 0278-0070Article

Modelling and synthesis of automata in HDLSCHMIELEWSKI, Slawomir; WEGRZYN, Marek.Proceedings of SPIE, the International Society for Optical Engineering. 2006, issn 0277-786X, isbn 0-8194-6431-7, vol1, 63470J.1-63470J.14Conference Paper

An approach to sequential circuit construction in LSI programmable arraysPAPACHRISTOU, C. A; SARMA, D.IEE proceedings. Part E. Computers and digital techniques. 1983, Vol 130, Num 5, pp 159-164, issn 0143-7062Article

High performance bipolar FPLAsTAKEDA, T; MATSUHIRO, K; SUZUKI, M et al.Review of the electrical communication laboratories. 1983, Vol 31, Num 4, pp 566-575, issn 0029-067XArticle

On compiling queries in recursive first-order databasesHENSCHEN, L. J; NAQVI, S. A.Journal of the Association for Computing Machinery. 1984, Vol 31, Num 1, pp 47-85, issn 0004-5411Article

On static logics, dynamic logics, and complexity classesHAREL, D; PELEG, D.Information and control. 1984, Vol 60, Num 1-3, pp 86-102, issn 0019-9958Article

Un système de CAO pour la description et la simulation d'automates logiquesDABRIOU, R; LE BARON, J. P; BRIE, C et al.International journal of modelling & simulation. 1984, Vol 4, Num 1, pp 42-48, issn 0228-6203Article

Programmable controller based protective systemsMARTEL, J. T.Midyear meeting of the American Petroleum Institute's Refining Department. 49. 1984, 15 p.Conference Paper

Synthèse à un niveau d'automates microprogrammables avec des matrices logiques programmablesBARANOV, S. I; PESCHANSKIJ, V. A; SINEV, V. N et al.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1983, Num 5, pp 41-49, issn 0002-3388Article

Generating sequences for controlHENRY, R. M.IEE control engineering series. 1990, Vol 41, pp 81-96, issn 0262-1797, 16 p.Article

Programmable logic controller (PLC) applications in the paper industryTONSI, R. M.Pulp & paper Canada. 1987, Vol 88, Num 5, pp 56-58, issn 0316-4004Conference Paper

A simplification algorithm for logical expressions A5ISHIKAWA, K; TERADA, H; SASAO, T et al.Systems, computers, controls. 1983, Vol 14, Num 1, pp 9-18, issn 0096-8765Article

Low-complexity functional approach to logic controller designCHANDRA, R. C.IEE proceedings. Part E. Computers and digital techniques. 1985, Vol 132, Num 1, pp 8-24, issn 0143-7062Article

PLEASURE: a computer program for simple/multiple constrained/unconstrained folding of programmable logic arraysDE MICHELI, G; SANGIOVANNI-VINCENTELLI, A.Computer-aided design. 1984, Vol 16, Num 1, pp 2-12, issn 0010-4485Article

A PLA microcontroller using horizontal firmwarePAPACHRISTOU, C. A.Microprocessing and microprogramming. 1984, Vol 14, Num 3-4, pp 223-230, issn 0165-6074Article