Multi-polarity helix transform over GF(3)CHENG FU; FALKOWSFI, Bogdan J.IEEE International Symposium on Circuits and Systems. 2004, pp 289-292, isbn 0-7803-8251-X, 4 p.Conference Paper

Extensional models for polymorphismBREAZU-TANNEN, V; COQUAND, T.Theoretical computer science. 1988, Vol 59, Num 1-2, pp 85-114, issn 0304-3975Conference Paper

Réalisation d'ensemble de fonctions logiques à l'aide de polynômes arithmétiquesMALYUGIN, V. D.Computers and artificial intelligence. 1987, Vol 6, Num 6, pp 541-552, issn 0232-0274Article

Optimization of Reed-Muller logic functionsMCKENZIE, L; ALMAINI, A. E. A; MILLER, J. F et al.International journal of electronics. 1993, Vol 75, Num 3, pp 451-466, issn 0020-7217Article

The HM53462: 64 kbit×4 dual-port video RAM with logic functionsSATO, K; ISHIHARA, M; TANIMURA, N et al.Hitachi review. 1986, Vol 35, Num 5, pp 259-262, issn 0018-277XArticle

Upgrading to a Soft Multifunctional Image Processor for Implementation on a Field Programmable Gate Array with Additional Biasing and Logical CapabilitiesTICKLE, Andrew J; HARVEY, Paul K; AHMED, Moin et al.Proceedings of SPIE, the International Society for Optical Engineering. 2008, Vol 7100, pp 71002H.1-71002H.12, issn 0277-786X, isbn 978-0-8194-7330-1 0-8194-7330-8, 2Vol, 2Conference Paper

New perceptronADAMS, A; BYE, S. J.Electronics Letters. 1992, Vol 28, Num 3, pp 321-322, issn 0013-5194Article

On expanding boolean algebra into a new dual-biform logic algebraALESSO, H. P.Reliability engineering & systems safety. 1990, Vol 28, Num 2, pp 255-263, issn 0951-8320Article

Revue des problèmes équivalents de réalisation des circuits à base de ET-NON ne dépendant pas de la vitesseTSIRLIN, B. S.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1966, Num 2, pp 159-171, issn 0002-3388Article

Post-placement rewiring and rebuffering by exhaustive search for functional symmetriesGHANG, Kai-Hui; MARKOV, Igor L; BERTACCO, Valeria et al.IEEE/ACM International Conference on Computer-Aided Design. 2005, pp 56-63, isbn 0-7803-9254-X, 1Vol, 8 p.Conference Paper

Concurrency theoryMONTANARI, Ugo; SASSONE, Vladimiro.Theoretical computer science. 1998, Vol 195, Num 2, issn 0304-3975, 216 p.Conference Proceedings

Classification of P_k2MIYAKAWA, M; STOJMENOVIC, I.Discrete applied mathematics. 1989, Vol 23, Num 2, pp 179-192, issn 0166-218XArticle

An implementation of multiple-valued logic circuit with CMOS multiple-valued output gatesSAKATA, I.Systems and computers in Japan. 1989, Vol 20, Num 2, pp 67-77, issn 0882-1666Article

Bounding signal probabilities in combinational circuitsMARKOWSKY, G.IEEE transactions on computers. 1987, Vol 36, Num 10, pp 1247-1251, issn 0018-9340Article

Real time optical logic processingXIANGYANG YANG; KUO-FAN CHIN; MINXIAN WU et al.Optics communications. 1987, Vol 64, Num 5, pp 412-416, issn 0030-4018Article

Choiceless polynomial time logic: Inability to expressSHELAH, S.Lecture notes in computer science. 2000, pp 72-125, issn 0302-9743, isbn 3-540-67895-6Conference Paper

Highly efficient exhaustive search algorithm for optimizing canonical Reed-Muller expansions of boolean functionsMILLER, J. F; THOMSON, P.International journal of electronics. 1994, Vol 76, Num 1, pp 37-56, issn 0020-7217Article

Parallel chip firing games on graphsBITAR, J; GOLES, E.Theoretical computer science. 1992, Vol 92, Num 2, pp 291-300, issn 0304-3975Article

Functional test generation based on unate function theoryPITCHUMANI, V; SOMAN, S. S.IEEE transactions on computers. 1988, Vol 37, Num 6, pp 756-760, issn 0018-9340Article

PLI logic for multiple-valued functionsFALKOWSKI, B. J; RAHARDJA, S.IEE proceedings. Computers and digital techniques. 2001, Vol 148, Num 1, pp 7-14, issn 1350-2387Article

A tristate optical logic systemBASURAY, A; MUKHOPADHYAY, S; KUMAR GHOSH, H et al.Optics communications. 1991, Vol 85, Num 2-3, pp 167-170, issn 0030-4018Article

Classification of three-valued logical functions preserving 0MIYAKAWA, M; ROSENBERG, I. G; STOJMENOVIC, I et al.Discrete applied mathematics. 1990, Vol 28, Num 3, pp 231-249, issn 0166-218XArticle

The complexity of near-optimal programmable logic array foldingRAVI, S. S; LLOYD, E. L.SIAM journal on computing (Print). 1988, Vol 17, Num 4, pp 696-710, issn 0097-5397Article

A proof of Choffrut's theorem on subsequential functionsBRUYERE, V; REUTENAUER, C.Theoretical computer science. 1999, Vol 215, Num 1-2, pp 329-335, issn 0304-3975Article

Comparing two-level and ordered binary decision diagram representations of logic functionsSRINIVAS DEVADAS.IEEE transactions on computer-aided design of integrated circuits and systems. 1993, Vol 12, Num 5, pp 722-723, issn 0278-0070Article