default search action
8th MVL 1978: Rosemont, IL, USA
- Proceedings of the eighth international symposium on Multiple-valued logic, MVL 1978, Rosemont, Illinois, USA, 1978. IEEE Computer Society Press 1978
- Stephen C. Crist:
A tri-state logic family. 1-6 - Daniel Etiemble:
TTL circuits for a 4-valued bus a way to reduce package and interconnections. 7-13 - Edward J. McCluskey:
Logic design of multi-valued I2L logic circuits. 14-22 - James H. Pugsley, Charles B. Silio Jr.:
Some I2L circuits for multiple-valued logic. 23-31 - José Luis Huertas, José I. Acha, L. Macias:
On the synthesis of multivalued circuits using principally binary elements. 32 - Daniel E. Atkins:
A suggested approach to computer arithmetic for designers of multi-valued logic processors. 33-46 - Tatsuo Higuchi, Hisamitsu Hoshi:
Special-purpose ternary computer for digital filtering. 47-54 - Tich T. Dao:
Design and implementation of a non-binary code for byte-organized memory with binary and quaternary logics. 55-64 - Tsutomu Sasao:
An application of multiple-valued logic to a design of programmable logic arrays. 65-72 - Majid A. H. Abdul-Karim, N. E. Berbat:
A simulataneous analog/ternary converter. 73-75 - Luisa Iturrioz:
Two typical representation theorems for symmetrical Heyting algebras of order n. 76-81 - Louis H. Kauffman:
De Morgan Algebras - completeness and recursion. 82-86 - Abraham Kandel:
On the compactification and enumeration of distinct fuzzy switching functions. 87-90 - Mark E. Stickel:
Fuzzy four-valued logic for inconsistency and uncertainty. 91-94 - K. Wayne Current, Douglas A. Mow:
Four-valued threshold logic full adder circuit implementations. 95-100 - James R. Armstrong:
The modular complexity of a tree structured higher radix multiplier. 101-103 - Marc Davio, Jean-Pierre Deschamps:
Addition in signed digit number systems. 104-113 - Adit D. Singh, James R. Armstrong:
A simultaneous, radix four, I2L multiplier mechanized via repeated addition. 114-121 - Malcolm H. Steward:
The arithmetic properties of certain number systems. 122-127 - Samuel C. Lee, Yousef M. Ajabnoor:
Digital calculus: ss. 128-141 - Louise Martin, Corina Reischer, Ivo G. Rosenberg:
Completeness problems for switching circuits constructed from delayed gates. 142-148 - Claudio Moraga:
Complex spectral logic. 149-156 - John R. Miller:
Use of an infinite-valued propositional calculus in a document retrieval system. 157-162 - Ytzhak H. Levendel, Melvin A. Breuer:
Mathematical properties of Boolean transformations. 163-170 - André Thayse, Marc Davio, Jean-Pierre Deschamps:
Optimization of multivalued decision algorithms. 171-178 - T. C. Yang, Anthony S. Wojcik:
Parallel and serial decompositions of multi-valued sequential machines. 179-186 - K. Wayne Current, Douglas A. Mow:
Applications of multivalued threshold logic in large-scale-intergrated, digital signal processing circuits. 187 - Vason P. Srini:
Iterative realization of multivalued logic systems. 188-194 - Motinori Goto, Shinji Kao, Tomoko Ninomiya:
Determination of the fittest number of truth-values and canonical forms of logical functions for a many-valued axiom set by a computer. 195-201 - Ytzhak H. Levendel, Melvin A. Breuer:
Vector representation of switching and three-valued functions. 202-207 - Jürgen Fricke:
Decomposition of multiple-valued logic functions. 208-212 - José Luis Huertas, José I. Acha, G. Sanchez Gomez:
Theory and design of multivalued memory elements. 213-220 - Majid A. H. Abdul-Karim:
A ternary J - K memory. 221-225 - Michael S. Wills:
A behavioral model and triggering modes for MVL R-flops. 226-234 - Jon C. Muzio, T. C. Wesselkamper:
Generalized finite Post algebras. 235-241 - Ira Howard Sack:
Prefilters over an arbitrary Boolean Algebra. 242-250 - Steve Winker, Larry Wos:
Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra. 251-256 - George Epstein:
A summary of investigations into three and four valued logics. 257 - Stanley J. Krolikoski:
A proposed interpretation of lukasiewicz's four-valued system of modal logic. 258 - Serge Perrine:
A new aspect of Some Post algebras. 259 - Ladislav J. Kohout:
Analysis of computing protection structures by means of multi-valued logic systems. 260-268 - Masao Mukaidono:
The B-ternary logic and its applications to the detection of hazards in combinational switching circuits. 269-275 - David Rine:
Possibility theory: As a means for modeling computer security and protection. 276-286 - James E. Smith, Jean-Pierre Dussault:
Fault secure multiple-valued logic networks. 287-297
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.