share record
persistent URL:
Hajime Machida , Jovanka Pantovic , Ivo G. Rosenberg : Galois Connection for Hyperclones. ISMVL 2010 : 201-204 share record
persistent URL:
Hajime Machida , Ivo G. Rosenberg : Endoprimal Monoids and Witness Lemma in Clone Theory. ISMVL 2010 : 195-200 share record
persistent URL:
Enrico Marchioni , George Metcalfe : Interpolation Properties for Uninorm Based Logics. ISMVL 2010 : 205-210 share record
persistent URL:
Atsushi Matsumoto , Naoya Onizawa , Takahiro Hanyu : One-Color Two-Phase Asynchronous Communication Links Based on Multiple-Valued Simultaneous Control. ISMVL 2010 : 211-216 share record
persistent URL:
D. Michael Miller , Robert Wille , Rolf Drechsler : Reducing Reversible Circuit Cost by Adding Lines. ISMVL 2010 : 217-222 share record
persistent URL:
Claudio Moraga : Spectral Techniques: The First Decade of the XXI Century (Invited Paper). ISMVL 2010 : 3-8 share record
persistent URL:
Claudia Muresan : Co-stone Residuated Lattices. ISMVL 2010 : 104-107 share record
persistent URL:
Shinobu Nagayama , Tsutomu Sasao , Jon T. Butler : Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDs. ISMVL 2010 : 223-228 share record
persistent URL:
Hiroki Nakahara , Tsutomu Sasao , Munehiro Matsuura : A Comparison of Architectures for Various Decision Diagram Machines. ISMVL 2010 : 229-234 share record
persistent URL:
Masanori Natsui , Takashi Arimitsu , Takahiro Hanyu : Low-Energy Pipelined Multiple-Valued Current-Mode Circuit with 8-Level Static Current-Source Control. ISMVL 2010 : 235-240 share record
persistent URL:
Mirko Navara , Milan Petrík , Peter Sarkoci : Reconstruction of Additive Generators from Partial Derivatives of Continuous Archimedean t-Norms. ISMVL 2010 : 241-244 share record
persistent URL:
Antonio Di Nola , Tommaso Flaminio : Generating the Variety of SMV-Algebras. ISMVL 2010 : 140-143 export record
dblp key:
conf/ismvl/PerkowskiALSB10 share record
persistent URL:
Marek A. Perkowski , Nouraddin Alhagi , Martin Lukac , Neha Saxena , Scott Blakely : Synthesis of Small Reversible and Pseudo-Reversible Circuits Using Y-Gates and Inverse Y-Gates. ISMVL 2010 : 245-251 export record
dblp key:
conf/ismvl/Picado-Muino10 share record
persistent URL:
David Picado-Muiño : A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics. ISMVL 2010 : 252-257 share record
persistent URL:
Henri Prade , Gilles Richard : Multiple-Valued Logic Interpretations of Analogical, Reverse Analogical, and Paralogical Proportions. ISMVL 2010 : 258-263 share record
persistent URL:
Ashur Rafiev , Julian P. Murphy , Alexandre Yakovlev : Secure Design Flow for Asynchronous Multi-valued Logic Circuits. ISMVL 2010 : 264-269 share record
persistent URL:
David J. Rosenbaum , Marek A. Perkowski : Mapping Binary Functions to a Practical Adiabatic Quantum Computer. ISMVL 2010 : 270-275 share record
persistent URL:
Yasaman Sanaee , Gerhard W. Dueck : ESOP-Based Toffoli Network Generation with Transformations. ISMVL 2010 : 276-281 share record
persistent URL:
Tsutomu Sasao : On the Number of Products to Represent Interval Functions by SOPs with Four-Valued Variables. ISMVL 2010 : 282-287 share record
persistent URL:
Karsten Schölzel : Number of Maximal Partial Clones. ISMVL 2010 : 288-293 share record
persistent URL:
João Marques-Silva : Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper). ISMVL 2010 : 9-14 share record
persistent URL:
Dan A. Simovici , Dan Pletea , Rosanne Vetro : Information-Theoretical Mining of Determining Sets for Partially Defined Functions. ISMVL 2010 : 294-299 share record
persistent URL:
Daniel Stamate : Queries with Multivalued Logic-Based Semantics for Imperfect Information Fusion. ISMVL 2010 : 300-306 share record
persistent URL:
Radomir S. Stankovic , Jaakko Astola , Claudio Moraga : Remarks on Applicability of Spectral Representations on Finite Non-Abelian Groups in the Design for Regularity. ISMVL 2010 : 313-318 export record
dblp key:
conf/ismvl/StankovicAMS10 share record
persistent URL:
Stanislav Stankovic , Jaakko Astola , D. Michael Miller , Radomir S. Stankovic : Heterogeneous Decision Diagrams for Applications in Harmonic Analysis on Finite Non-Abelian Groups. ISMVL 2010 : 307-312 share record
persistent URL:
Umberto Straccia : An Ontology Mediated Multimedia Information Retrieval System. ISMVL 2010 : 319-324 export record
dblp key:
conf/ismvl/SugiyamaNNOW10 share record
persistent URL:
Naoki Sugiyama , Hiroshi Noto , Yoshito Nishigami , Ryosuke Oda , Takao Waho : A Low-Power Successive Approximation Analog-to-Digital Converter Based on 2-Bit/Step Comparison. ISMVL 2010 : 325-330 share record
persistent URL:
Yasushi Yuminaka , Kyohei Kawano : A Ternary Partial-Response Signaling Scheme for Capacitively Coupled Interface. ISMVL 2010 : 331-336 share record
persistent URL:
40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010. IEEE Computer Society 2010 , ISBN 978-0-7695-4024-5 [contents]