Conferences in DBLP
Lotfi A. Zadeh Fuzzy Logic as a Basis for a Theory of Hierarchical Definability (THD). [Citation Graph (0, 0)][DBLP ] Conf ] Elena Dubrova Implementation of Multiple-Valued Functions Using Literal-Splitting Technique. [Citation Graph (0, 0)][DBLP ] Conf ] Noboru Takagi , Kyoichi Nakashima Hyperoperations on {0, 1, 2} Based on Min, Max, and Universal Literal Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshinori Yamamoto An extension of ternary majority function and its application to evolvable system. [Citation Graph (0, 0)][DBLP ] Conf ] Jong-Hak Hwang , Kyung-Jae Moon , Seung-Yong Park , Heung-Soo Kim A New Construction of the Irreducible Polynomial for parallel multiplier over GF(2m). [Citation Graph (0, 0)][DBLP ] Conf ] K. J. Adams , J. McGregor New Information on the Effectiveness of Different Reed-Muller Algebras on the Representation of Quaternary Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan J. Falkowski , Cheng Fu Polynomial Expansions over GF(3) based on Fastest Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Chol-U Lee , Gi-Young Byun , Bu-Sik Shin , Jae-Hwan Sim , Heung-Soo Kim The Generation Circulation Method to Generalized Reed-Muller Coefficients over GF(3). [Citation Graph (0, 0)][DBLP ] Conf ] Dragan Jankovic , Radomir S. Stankovic , Claudio Moraga Optimization of GF(4) Expressions Using the Extended Dual Polarity Property. [Citation Graph (0, 0)][DBLP ] Conf ] Irina Perfilieva Normal Forms for Fuzzy Logic Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Vilém Novák Towards Fuzzy Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Siegfried Gottwald Universes of Fuzzy Sets - A Short Survey. [Citation Graph (0, 0)][DBLP ] Conf ] Khosro Soleimani , Mashaallah Mashinchi , Hamid Reza Maleki Fixed Points for Fuzzy Rule Bases and Fuzzy Chaining Syllogism. [Citation Graph (0, 0)][DBLP ] Conf ] Syoji Kobashi , Katsuya Kondo , Yutaka Hata Automated Finding of the Willis Ring in MR Angiography Images Using Fuzzy Knowledge Base. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Sakiyama , Takafumi Aoki , Tatsuo Higuchi Counter Tree Diagrams for Design and Analysis of Fast Addition Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Takahiro Hanyu , Tomohiro Takahashi , Michitaka Kameyama Bidirectional Data Transfer Based Asynchronous VLSI System Using Multiple-Valued Current Mode Logic. [Citation Graph (0, 0)][DBLP ] Conf ] E. Kinvi-Boh , M. Aline , Olivier Sentieys , Edgar "Dan" Olson MVL circuit design and characterization at the transistor level using SUS-LOC. [Citation Graph (0, 0)][DBLP ] Conf ] Hafiz Md. Hasan Babu , Md. Rafiqul Islam , Amin Ahsan Ali , Mohammad Musa Salehin Akon A Technique for Logic Design of Voltage-Mode Pass Transistor Based Multi-Valued Multiple-Output Logic Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Gi Soo Na , Sang Wan Kim , Jai Sock Choi , Heung-Soo Kim Recursive Evaluation of the Generalized Reed-Muller Coefficients. [Citation Graph (0, 0)][DBLP ] Conf ] Tsutomu Sasao Cascade Realizations of Two-valued Input Multiple-Valued Output Functions using Decomposition of Group Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Seok-Bum Ko , Jien-Chung Lo A Novel Technology Mapping Method for AND/XOR Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Anas Al-Rabadi Iterative Symmetry Indices Decomposition for Ternary Logic Synthesis in Three-Dimensional Space. [Citation Graph (0, 0)][DBLP ] Conf ] Mozammel H. A. Khan , Marek A. Perkowski , Pawel Kerntopf Multi-Output Galois Field Sum of Products Synthesis with New Quantum Cascades. [Citation Graph (0, 0)][DBLP ] Conf ] Shoulie Xie , Susanto Rahardja , Zhenghui Gu Relationship between UCHT and FFT. [Citation Graph (0, 0)][DBLP ] Conf ] Dan A. Simovici Several Remarks on Non-Boolean Functions over Boolean Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Tomoko Ninomiya , Masao Mukaidono Complete and Independent Sets of Axioms of Boolean Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Norbert Preining , Richard Zach Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Ansótegui , Felip Manyà New Logical and Complexity Results for Signed-SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Christian G. Fermüller , Agata Ciabattoni From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuya Asai , Yoshihito Amemiya Biomorphic Analog Devices based on Reaction-Diffusion Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Takahiro Hanyu , Akira Mochizuki , Michitaka Kameyama Multiple-Valued Dynamic Source-Coupled Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Katsuhiko Degawa , Takafumi Aoki , Tatsuo Higuchi A Field-Programmable Digital Filter Chip Using Multiple-Valued Current-Mode Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Sung Il Han , Young Hee Choi , Hyeon Kyeong Seong , Heung-Soo Kim A Study on the Design of Flash Analog to Quaternary Converter Using DLC Comparator. [Citation Graph (0, 0)][DBLP ] Conf ] Omid Mirmotahari , Yngvar Berg A Novel Multiple-Input Multiple-Valued Semi-Floating-Gate LATC. [Citation Graph (0, 0)][DBLP ] Conf ] D. Michael Miller , Gerhard W. Dueck On the Size of Multiple-Valued Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Denis V. Popel , Rolf Drechsler Efficient Minimization of Multiple-valued Decision Diagrams for Incompletely Specified Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Shinobu Nagayama , Tsutomu Sasao Compact Representations of Logic Functions using Heterogeneous MDDs. [Citation Graph (0, 0)][DBLP ] Conf ] Rusins Freivalds , Masahiro Miyakawa , Ivo G. Rosenberg Complexity of Decision Trees for Boolean Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Inokawa , Yasuo Takahashi Experimental and Simulation Studies of Single-Electron-Transistor-Based Multiple-Valued Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Ki-Whan Song , Sang-Hoon Lee , Dae Hwan Kim , Kyung Rok Kim , Jaewoo Kyung , Gwanghyeon Baek , Chun-An Lee , Jong Duk Lee , Byung-Gook Park Complementary Self-Biased Scheme for the Robust Design of CMOS/SET Hybrid Multi-Valued Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuya Uemura , Masafumi Yamamoto Proposal of Four-Valued MRAM based on MTJ/RTD Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Große , Görschwin Fey , Rolf Drechsler Modeling Multi-Valued Circuits in SystemC. [Citation Graph (0, 0)][DBLP ] Conf ] Elena N. Zaitseva Dynamic Reliability Indices for Multi-State System. [Citation Graph (0, 0)][DBLP ] Conf ] Marsha Chechik , Wendy MacCaull CTL Model-Checking over Logics with Non-Classical Negations. [Citation Graph (0, 0)][DBLP ] Conf ] Hajime Machida , Ivo G. Rosenberg On the Centralizers of Monoids in Clone Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Grant Pogosyan , Ivo G. Rosenberg Generation of the Post Lattice by Irreducible Clones. [Citation Graph (0, 0)][DBLP ] Conf ] Lucien Haddad , G. E. Simons On Intervals of Partial Clones of Boolean Partial Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan J. Falkowski , Cheng Fu Family of Fast Transforms over GF(3) Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Mitchell A. Thornton Spectral Transforms of Mixed-radix MVL Functions. [Citation Graph (0, 0)][DBLP ] Conf ] René Krenz , Elena Dubrova , Andreas Kuehlmann Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei A. Krokhin , Andrei A. Bulatov , Peter Jeavons Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Moraga , Chongfu Huang Learning subjective probabilities from a small data set. [Citation Graph (0, 0)][DBLP ] Conf ] Görschwin Fey , Sebastian Kinder , Rolf Drechsler Using Games for Benchmarking and Representing the Complete Solution Space using Symbolic Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Denis V. Popel From Continuous to Multiple-valued Data. [Citation Graph (0, 0)][DBLP ] Conf ] D. Michael Miller , Rolf Drechsler Augmented Sifting of Multiple-Valued Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Jon T. Butler , Tsutomu Sasao On the Average Path Length in Decision Diagrams of Multiple-Valued Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Susanto Rahardja , Shoulie Xie Generalized Complex Spectral Decision Diagrams Using Unified Complex Hadamard Transform. [Citation Graph (0, 0)][DBLP ] Conf ] 