default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Multiple-Valued Logic, Volume 19
Volume 19, Numbers 1-3, 2012
- Francesc Esteva, Joan Gispert, Felip Manyà:
Introduction to the Special Issue of the IEEE 40th International Symposium on Multiple-Valued Logic. 1-2 - Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà:
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. 3-23 - Félix Bou:
Infinite-valued Lukasiewicz Logic Based on Principal Lattice Filters. 25-39 - Manuela Busaniche, Leonardo Manuel Cabrer:
Completions in Subvarieties of BL-algebras. 41-50 - Carlos Caleiro, João Marcos:
Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay. 51-70 - Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra:
Valuations in Gödel Logic, and the Euler Characteristic. 71-84 - Miguel Couceiro, Lucien Haddad:
Intersections of Finitely Generated Maximal Partial Clones. 85-94 - Pilar Dellunde:
Revisiting Ultraproducts in Fuzzy Predicate Logics. 95-108 - Elena Dubrova, Ming Liu, Maxim Teslenko:
Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-based Bounded Model Checking. 109-131 - Hadi Hosseini, Gerhard W. Dueck:
Toffoli Gate Implementation Using The Billiard Ball Model. 133-147 - Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg:
Regular Sets of Operations. 149-162 - João Marques-Silva:
Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions. 163-183 - D. Michael Miller, Robert Wille, Rolf Drechsler:
Reducing Reversible Circuit Cost by Adding Lines. 185-201 - Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura:
A Comparison of Multi-Valued and Heterogeneous Decision Diagram Machines. 203-217 - Masanori Natsui, Takashi Arimitsu, Takahiro Hanyu:
Low-Energy Pipelined Multiple-Valued Current-Mode Circuit Based on Current-Level Control Technique. 219-231 - Dan A. Simovici, Dan Pletea, Rosanne Vetro:
Learning Determining Sets of Finite Partially Defined Functions. 233-250 - Radomir S. Stankovic, Jaakko Astola, Claudio Moraga:
Design of Multiple-Valued Logic Networks with Regular Structure by Using Spectral Representations. 251-269 - Yasushi Yuminaka, Kyohei Kawano:
A Bandwidth-Efficient Ternary Signaling Scheme for 1-D Partial-Response Channels. 271-282
Volume 19, Number 4, 2012
- Francesc Esteva, Joan Gispert, Felip Manyà:
Foreward. 283 - Jaakko Astola, Radomir S. Stankovic:
Determination of Sparse Representations of Multiple-Valued Logic Functions by Using Covering Codes. 285-306 - Cicilia C. Lozano, Bogdan J. Falkowski, Tadeusz Luba:
Fixed Polarity Linearly Independent Expansions for the Representation of Quaternary Functions. 307-324 - David Y. Feinstein, Mitchell A. Thornton:
Reversible Logic Synthesis Based on Decision Diagram Variable Ordering. 325-339 - Claudio Moraga, Radomir S. Stankovic, Jaakko Astola:
Spectral Analysis of Mosaics. 341-359 - Robert Wille, Daniel Große, D. Michael Miller, Rolf Drechsler:
Equivalence Checking of Reversible Circuits. 361-378
Volume 19, Numbers 5-6, 2012
- Kevin Kam Fung Yuen:
A Granulation-Interpolation Computing Approach for Constructing a Collection of Fuzzy Sets. 379-407 - G. S. Mahapatra, T. K. Mandal, G. P. Samanta:
An EPQ Model with Imprecise Space Constraint Based on Intuitionistic Fuzzy Optimization Technique. 409-423 - Marios Kalathas, Dimitrios Voudouris, George K. Papakonstantinou:
ESCT Minimization for Incompletely Specified Functions. 425-449 - Reza Ameri, Tahereh Nozari:
Complete Parts and Fundamental Relation of Fuzzy Hypersemigroups. 451-460 - Grzegorz Dymek:
p-semisimple pseudo-BCI-algebras. 461-474 - Muhammad Akram, Bijan Davvaz:
Generalized Fuzzy Ideals of K-algebras. 475-491 - Tamás Waldhauser:
On Composition-closed Classes of Boolean Functions. 493-518 - Bijan Davvaz, Violeta Leoreanu Fotea:
Structures of Fuzzy Γ-hyperideals in Γ-semihypergroups. 519-535 - Marius Tarnauceanu:
A Note on the Lattice of Fuzzy Subgroups of a Finite Group. 537-545 - Xueling Ma, Jianming Zhan, Young Bae Jun:
Soft R0-Algebras Based on Fuzzy Sets. 547-563 - Ferhan Çebi, Cengiz Kahraman:
Single and Multiple Attribute Fuzzy Pareto Models. 565-590 - Ana M. Palacios, Luciano Sánchez, Inés Couso:
Boosting of Fuzzy Rules with Low Quality Data. 591-619 - Yichuan Yang, Wolfgang Rump:
Pseudo-MV Algebras as L-algebras. 621-632
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-04 11:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
