


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













