Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 62 matches
- 2012
- Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret:
Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. ISMVL 2012: 25-30 - Xu Bai, Michitaka Kameyama:
Current-Source-Sharing Differential-Pair Circuits for a Low-Power Fine-Grain Reconfigurable VLSI Architecture. ISMVL 2012: 208-213 - Andrei A. Bulatov, Amir Hedayaty:
Counting Predicates, Subset Surjective Functions, and Counting CSPs. ISMVL 2012: 331-336 - Jelena Colic, Hajime Machida, Jovanka Pantovic:
Clones of Incompletely Specified Operations. ISMVL 2012: 256-261 - Miguel Couceiro, Lucien Haddad:
A Survey on Intersections of Maximal Partial Clones of Boolean Partial Functions. ISMVL 2012: 287-292 - Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser:
GAP vs. PAG. ISMVL 2012: 268-273 - Miguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser:
Hierarchies of Local Monotonicities and Lattice Derivatives for Boolean and Pseudo-Boolean Functions. ISMVL 2012: 262-267 - Christian Delhommé, Masahiro Miyakawa, Maurice Pouzet, Ivo G. Rosenberg, Hisayuki Tatsumi:
Semirigid Systems of Equivalence Relations. ISMVL 2012: 293-298 - Sidharth Dhawan, Marek A. Perkowski:
ESOP-Inspired Synthesis Method for Ternary Permutative Quantum Circuits. ISMVL 2012: 57-62 - Elena Dubrova, Shohreh Sharif Mansouri:
A BDD-Based Approach to Constructing LFSRs for Parallel CRC Encoding. ISMVL 2012: 128-133 - David Y. Feinstein, Mitchell A. Thornton:
Using the Asynchronous Paradigm for Reversible Sequential Circuit Implementation. ISMVL 2012: 305-310 - Spyros Hadjichristodoulou, David Scott Warren:
Probabilistic Logic Programming with Well-Founded Negation. ISMVL 2012: 232-237 - Maher Hawash, Marek A. Perkowski:
Using Hasse Diagrams to Synthesize Ternary Quantum Circuits. ISMVL 2012: 63-68 - Naofumi Homma, Kazuya Saito, Takafumi Aoki:
Formal Design of Multiple-Valued Arithmetic Algorithms over Galois Fields and Its Application to Cryptographic Processor. ISMVL 2012: 110-115 - Majid Janidarmian, Zeljko Zilic, Katarzyna Radecka:
Issues in Multi-valued Multi-modal Sensor Fusion. ISMVL 2012: 238-243 - Sándor Jenei, Franco Montagna:
Two new classification theorems on residuated monoids. ISMVL 2012: 75-78 - Sebastian Kerkhoff:
On the Generation of (Minimal) Clones Containing Near-Unanimity Operations. ISMVL 2012: 355-360 - Shogo Kisara, Michitaka Kameyama:
Unified Current-Source Control for Low-Power Current-Mode-Logic Bit-Serial Circuits. ISMVL 2012: 104-109 - Michiro Kondo, Mayuka F. Kawaguchi:
Modal Operators on Non-commutative Residuated Lattices. ISMVL 2012: 85-88 - Michiro Kondo, Esko Turunen:
Prime Filters on Residuated Lattices. ISMVL 2012: 89-91 - Hiroaki Kotani, Ryoto Yaguchi, Takao Waho:
Energy Efficiency of Multi-bit delta-sigma Modulators Using Inverter-based Integrators. ISMVL 2012: 203-207 - Ori Lahav:
Non-deterministic Matrices for Semi-canonical Deduction Systems. ISMVL 2012: 79-84 - Benoît Larose, Adrien Lemaître:
List-Homomorphism Problems on Graphs and Arc Consistency. ISMVL 2012: 343-348 - Hajime Machida, Teruo Hikita:
Honouring Ivo G. Rosenberg: His Contributions to ISMVL. ISMVL 2012: 322-330 - Hajime Machida, Ivo G. Rosenberg:
Centralizing Monoids on a Three-Element Set. ISMVL 2012: 274-280 - Theodore W. Manikas, David Y. Feinstein, Mitchell A. Thornton:
Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams. ISMVL 2012: 244-249 - Blanca Fernanda López Martinolich:
Gröbner Bases over Cyclic Post Algebras. ISMVL 2012: 197-202 - Atsushi Matsumoto, Naoya Onizawa, Takahiro Hanyu:
Systematic Coding Schemes for Low-Power Multiple-Valued Current-Mode Asynchronous Communication Links. ISMVL 2012: 13-18 - Shoun Matsunaga, Takahiro Hanyu:
Quaternary 1T-2MTJ Cell Circuit for a High-Density and a High-Throughput Nonvolatile Bit-Serial CAM. ISMVL 2012: 98-103 - Rohit P. Menon, Mitchell A. Thornton:
Global Multiple-Valued Clock Approach for High- Performance Multi-phase Clock Integrated Circuits. ISMVL 2012: 19-24
skipping 32 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-25 03:49 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint