Special Issue
Dedicated to Professor Arto Salomaa
Guest Editors
C. Moraga and H. Machida
p. 1-19
Contributions of Arto Salomaa to Multiple-Valued Logic
Radomir S. Stankovic and Jaako Astola
Abstract
Full Text (IP)
p. 21-34
A Formal Approach to Designing Multiple-Valued Arithmetic Circuits
Kazuya Saito, Naofumi Homma and Takafumi Aoki
Abstract
Full Text (IP)
p. 35-51
Remarks on the Symmetric Difference from an Inferential Point of View
Itziar Garcia-Honrado and Enric Trillas
Abstract
Full Text (IP)
p. 53-71
Determining Minimized Galois Field Expressions for Ternary Functions by Using Special Normal Form
Radomir S. Stankovic, Helena Astola and Jaakko Astola
Abstract
Full Text (IP)
p. 73-92
Quantum Ternary Circuit Synthesis Using Projection Operations
Sudhindu Bikash Mandal, Amlan Chakrabarti and Susmita Sur-Kolay
Abstract
Full Text (IP)
p. 93-108
Quantum Multiple-Valued Decision Diagrams Containing Skipped Variables
David Y. Feinstein and Mitchell A. Thornton
Abstract
Full Text (IP)
p. 109-134
Quantum Phase Estimation and Arbitrary Accuracy Iterative Phase Estimation Using Multivalued Logic
Vamsi Parasa and Marek Perkowski
Abstract
Full Text (IP)
p. 135-149
Modeling System Threat Probabilities Using Mixed-Radix Multiple-Valued Logic Decision Diagrams
Theodore W. Manikas, Mitchell A. Thornton and David Y. Feinstein
Abstract
Full Text (IP)
p. 151-172
SAT and SMT Technology for Many-Valued Logics
Carlos Ansotegui, Miquel Bofill, Felip Manya and Mateu Villaret
Abstract
Full Text (IP)
p. 173-187
Entropies on Bounded Lattices
Dan A. Simovici
Abstract
Full Text (IP)
p. 189-201
Upward Saturated Hyperclones
Jelena Colic, Hajime Machida and Jovanka Pantovic
Abstract
Full Text (IP)
p. 203-222
On Equational Definability of Function Classes
Miguel Couceiro, Erkko Lehtonen and Tamas Waldhauser
Abstract
Full Text (IP)
p. 223-249
A Survey on the Arity Gap
Miguel Couceiro, Erkko Lehtonen and Tamas Waldhauser
Abstract
Full Text (IP)
p. 251-316
The Lattice of All Clones of Self-Dual Functions in Three-Valued Logic
Dmitriy Zhuk
Abstract
Full Text (IP)
p. 317-340
Computation of the Vilenkin-Chrestenson Transform on a GPU
Dusan B. Gajic and Radomir S. Stankovic
Abstract
Full Text (IP)
p. 341-368
Tuning of Parameters of a Soft Computing System for the Synthesis of Reversible Circuits
Fatima Z. Hadjam
Abstract
Full Text (IP)
p. 369-404
Highly Complex 4-Colored Rectangle-free Grids – Solution Unsolved Multiple-Valued Problems
Bernd Steinbach and Christian Posthoff
Abstract
Full Text (IP)