. German Research Center for Artificial Intelligence GmbH


LIDOS BibTeX Database File
Rine_a7190-215.bib

D. C. Rine
An Introduction to Multiple-Valued Logic

@incollection{Rine77,
  AUTHOR = {D. C. Rine},
  TITLE = {An Introduction to Multiple-Valued Logic},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {2-12},
  KEYWORDS = {}}

G. Epstein
From Fixed to Mixed Radix
@incollection{Epstein77,
  AUTHOR = {G. Epstein},
  TITLE = {From Fixed to Mixed Radix},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {15-16},
  KEYWORDS = {}}

G. Epstein
The Lattice Theory of Post Algebras
@incollection{Epstein77,
  AUTHOR = {G. Epstein},
  TITLE = {The Lattice Theory of Post Algebras},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {17-34},
  KEYWORDS = {}}

R. C. Braddock and G. Epstein and H. Yamanaka
Multiple-Valued Logic Design and Applications in Binary Computers
@incollection{Braddock:77,
  AUTHOR = {R. C. Braddock and G. Epstein and H. Yamanaka},
  TITLE = {Multiple-Valued Logic Design and Applications in Binary Computers},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {35-44},
  KEYWORDS = {}}

M. A. Breuer and G. Epstein
The Smallest Many-Valued Logic for the Treatment of Completemented and Uncomplemented Error Signals
@incollection{Breuer:77,
  AUTHOR = {M. A. Breuer and G. Epstein},
  TITLE = {The Smallest Many-Valued Logic for the Treatment of Completemented and Uncomplemented Error Signals},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {45-51},
  KEYWORDS = {}}

G. Epstein and A. Horn
Chain Based Lattices
@incollection{Epstein:77,
  AUTHOR = {G. Epstein and A. Horn},
  TITLE = {Chain Based Lattices},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {52-70},
  KEYWORDS = {}}

G. Epstein
Decisive Implication
@incollection{Epstein77,
  AUTHOR = {G. Epstein},
  TITLE = {Decisive Implication},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {71},
  KEYWORDS = {}}

G. Epstein
Multiple-Valued Signal Processing with Limiting
@incollection{Epstein77,
  AUTHOR = {G. Epstein},
  TITLE = {Multiple-Valued Signal Processing with Limiting},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {72-80},
  KEYWORDS = {}}

G. Epstein and G. Frieder and D. C. Rine
The Development of Multiple-Valued Logic as Related to Computer Science
@incollection{Epstein:77,
  AUTHOR = {G. Epstein and G. Frieder and D. C. Rine},
  TITLE = {The Development of Multiple-Valued Logic as Related to Computer Science},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {81-101},
  KEYWORDS = {}}

G. Epstein and A. Horn
P-Algebras, an Abstraction from Post Algebras
@incollection{Epstein:77,
  AUTHOR = {G. Epstein and A. Horn},
  TITLE = {P-Algebras, an Abstraction from Post Algebras},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {102-114},
  KEYWORDS = {}}

T. Traczyk
Post Algebras through PO and P1 Lattices
@incollection{Traczyk77,
  AUTHOR = {T. Traczyk},
  TITLE = {Post Algebras through PO and P1 Lattices},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {115-136},
  KEYWORDS = {}}

S. J. Surma
An Algorithm for Axiomatizing Every Finite Logic
@incollection{Surma77,
  AUTHOR = {S. J. Surma},
  TITLE = {An Algorithm for Axiomatizing Every Finite Logic},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {137-143},
  KEYWORDS = {}}

I. G. Rosenberg
Completeness Properties of Multiple-Valued Logic Algebras
@incollection{Rosenberg77,
  AUTHOR = {I. G. Rosenberg},
  TITLE = {Completeness Properties of Multiple-Valued Logic Algebras},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {144-186},
  KEYWORDS = {}}

S. Y. H. Su and P. T. Cheung
Computer Simplification of Multi-Valued Switching Functions
@incollection{Su:77,
  AUTHOR = {S. Y. H. Su and P. T. Cheung},
  TITLE = {Computer Simplification of Multi-Valued Switching Functions},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {189-220},
  KEYWORDS = {}}

W. R. Smith III
Minimization of Multivalued Functions
@incollection{Smith77,
  AUTHOR = {W. R. Smith III},
  TITLE = {Minimization of Multivalued Functions},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {221-261},
  KEYWORDS = {}}

C. M. Allen and D. D. Givone
The Allen-Givone Implementation Oriented Algebra
@incollection{Allen:77,
  AUTHOR = {C. M. Allen and D. D. Givone},
  TITLE = {The Allen-Givone Implementation Oriented Algebra},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {262-282},
  KEYWORDS = {}}

A. S. Wojcik
Multi-Valued Asynchronous Networks
@incollection{Wojcik77,
  AUTHOR = {A. S. Wojcik},
  TITLE = {Multi-Valued Asynchronous Networks},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {283-307},
  KEYWORDS = {}}

S. C. Lee
Vector Boolean Algebra and Vector Boolean Calculus: Theory and Applications
@incollection{Lee77,
  AUTHOR = {S. C. Lee},
  TITLE = {Vector Boolean Algebra and Vector Boolean Calculus: Theory and Applications},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {308-338},
  KEYWORDS = {}}

E. Ducasse
Binary Network Hazard Elimination by Multi-Valued Gates: Techniques and Relative Costs
@incollection{Ducasse77,
  AUTHOR = {E. Ducasse},
  TITLE = {Binary Network Hazard Elimination by Multi-Valued Gates: Techniques and Relative Costs},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {339-351},
  KEYWORDS = {}}

C. Moraga
A Monograph on Ternary Threshold Logic
@incollection{Moraga77,
  AUTHOR = {C. Moraga},
  TITLE = {A Monograph on Ternary Threshold Logic},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {355-394},
  KEYWORDS = {}}

Z. G. Vranesic and K. C. Smith
Electronic Circuits for Multi-Valued Digital Systems
@incollection{Vranesic:77,
  AUTHOR = {Z. G. Vranesic and K. C. Smith},
  TITLE = {Electronic Circuits for Multi-Valued Digital Systems},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {397-419},
  KEYWORDS = {}}

G. Abraham
Multiple-Valued Negative Resistance Integrated Circuits
@incollection{Abraham77,
  AUTHOR = {G. Abraham},
  TITLE = {Multiple-Valued Negative Resistance Integrated Circuits},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {420-472},
  KEYWORDS = {}}

G. Frieder
Application of Multiple-Valued Logic: Possibilities and Problems
@incollection{Frieder77,
  AUTHOR = {G. Frieder},
  TITLE = {Application of Multiple-Valued Logic: Possibilities and Problems},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {475-484},
  KEYWORDS = {}}

V. C. Hamacher and Z. G. Vranesic
Multi-Valued Logic in Arithmetic Units
@incollection{Hamacher:77,
  AUTHOR = {V. C. Hamacher and Z. G. Vranesic},
  TITLE = {Multi-Valued Logic in Arithmetic Units},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {485-505},
  KEYWORDS = {}}

R. S. Michalski
Variable-Valued Logic and its Applications to Pattern Recognition and Machine Learning
@incollection{Michalski77,
  AUTHOR = {R. S. Michalski},
  TITLE = {Variable-Valued Logic and its Applications to Pattern Recognition and Machine Learning},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {506-534},
  KEYWORDS = {}}

M. E. Liebler and R. P. Roesser
Multiple-Real-Valued Walsh Functions
@incollection{Liebler:77,
  AUTHOR = {M. E. Liebler and R. P. Roesser},
  TITLE = {Multiple-Real-Valued Walsh Functions},
  YEAR = 1977,
  BOOKTITLE = {Computer Science and Multiple-Valued Logic: Theory and Applications},
  EDITOR = {D. C. Rine},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {535-548},
  KEYWORDS = {}}



Gerd Herzog
Last update: Mon Jan 20 10:29:13 MET 1997

Send comments to herzog@acm.org