Conferences in DBLP
Janusz A. Brzozowski , Zoltán Ésik , Y. Iland Algebras for Hazard Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Mostafa H. Abd-El-Barr , Abdullah Al-Mutawa A New Improved Cost-Table-Based Technique for Synthesis of 4-Valued Unary Functions Implemented Using Current-Mode CMOS Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Tsukasa Ike , Takahiro Hanyu , Michitaka Kameyama Dual-Rail Multiple-Valued Current-Mode VLSI with Biasing Current Sources. [Citation Graph (0, 0)][DBLP ] Conf ] Motoi Inaba , Koichi Tanno , Okihiko Ishizuka Realization of NMAX and NMIN Functions with Multi-Valued Voltage Comparators. [Citation Graph (0, 0)][DBLP ] Conf ] Mou Hu An Application of Multiple-Valued Logic to Test Case Generation for Software System Functional Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Mark G. Karpovsky , Radomir S. Stankovic , Claudio Moraga Spectral Techniques in Binary and Multiple-Valued Switching Theory. [Citation Graph (0, 0)][DBLP ] Conf ] W. Prost , U. Auer , F.-J. Tegude , Christian Pacha , Karl Goser , Rainer Duschl , K. Eberl , O. Schmidt Tunnelling Diode Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Imed Ben Dhaou , Elena Dubrova , Hannu Tenhunen Power Efficient Inter-Module Communication for Digit-Serial DSP Architectures in Deep-Submicron Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Sung Il Han , Young Hee Choi , Heung See Kim A 4-Digit CMOS Quaternary to Analog Converter with Current Switch and Neuron MOS Down Literal Circuit. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Maria Radzikowska , Etienne E. Kerre On Some Classes of Fuzzy Information Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Francesc Esteva , Lluis Godo On Complete Residuated Many-Valued Logics with T-Norm Conjunction. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuya Uemura , Toshio Baba A Three-Valued D-Flip-Flop and Shift Register Using Multiple-Junction Surface Tunnel Transistors. [Citation Graph (0, 0)][DBLP ] Conf ] Takao Waho , Kazufumi Hattori , Y. Takamatsu Flash Analog-to-Digital Converter Using Resonant-Tunneling Multiple-Valued Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] H. Teng , R. Bolton The Use of Arithmetic Operators in a Self-Restored Current-Mode CMOS Multiple-Valued Logic Design Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Evren Gürkan , Aydan M. Erkmen , Ismet Erkmen Evaluation of Inconsistency in a 2-Way Fuzzy Adaptive System Using Shadowed Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroaki Kikuchi Identification of Incompletely Specified Fuzzy Unate Logic Function. [Citation Graph (0, 0)][DBLP ] Conf ] Viorica Sofronie-Stokkermans Representation Theorems and the Semantics of (Semi)Lattice-Based Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Reiner Hähnle Complexity of Many-Valued Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Zbigniew Stachniak Exploiting Polarity in Multiple-Valued Inference Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Anas Al-Rabadi , Marek A. Perkowski Multiple-Valued Galois Field S/D Trees for GFSOP Minimization and Their Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Takahiro Hanyu , Michitaka Kameyama , Katsuhiko Shimabukuro , C. Zukeran Multiple-Valued Mask-Programmable Logic Array Using One-Transistor Universal-Literal Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Lang , Bernd Steinbach Decomposition of Multi-Valued Functions into Min- and Max-Gates. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Agata Ciabattoni , Christian G. Fermüller Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Marsha Chechik , Steve M. Easterbrook , Benet Devereux Model Checking with Multi-Valued Temporal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Van Heule , Albert Hoogewijs Automated Reasoning with Ordinary Assertions and Default Assumptions. [Citation Graph (0, 0)][DBLP ] Conf ] V. Cheushev , Svetlana N. Yanushkevich , Vlad P. Shmerko , Claudio Moraga , Joanna Kolodziejczyk Information Theory Method for Flexible Network Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Tsutomu Sasao Compact SOP Representations for Multiple-Output Functions: An Encoding Method Using Multiple-Valued Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Anna M. Tomaszewska , Piotr Dziurzanski , Svetlana N. Yanushkevich , Vlad P. Shmerko Two-Stage Exact Detection of Symmetrics. [Citation Graph (0, 0)][DBLP ] Conf ] Ramón Béjar , Reiner Hähnle , Felip Manyà A Modular Reduction of Regular Logic to Classical Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Agata Ciabattoni , Christian G. Fermüller Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. [Citation Graph (0, 0)][DBLP ] Conf ] S. Selezneva Polynomial-Time Algorithms for Verification of Some Properties of k-Valued Functions Represented by Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Takahiro Hanyu Challenge of a Multiple-Valued Technology in Recent Deep-Submicron VLSI. [Citation Graph (0, 0)][DBLP ] Conf ] Masahiko Hiratsuka , Takafumi Aoki , Tatsuo Higuchi A Model of Reaction-Diffusion Cellular Automata for Massively Parallel Molecular Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Masanori Natsui , Takafumi Aoki , Tatsuo Higuchi Synthesis of Multiple-Valued Arithmetic Circuits Using Evolutionary Graph Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Dan A. Simovici , Szymon Jaroszewicz An Axiomatization of Generalized Entropy of Partitions. [Citation Graph (0, 0)][DBLP ] Conf ] C. Morgan Many Valued Paraconsistent Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Pfalzgraf On Logical Fiberings and Decomposition of Many-Valued Operations: A Brief Survey. [Citation Graph (0, 0)][DBLP ] Conf ] Hajime Machida , Masahiro Miyakawa , Ivo G. Rosenberg Relations between Clones and Full Monoids. [Citation Graph (0, 0)][DBLP ] Conf ] Arnon Avron Classical Gentzen-Type Methods in Propositional Many-Valued Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Schmiedle , Wolfgang Günther , Rolf Drechsler Selection of Efficient Re-Ordering Heuristics for MDD Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Radomir S. Stankovic , Milena Stankovic , Jaakko Astola , Karen Egiazarian Bit-Level and Word-Level Polynomial Expressions for Functions in Fibonacci Interconnection Topologies. [Citation Graph (0, 0)][DBLP ] Conf ] Radomir S. Stankovic , Milena Stankovic , Claudio Moraga Design of Haar Wavelet Transforms and Haar Spectral Transform Decision Diagrams for Multiple-Valued Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Hájek , Zuzana Haniková A Set Theory within Fuzzy Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Tomoyuki Araki , Masao Mukaidono , F. Yamamoto On a Kleenean Extension of Fuzzy Measure. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Thiele On axiomatic characterisations of fuzzy approximation operators II. The rough fuzzy set based case. [Citation Graph (0, 0)][DBLP ] Conf ] Naotake Kamiura , Yasuyuki Taniguchi , Nobuyuki Matsui A Functional Manipulation for Improving Tolerance against Multiple-Valued Weight Faults of Feedforward Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Hisayuki Tatsumi , Yasuyuki Murai , Shinji Tokumasu Logics Circuit Diagnosis by Using Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Q. Hua , Q.-L. Zhen The Designing and Training of a Fuzzy Neural Hamming Classifier. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Aguzzoli , Daniele Mundici Weierstrass Approximations by Lukasiewicz Formulas with One Quantified Variable. [Citation Graph (0, 0)][DBLP ] Conf ] Patrik Eklund , Maria A. Galán , Jesús Medina , Manuel Ojeda-Aciego , Agustín Valverde Composing Submonads. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Ma , Jun Liu , Yang Xu A Method of Uncertainty Reasoning by Using Information. [Citation Graph (0, 0)][DBLP ] Conf ] 