Proceedings of the twentieth International Symposium on Multiple-Valued Logic: May 23 - 25, 1990, Charlotte, North Carolina, USA
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
LosAlamitos, Calif. [u.a.]
IEEE Computer Soc. Press
1990
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XIV, 438 S. Ill., graph. Darst. |
| ISBN: | 0818620463 0818660465 0818690461 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006604985 | ||
| 003 | DE-604 | ||
| 005 | 20110831 | ||
| 007 | t| | ||
| 008 | 930210s1990 xx ad|| |||| 10||| eng d | ||
| 020 | |a 0818620463 |9 0-8186-2046-3 | ||
| 020 | |a 0818660465 |9 0-8186-6046-5 | ||
| 020 | |a 0818690461 |9 0-8186-9046-1 | ||
| 035 | |a (OCoLC)35487011 | ||
| 035 | |a (DE-599)BVBBV006604985 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA9.45 | |
| 082 | 0 | |a 511.3 | |
| 111 | 2 | |a International Symposium on Multiple Valued Logic |n 20 |d 1990 |c Charlotte, NC |j Verfasser |0 (DE-588)5049574-4 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the twentieth International Symposium on Multiple-Valued Logic |b May 23 - 25, 1990, Charlotte, North Carolina, USA |
| 264 | 1 | |a LosAlamitos, Calif. [u.a.] |b IEEE Computer Soc. Press |c 1990 | |
| 300 | |a XIV, 438 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Logique multivalente - Congrès | |
| 650 | 4 | |a Many-valued logic |v Congresses | |
| 650 | 4 | |a Switching theory |v Congresses | |
| 650 | 4 | |a Threshold logic |v Congresses | |
| 650 | 0 | 7 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1990 |z Charlotte NC |2 gnd-content | |
| 689 | 0 | 0 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 711 | 2 | 2 | |a International Symposium on Multiple Valued Logic |n 20 |d 1990 |c Charlotte, NC |0 (DE-588)5049574-4 |4 aut |t Proceedings |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004219028&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004219028 | |
Datensatz im Suchindex
| _version_ | 1820868155931623424 |
|---|---|
| adam_text |
Table of Contents
Symposium Committee
.
,v
Symposium Chairs Message
.
vii
Program Chair's Message
.viii
Referees
.ix
Sessioni:
Keynote Address
Multi-
Valued Logic: Wave of the Future or an Historical Anachronism
.1
CM. Allen
Session 2a: Circuits I
Łukasiewicz
Logic Arrays
.4
J.W. Mills, M.G. Beavers, and CA.Dcffinger
On Design of Multiple-Valued Static Random-Access-Memory
.11
O. Ishizuka, Z. Tang, and H. Matswnoto
Design of a High-Density Multiple-Valued Content-Addressable Memory
Based on Floating-Gate
MOS
Devices
.18
T. Hanyu and T. Higuchi
Ternary Logic Elements for Self-timed Integrated Systems
.24
J.M. Johnson
A New CMOS Gate
-
The Balanced Gate
-
For Detecting Physical Failures
.25
O.E.
Katter,
Jr. andHM. Razavi
Session2b:
Algebrai
A Note on Finite Clones Containing All Permutations
.34
L. Haddad and I.G. Rosenberg
Theory and Uses of Post Algebras of Order
ω+ω*.1
.42
G.
Epstein and
H.
Rasiowa
Bio-Algebras
.48
С.
Reischer and
D
Л.
Simovici
Robbins
Algebra
.54
LM.
Kaufman
Session 3a: Spectral Techniques
Properties of the Zhang-Hartley Spectrum of Patterns
.62
C.
Moraga
and
J.
Pos wig
Fault Detection in Multiple Valued Logic Circuits
.69
TJR.
Damarla
Walsh Type Transforms for Completely and Incompletely Specified
Multiple-Valued Input Binary Functions
.75
B J.
Falkowski and MA. Perkowski
Session3b:
Algebran
Free Three-valued
Łukasiewicz,
Post and
Moisil Algebras over
a Poset
.84
A. Figallo, L.
Monteiro,
and A. Ziliani
Xl
A Four-Valued Modal Logic Arising from Monteiro's Last Algebras
.85
J.M. Font and M. Rius
Kleene-Stone Logic Functions
.93
N.
Takagi and M. Mukaidono
Session 4a: Special Applications I
Alleviating Memory Bottlenecks Using Multi-Level Memory
.102
D.
Dube
and A.
von
Mayrhauser
A Six-Valued Logic for Representing Incomplete Knowledge
.110
О
JV. Garcia and M. Moussavi
On the Diagnosability of Systems with Three Valued Test Results:
Diagnosis by Comparison Strategy
.115
A. Sengupta and
С
Rhee
Comparison Look-Ahead and Design of Fast Fuzzy Operation Units
.121
J.-Y. Han and S.Singh
Session 4b: Logic Design I
EXMIN: A Simplification Algorithm for Exclusive-OR-Sum-of-Products
Expressions for Multiple-Valued Input Two-Valued Output Functions
.128
T.Sasao
RCM-MVL: A Recursive Consensus MVL Minimization Algorithm
.136
G.W. Dueck and DM. Miller
HAMLET
-
An Expression Compiler/Optimizer for the Implementation of
Heuristics to Minimize Multiple-Valued Programmable Logic Arrays
.144
JM.
Yurchak and
J.Ţ.
Butler
A Neighborhood Decoupling Algorithm for Truncated Sum Minimization
.153
C.Yang andY.-M.Wang
Session
5:
Invited Address
Toward the Age of Beyond-Binary Electronics and Systems
.162
M
.
Kameyama
Session 6a: Circuits
Π
A CMOS Quaternary Threshold Logic Full Adder Circuit with Transparent Latch
: . 168
K.W. Current
Binary to Quaternary Encoding in Clocked CMOS Circuits Using Weak Buffer
. . . 174
D. Bhattacharya
An Efficient Multi-Level Multi-Wire Differential Interface
.181
P. Baltus, P. van derMeulen, andR. Morley
Differential Multiple-Valued Logic Using Resonant Tunneling Diodes
.189
LJ. Micheel and MJ.
Paulus
Application of Multiple-Valued Switch-Level Algebra to the Design and
Analysis of Pass-Transistor Switch Networks
.196
M.
Ни
and K.C. Smith
Session 6b: Logic
Note on Resolution Approximation of Many-Valued Logics
.204
Z. Stachniak
Xli
Conditional Event Algebras and Logic, Part I: Motivation and
History of the Problem
.210
IM.
Goodman
On Some Neglected Paradoxes of Modern Logic
.211
MF.
Schmidt
Bringing Resources into Logic
.220
NJ. Mamede and
J
.P. Martins
Many-Valued Tense Logic and the Problem of Determinism
.228
K. Trzesicki
Session
7:
Invited Address
Bilattices in Logic Programming
.238
M. Fining
Session 8a: Logic and Algebra
Intersections of Isotone Clones on
а
Finite Set
.248
J. Demetrovics, M. Miyakawa, I.G. Rosenberg,
DASimovici, and I. Stojmenovic
On the Structure of Maximal Closed Sets of Pjq
.254
M. Miyakawa, I. Stojmenovic, D.
Lau,
ana T.
Misnima
Approximate Reasoning in Strength Logic
.262
H. Zhang
Induction of Fuzzy Production Rules
.270
O.O.
Silva
and CM.
Souza
A General Fuzzy Logical Operator Set
.279
L. Cheng and M.
Ни
Session 8b: Logic Design
Π
A Comparative Analysis of Multiplexer Techniques for the
Minimization of Function Cost Using the Costtable Approach
.286
J.T. Butler, H.G. Kerkhoff, and S. Onneweer
Concerning the Maximum Size of the Terms in the
Realization of Symmetric Functions
.292
J.C. Muzio
Step-Wise Synthesis of
CCD
MVL Functions
.300
S.G. Zaky, Z.G. Vranesic, andMM. Abd-El-Barr
Minimization of Functions with Multiple-Valued Outputs:
Theory and Applications
.308
S. Devadas
On the Synthesis of MVMT Functions for
PLA
Implementation Using CCDs
.316
MB. Abd-El-Barr and
H. C
hoy
Session
9:
Invited Address
Theory of Plausible Reasoning
-
Foundations and Methodology
.325
R.S.
Michalskí
Session 10a: Logic and Artificial Intelligence
Many-Valued Logics and Plausible Reasoning
.328
W
A. Carnielli
XIII
Strength of the Rule of Inference
.336
M
.
Otake, T. Mishima, and
Y. Manóme
Paraconsistent Disjunctive Deductive Databases
.339
VS. Subrahmanian
Session 10b: Circuits
Ш
4-
Valued BiCMOS Circuits for the Transmission System of a
Massively Parallel Architecture
.348
D. Etiemble, C. Chanussot, and V.
Neri
Modular Design of Multiple-Valued Arithmetic VLSI System
Using Signed-Digit Number System
.355
M. Kameyama, M. Nomura, and T. Higuchi
Integrator-Chain Multiplier
.363
НЉ.
Ho and
K.C.Smith
Session
1
la: Artificial Intelligence and Expert Systems
Fault-Recovery and Intelligent Distributed System
.372
Z.W.
Ras
The Learning Aspects of the Fault Finder Expert System
.378
W. Elliott, Jr. and M. Schneider
Goal-Oriented Control of VLSI Design Processes Based on Fuzzy Sets
.386
R. Felix
A CMOS Current-Mode High Speed Fuzzy Logic Microprocessor for a
Real-Time
Expert System
.394
L. Zhijian andJ. Hong
Session lib: Special Applications
π
The Analysis of One Dimensional Multiple-Valued Linear Cellular Automata
. 402
K.
Cotteli
and
M.
Serra
Some Relationships Between Multiple-Valued Kleenean Functions and
Ternary Input Multiple-Valued Output Functions
.410
Y.
Hata,
К.
Nakashima, and
Κ, Υ
amato
A Design of Multiple-Valued Logic Neuron
.418
T. Watanabe, M. Matswnoto, M. Enokida, and T. Hasegawa
Multi-
Valued Neural Logic Networks
.426
L.-S. Hsu, H.-H. Teh, S.-C. Chan, andKJF.
Loe
Author Index
.437
XIV |
| any_adam_object | 1 |
| author_corporate | International Symposium on Multiple Valued Logic Charlotte, NC International Symposium on Multiple Valued Logic |
| author_corporate_role | aut aut |
| author_facet | International Symposium on Multiple Valued Logic Charlotte, NC International Symposium on Multiple Valued Logic |
| author_sort | International Symposium on Multiple Valued Logic Charlotte, NC |
| building | Verbundindex |
| bvnumber | BV006604985 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.45 |
| callnumber-search | QA9.45 |
| callnumber-sort | QA 19.45 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1990 |
| ctrlnum | (OCoLC)35487011 (DE-599)BVBBV006604985 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV006604985</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110831</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930210s1990 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818620463</subfield><subfield code="9">0-8186-2046-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818660465</subfield><subfield code="9">0-8186-6046-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818690461</subfield><subfield code="9">0-8186-9046-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35487011</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006604985</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.45</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Symposium on Multiple Valued Logic</subfield><subfield code="n">20</subfield><subfield code="d">1990</subfield><subfield code="c">Charlotte, NC</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5049574-4</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the twentieth International Symposium on Multiple-Valued Logic</subfield><subfield code="b">May 23 - 25, 1990, Charlotte, North Carolina, USA</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">LosAlamitos, Calif. [u.a.]</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 438 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique multivalente - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Many-valued logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Switching theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Threshold logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1990</subfield><subfield code="z">Charlotte NC</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="711" ind1="2" ind2="2"><subfield code="a">International Symposium on Multiple Valued Logic</subfield><subfield code="n">20</subfield><subfield code="d">1990</subfield><subfield code="c">Charlotte, NC</subfield><subfield code="0">(DE-588)5049574-4</subfield><subfield code="4">aut</subfield><subfield code="t">Proceedings</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004219028&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004219028</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1990 Charlotte NC gnd-content |
| genre_facet | Konferenzschrift 1990 Charlotte NC |
| id | DE-604.BV006604985 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:19:53Z |
| institution | BVB |
| institution_GND | (DE-588)5049574-4 |
| isbn | 0818620463 0818660465 0818690461 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004219028 |
| oclc_num | 35487011 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-83 DE-706 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-83 DE-706 |
| physical | XIV, 438 S. Ill., graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | IEEE Computer Soc. Press |
| record_format | marc |
| spelling | International Symposium on Multiple Valued Logic 20 1990 Charlotte, NC Verfasser (DE-588)5049574-4 aut Proceedings of the twentieth International Symposium on Multiple-Valued Logic May 23 - 25, 1990, Charlotte, North Carolina, USA LosAlamitos, Calif. [u.a.] IEEE Computer Soc. Press 1990 XIV, 438 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Logique multivalente - Congrès Many-valued logic Congresses Switching theory Congresses Threshold logic Congresses Mehrwertige Logik (DE-588)4169335-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1990 Charlotte NC gnd-content Mehrwertige Logik (DE-588)4169335-8 s DE-604 International Symposium on Multiple Valued Logic 20 1990 Charlotte, NC (DE-588)5049574-4 aut Proceedings Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004219028&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the twentieth International Symposium on Multiple-Valued Logic May 23 - 25, 1990, Charlotte, North Carolina, USA Logique multivalente - Congrès Many-valued logic Congresses Switching theory Congresses Threshold logic Congresses Mehrwertige Logik (DE-588)4169335-8 gnd |
| subject_GND | (DE-588)4169335-8 (DE-588)1071861417 |
| title | Proceedings of the twentieth International Symposium on Multiple-Valued Logic May 23 - 25, 1990, Charlotte, North Carolina, USA |
| title_alt | Proceedings |
| title_auth | Proceedings of the twentieth International Symposium on Multiple-Valued Logic May 23 - 25, 1990, Charlotte, North Carolina, USA |
| title_exact_search | Proceedings of the twentieth International Symposium on Multiple-Valued Logic May 23 - 25, 1990, Charlotte, North Carolina, USA |
| title_full | Proceedings of the twentieth International Symposium on Multiple-Valued Logic May 23 - 25, 1990, Charlotte, North Carolina, USA |
| title_fullStr | Proceedings of the twentieth International Symposium on Multiple-Valued Logic May 23 - 25, 1990, Charlotte, North Carolina, USA |
| title_full_unstemmed | Proceedings of the twentieth International Symposium on Multiple-Valued Logic May 23 - 25, 1990, Charlotte, North Carolina, USA |
| title_short | Proceedings of the twentieth International Symposium on Multiple-Valued Logic |
| title_sort | proceedings of the twentieth international symposium on multiple valued logic may 23 25 1990 charlotte north carolina usa |
| title_sub | May 23 - 25, 1990, Charlotte, North Carolina, USA |
| topic | Logique multivalente - Congrès Many-valued logic Congresses Switching theory Congresses Threshold logic Congresses Mehrwertige Logik (DE-588)4169335-8 gnd |
| topic_facet | Logique multivalente - Congrès Many-valued logic Congresses Switching theory Congresses Threshold logic Congresses Mehrwertige Logik Konferenzschrift 1990 Charlotte NC |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004219028&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT internationalsymposiumonmultiplevaluedlogiccharlottenc proceedingsofthetwentiethinternationalsymposiumonmultiplevaluedlogicmay23251990charlottenorthcarolinausa |