Conferences in DBLP
Claudi Alsina As You Like Them: Connectives in Fuzzy Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Drechsler Verification of Multi-Valued Logic Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Zeljko Zilic , Zvonko G. Vranesic New Interpolation Algorithms for Multiple-Valued Reed-Muller Forms. [Citation Graph (0, 0)][DBLP ] Conf ] Susanto Rahardja , Bogdan J. Falkowski Family of Fast Mixed Arithmetic Logic Transforms for Multiple-Valued Input Binary Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio di Nola Non-Archimedean Models of Lukasiewicz Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Noboru Takagi , Kyoichi Nakashima , Masao Mukaidono A Necessary and Sufficient Condition for Lukasiewicz Logic Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Bignall , M. Spinks Propositional Skew Boolean Logic. [Citation Graph (0, 0)][DBLP ] Conf ] L. J. de Miguel , Margarita Mediavilla , Jose Ramón Perán González Fault Diagnosis System Based on Sensitivity Analysis and Fuzzy Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Dubrova , Jon C. Muzio Testability of Generalized Multiple-Valued Reed-Muller Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Mou Hu Design of One-Vector Testable Binary Systems Based on Ternary Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Takao Waho , Kevin J. Chen , Masafumi Yamamoto A Literal Gate Using Resonant-Tunneling Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Ali Sheikholeslami , P. Glenn Gulak , Takahiro Hanyu A Multiple-Valued Ferroelectric Content-Addressable Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Lutz J. Micheel , Hans L. Hartnagel Interband RTDs with Nanoelectronic HBT-LED Structures for Multiple-Valued Computation. [Citation Graph (0, 0)][DBLP ] Conf ] K. Wayne Current , Vojin G. Oklobdzija , Dragan Maksimovic Low-Energy Logic Circuit Techniques for Multiple-Valued Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Noriaki Muranaka , Shigenobu Arai , Shigeru Imanishi , D. Michael Miller A Ternary Systolic Product-Sum Circuit for GF(3m) using Neuron MOSFETs. [Citation Graph (0, 0)][DBLP ] Conf ] Mostafa H. Abd-El-Barr , M. N. Hasan New MVL-PLA Structures Based on Current-Mode CMOS Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Masami Nakajima , Michitaka Kameyama Design of Highly Parallel Linear Digital Circuits Based on Symbol-Level Redundancy. [Citation Graph (0, 0)][DBLP ] Conf ] Come Rozon On the Use of VHDL as a Multi-Valued Logic Simulator. [Citation Graph (0, 0)][DBLP ] Conf ] Reiner Hähnle Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Weiru Liu The Incidence Propagation Method. [Citation Graph (0, 0)][DBLP ] Conf ] Herman Akdag , Myriam Mokhtari Approximative Conjunctions Processing by Multi-Valued Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Christian G. Fermüller Intuitionistic Counterparts of Finitely-Valued Logics. [Citation Graph (0, 0)][DBLP ] Conf ] G. Malinowski Helena Rasiowa - A View of the Academic Trajectory and the Influence upon Polish and the International Scientific Community. [Citation Graph (0, 0)][DBLP ] Conf ] Josep Maria Font On the Contributions of Helena Rasiowa to Mathematical Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Ton Sales From Pure to Approximate Logic. [Citation Graph (0, 0)][DBLP ] Conf ] V. Cutello , E. Molina , J. Montero Associativeness versus Recursiveness. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan Bezzazi , Ramón Pino Pérez Rational Transitivity and its Models. [Citation Graph (0, 0)][DBLP ] Conf ] Dan A. Simovici , Corina Reischer Several Remarks on the Complexity of Set-Valued Switching Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Bugarín , Purificación Cariñena , Manuel Fernández Delgado , Senén Barro Petri Net Representation of Fuzzy Reasoning under Incomplete Information. [Citation Graph (0, 0)][DBLP ] Conf ] S. Lehmke Weight Structures for Approximate Reasoning with Weighted Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Salem Benferhat , Didier Dubois , Henri Prade Reasoning in Inconsistent Stratified Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Lotfi A. Zadeh Inference in Fuzzy Logic via Generalized Constraint Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Thiele On Isomorphisms between the Lattice of Tolerance Relations and Lattices of Clusterings. [Citation Graph (0, 0)][DBLP ] Conf ] Ivo G. Rosenberg An Algebraic Approach to Hyperalgebras. [Citation Graph (0, 0)][DBLP ] Conf ] Yasushi Yuminaka , Yoshisato Sasaki , Takafumi Aoki , Tatsuo Higuchi Wave-Parallel Computing Technique for Neural Networks Based on Amplitude-Modulated Waves. [Citation Graph (0, 0)][DBLP ] Conf ] Wenjun Wang , Claudio Moraga Design of Multivalued Circuits using Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Takahiro Hanyu , Manabu Arakaki , Michitaka Kameyama Quaternary Universal-Literal CAM for Cellular Logic Image Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Hao Tang , Hung Chang Lin Multi-Valued Decoder Based on Resonant Tunneling Diodes in Current Tapping Mode. [Citation Graph (0, 0)][DBLP ] Conf ] Jon T. Butler , J. L. Nowlin , Tsutomu Sasao Planarity in ROMDD's of Multiple-Valued Symmetric Functions. [Citation Graph (0, 0)][DBLP ] Conf ] D. Michael Miller , Noriaki Muranaka Multiple-Valued Decision Diagrams with Symmetric Variable Nodes. [Citation Graph (0, 0)][DBLP ] Conf ] Tsutomu Sasao , Jon T. Butler A Method to Represent Multiple-Output Switching Functions by Using Multi-Valued Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan J. Falkowski , Susanto Rahardja Complex Spectral Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] B. A. Romov Polynomial Completeness Criteria in Finite Boolean Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Vlad P. Shmerko , Svetlana N. Yanushkevich , Vitaly G. Levashenko , I. Bondar Technique of Computing Logic Derivatives for MVL-Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Lucien Haddad , Jean Fugère On the Lattice of Partial Clones on a Finite Set. [Citation Graph (0, 0)][DBLP ] Conf ] F. Sokhatsky The Deepest Repetition-Free Decompositions of Non-Singular Functions of Finite-Valued Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Gerberding DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Kyoichi Nakashima , Y. Nakamura , Noboru Takagi Logic Expressions of Monotonic Multiple-Valued Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Grant Pogosyan Efficiently Irreducible Bases in Multiple-Valued Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Elena N. Zaitseva , Tatiana Kalganova , Evgeny G. Kochergov Logical Not Polynomial Forms to Represent Multiple-Valued Functions. [Citation Graph (0, 0)][DBLP ] Conf ] 