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 39 matches
- 2016
- Takahito Aoto, Kentaro Kikuchi:
Nominal Confluence Tool. IJCAR 2016: 173-182 - Francesco Alberti, Silvio Ghilardi, Elena Pagani:
Counting Constraints in Flat Array Fragments. IJCAR 2016: 65-81 - Benjamin Aminof, Sasha Rubin:
Model Checking Parameterised Multi-token Systems via the Composition Method. IJCAR 2016: 499-515 - Konstantinos Athanasiou, Peizun Liu, Thomas Wahl:
Unbounded-Thread Program Verification using Thread-State Equations. IJCAR 2016: 516-531 - Arnon Avron:
A Logical Framework for Developing and Mechanizing Set Theories. IJCAR 2016: 3-8 - Kshitij Bansal, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli:
A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT. IJCAR 2016: 82-98 - Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach:
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. IJCAR 2016: 25-44 - Joseph Boudou:
Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition. IJCAR 2016: 373-388 - Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. IJCAR 2016: 389-405 - Martin Bromberger, Christoph Weidenbach:
Fast Cube Tests for LIA Constraint Solving. IJCAR 2016: 116-132 - David M. Cerna, Alexander Leitsch:
Schematic Cut Elimination and the Ordered Pigeonhole Principle. IJCAR 2016: 241-256 - Diana Costa, Manuel A. Martins:
A Tableau System for Quasi-Hybrid Logic. IJCAR 2016: 435-451 - Jeremy E. Dawson, James Brotherston, Rajeev Goré:
Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi. IJCAR 2016: 452-468 - Simon Docherty, David J. Pym:
Intuitionistic Layered Graph Logic. IJCAR 2016: 469-486 - Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR 2016: 183-192 - Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota:
System Description: GAPT 2.0. IJCAR 2016: 293-301 - Michael Färber, Chad E. Brown:
Internal Guidance for Satallax. IJCAR 2016: 349-361 - Florian Frohn, Matthias Naaf, Jera Hensel, Marc Brockschmidt, Jürgen Giesl:
Lower Runtime Bounds for Integer Programs. IJCAR 2016: 550-567 - Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen:
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. IJCAR 2016: 195-212 - Xincai Gu, Taolue Chen, Zhilin Wu:
A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints. IJCAR 2016: 532-549 - Sumit Gulwani:
Programming by Examples: Applications, Algorithms, and Ambiguity Resolution. IJCAR 2016: 9-14 - Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov:
Selecting the Selection. IJCAR 2016: 313-329 - Lars Hupel, Viktor Kuncak:
Translating Scala Programs to Isabelle/HOL - System Description. IJCAR 2016: 568-577 - Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere:
Super-Blocked Clauses. IJCAR 2016: 45-61 - Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai:
Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems. IJCAR 2016: 213-227 - Cláudia Nalon, Ullrich Hustadt, Clare Dixon:
: A Resolution-Based Prover for Multimodal K. IJCAR 2016: 406-415 - Hans de Nivelle:
Subsumption Algorithms for Three-Valued Geometric Resolution. IJCAR 2016: 257-272 - Jens Otten:
nanoCoP: A Non-clausal Connection Prover. IJCAR 2016: 302-312 - André Platzer:
Logic & Proofs for Cyber-Physical Systems. IJCAR 2016: 15-21 - Revantha Ramanayake:
Inducing Syntactic Cut-Elimination for Indexed Nested Sequents. IJCAR 2016: 416-432
skipping 9 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-10-01 00:33 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