Conferences in DBLP
Spectral Techniques: The First Decade of the XXI Century (Invited Paper). [Citation Graph (, )][DBLP ] Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper). [Citation Graph (, )][DBLP ] MDGs Reduction Technique Based on the HOL Theorem Prover. [Citation Graph (, )][DBLP ] The Automorphism Group of Finite Godel Algebras. [Citation Graph (, )][DBLP ] Schauder Hats for the Two-Variable Fragment of BL. [Citation Graph (, )][DBLP ] Learning of the Non-threshold Functions of Multiple-Valued Logic by a Single Multi-valued Neuron with a Periodic Activation Function. [Citation Graph (, )][DBLP ] Synthesis of Reversible Circuits with No Ancilla Bits for Large Reversible Functions Specified with Bit Equations. [Citation Graph (, )][DBLP ] New Insights into Encodings from MaxCSP into Partial MaxSAT. [Citation Graph (, )][DBLP ] Non-deterministic Multi-valued Logics--A Tutorial. [Citation Graph (, )][DBLP ] Logics of Reasonable Information Sources. [Citation Graph (, )][DBLP ] Design of Tamper-Resistant Registers for Multiple-Valued Cryptographic Processors. [Citation Graph (, )][DBLP ] On a Graded Notion of t-Norm and Dominance. [Citation Graph (, )][DBLP ] Low Voltage Semi Floating-Gate Binary to Multiple-Value and Multiple-Value to Binary Converters. [Citation Graph (, )][DBLP ] Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters. [Citation Graph (, )][DBLP ] Completions in Subvarieties of BL-Algebras. [Citation Graph (, )][DBLP ] Two Many Values: An Algorithmic Outlook on Suszko's Thesis. [Citation Graph (, )][DBLP ] Truth-Functionality, Rough Sets and Three-Valued Logics. [Citation Graph (, )][DBLP ] Co-stone Residuated Lattices. [Citation Graph (, )][DBLP ] The Euler Characteristic of a Formula in Godel Logic. [Citation Graph (, )][DBLP ] The Arity Gap of Polynomial Functions over Bounded Distributive Lattices. [Citation Graph (, )][DBLP ] Classes of Operations Closed under Permutation, Cylindrification and Composition. [Citation Graph (, )][DBLP ] Finitely Generated Maximal Partial Clones and Their Intersections. [Citation Graph (, )][DBLP ] Quaternary Voltage-Mode Logic Cells and Fixed-Point Multiplication Circuits. [Citation Graph (, )][DBLP ] Revisiting Ultraproducts in Fuzzy Predicate Logics. [Citation Graph (, )][DBLP ] Generating the Variety of SMV-Algebras. [Citation Graph (, )][DBLP ] Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model Checking. [Citation Graph (, )][DBLP ] An Evolutionary Algorithm for Optimization of Pseudo Kronecker Expressions. [Citation Graph (, )][DBLP ] Efficient Simulation-Based Debugging of Reversible Logic. [Citation Graph (, )][DBLP ] Representing Fuzzy Structures in Quantum Computation with Mixed States. [Citation Graph (, )][DBLP ] Switching Activity in Stochastic Decoders. [Citation Graph (, )][DBLP ] Toffoli Gate Implementation Using the Billiard Ball Model. [Citation Graph (, )][DBLP ] Low-Power Multiple-Valued Reconfigurable VLSI Based on Superposition of Bit-Serial Data and Current-Source Control Signals. [Citation Graph (, )][DBLP ] Note on Construction of Probabilities on Many-Valued Events via Schauder Bases and Inverse Limits. [Citation Graph (, )][DBLP ] A Classification of Partial Boolean Clones. [Citation Graph (, )][DBLP ] Endoprimal Monoids and Witness Lemma in Clone Theory. [Citation Graph (, )][DBLP ] Galois Connection for Hyperclones. [Citation Graph (, )][DBLP ] Interpolation Properties for Uninorm Based Logics. [Citation Graph (, )][DBLP ] One-Color Two-Phase Asynchronous Communication Links Based on Multiple-Valued Simultaneous Control. [Citation Graph (, )][DBLP ] Reducing Reversible Circuit Cost by Adding Lines. [Citation Graph (, )][DBLP ] Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDs. [Citation Graph (, )][DBLP ] A Comparison of Architectures for Various Decision Diagram Machines. [Citation Graph (, )][DBLP ] Low-Energy Pipelined Multiple-Valued Current-Mode Circuit with 8-Level Static Current-Source Control. [Citation Graph (, )][DBLP ] Reconstruction of Additive Generators from Partial Derivatives of Continuous Archimedean t-Norms. [Citation Graph (, )][DBLP ] Synthesis of Small Reversible and Pseudo-Reversible Circuits Using Y-Gates and Inverse Y-Gates. [Citation Graph (, )][DBLP ] A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics. [Citation Graph (, )][DBLP ] Multiple-Valued Logic Interpretations of Analogical, Reverse Analogical, and Paralogical Proportions. [Citation Graph (, )][DBLP ] Secure Design Flow for Asynchronous Multi-valued Logic Circuits. [Citation Graph (, )][DBLP ] Mapping Binary Functions to a Practical Adiabatic Quantum Computer. [Citation Graph (, )][DBLP ] ESOP-Based Toffoli Network Generation with Transformations. [Citation Graph (, )][DBLP ] On the Number of Products to Represent Interval Functions by SOPs with Four-Valued Variables. [Citation Graph (, )][DBLP ] Number of Maximal Partial Clones. [Citation Graph (, )][DBLP ] Information-Theoretical Mining of Determining Sets for Partially Defined Functions. [Citation Graph (, )][DBLP ] Queries with Multivalued Logic-Based Semantics for Imperfect Information Fusion. [Citation Graph (, )][DBLP ] Heterogeneous Decision Diagrams for Applications in Harmonic Analysis on Finite Non-Abelian Groups. [Citation Graph (, )][DBLP ] Remarks on Applicability of Spectral Representations on Finite Non-Abelian Groups in the Design for Regularity. [Citation Graph (, )][DBLP ] An Ontology Mediated Multimedia Information Retrieval System. [Citation Graph (, )][DBLP ] A Low-Power Successive Approximation Analog-to-Digital Converter Based on 2-Bit/Step Comparison. [Citation Graph (, )][DBLP ] A Ternary Partial-Response Signaling Scheme for Capacitively Coupled Interface. [Citation Graph (, )][DBLP ]