default search action

combined dblp search
author search
venue search
publication search

ask others

6th IJCAR 2012: Manchester, UK

> Home > Conferences and Workshops > IJCAR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cade/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2012
Bernhard Gramlich, Dale Miller, Uli Sattler:
Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Lecture Notes in Computer Science 7364, Springer 2012, ISBN 978-3-642-31364-6

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/cade/Bjorner12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Bjorner12
Nikolaj S. Bjørner:
Taking Satisfiability to the Next Level with Z3 - (Abstract). 1-8
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Matiyasevich12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Matiyasevich12
Yuri V. Matiyasevich:
Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics. 9
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Nieuwenhuis12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Nieuwenhuis12
Robert Nieuwenhuis:
SAT and SMT Are Still Resolution: Questions and Challenges. 10-13

Full Papers and System Descriptions

- view
  authority control:
- export record
  dblp key:
  - conf/cade/AnantharamanELNR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/AnantharamanELNR12
Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch:
Unification Modulo Synchronous Distributivity. 14-29
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BaaderBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BaaderBM12
Franz Baader, Stefan Borgwardt, Barbara Morawska:
SAT Encoding of Unification in ℇℒℋ_R⁺ w.r.t. Cycle-Restricted Ontologies. 30-44
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BaaderMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BaaderMM12
Franz Baader, Julian Mendez, Barbara Morawska:
UEL: Unification Solver for the Description Logic ℇℒ - System Description. 45-51
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BaazLZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BaazLZ12
Matthias Baaz, Ori Lahav, Anna Zamansky:
Effective Finite-Valued Semantics for Labelled Calculi. 52-66
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BobotCCIMMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BobotCCIMMM12
François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond:
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic. 67-81
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BorgwardtDP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BorgwardtDP12
Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
How Fuzzy Is My Fuzzy Description Logic? 82-96
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Brock-NannestadS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Brock-NannestadS12
Taus Brock-Nannestad, Carsten Schürmann:
Truthful Monadic Abstractions. 97-110
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Brown12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Brown12
Chad E. Brown:
Satallax: An Automatic Higher-Order Prover. 111-117
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BruttomessoGR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BruttomessoGR12
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation. 118-133
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ChekolEGL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ChekolEGL12
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda:
SPARQL Query Containment under RDFS Entailment Regime. 134-148
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BoerBR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BoerBR12
Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot:
Automated Verification of Recursive Programs with Pointers. 149-163
- view
  authority control:
- export record
  dblp key:
  - conf/cade/DelauneKP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/DelauneKP12
Stéphanie Delaune, Steve Kremer, Daniel Pasaila:
Security Protocols, Constraint Systems, and Group Theories. 164-178
- view
  authority control:
- export record
  dblp key:
  - conf/cade/DemriDS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/DemriDS12
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
Taming Past LTL and Flat Counter Systems. 179-193
- view
  authority control:
- export record
  dblp key:
  - conf/cade/EchenimP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/EchenimP12
Mnacho Echenim, Nicolas Peltier:
A Calculus for Generating Ground Explanations. 194-209
- view
  authority control:
- export record
  dblp key:
  - conf/cade/EmmerKKSV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/EmmerKKSV12
Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel, Andrei Voronkov:
EPR-Based Bounded Model Checking at Word Level. 210-224
- view
  authority control:
- export record
  dblp key:
  - conf/cade/EmmesEG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/EmmesEG12
Fabian Emmes, Tim Enger, Jürgen Giesl:
Proving Non-looping Non-termination Automatically. 225-240
- view
  authority control:
- export record
  dblp key:
  - conf/cade/FalkeK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/FalkeK12
Stephan Falke, Deepak Kapur:
Rewriting Induction + Linear Arithmetic = Decision Procedure. 241-255
- view
  authority control:
- export record
  dblp key:
  - conf/cade/FontaineMW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/FontaineMW12
Pascal Fontaine, Stephan Merz, Christoph Weidenbach:
Combination of Disjoint Theories: Beyond Decidability. 256-270
- view
  authority control:
- export record
  dblp key:
  - conf/cade/FosterS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/FosterS12
Simon Foster, Georg Struth:
Automated Analysis of Regular Algebra. 271-285
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GaoAC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GaoAC12
Sicun Gao, Jeremy Avigad, Edmund M. Clarke:
δ-Complete Decision Procedures for Satisfiability over the Reals. 286-300
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GoreT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GoreT12
Rajeev Goré, Jimmy Thomson:
BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics. 301-315
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HeamHK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HeamHK12
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko:
From Linear Temporal Logic Properties to Rewrite Propositions. 316-331
- view
  authority control:
- export record
  dblp key:
  - conf/cade/JacquelBDD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/JacquelBDD12
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois:
Tableaux Modulo Theories Using Superdeduction - An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover. 332-338
- view
  authority control:
- export record
  dblp key:
  - conf/cade/JovanovicM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/JovanovicM12
Dejan Jovanovic, Leonardo Mendonça de Moura:
Solving Non-linear Arithmetic. 339-354
- view
  authority control:
- export record
  dblp key:
  - conf/cade/JarvisaloHB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/JarvisaloHB12
Matti Järvisalo, Marijn Heule, Armin Biere:
Inprocessing Rules. 355-370
- view
  authority control:
- export record
  dblp key:
  - conf/cade/KonevLW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/KonevLW12
Boris Konev, Michel Ludwig, Frank Wolter:
Logical Difference Computation with CEX2.5. 371-377
- view
  authority control:
- export record
  dblp key:
  - conf/cade/KuhlweinLTUH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/KuhlweinLTUH12
Daniel Kühlwein, Twan van Laarhoven, Evgeni Tsivtsivadze, Josef Urban, Tom Heskes:
Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics. 378-392
- view
  authority control:
- export record
  dblp key:
  - conf/cade/LatteL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/LatteL12
Markus Latte, Martin Lange:
Branching Time? Pruning Time! 393-407
- view
  authority control:
- export record
  dblp key:
  - conf/cade/MarshallN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/MarshallN12
Andrew M. Marshall, Paliath Narendran:
New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants. 408-422
- view
  authority control:
- export record
  dblp key:
  - conf/cade/NikolicS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/NikolicS12
Durica Nikolic, Fausto Spoto:
Reachability Analysis of Program Variables. 423-438
- view
  authority control:
- export record
  dblp key:
  - conf/cade/QueselP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/QueselP12
Jan-David Quesel, André Platzer:
Playing Hybrid Games with KeYmaera. 439-453
- view
  authority control:
- export record
  dblp key:
  - conf/cade/RathsO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/RathsO12
Thomas Raths, Jens Otten:
The QMLTP Problem Library for First-Order Modal Logics. 454-461
- view
  authority control:
- export record
  dblp key:
  - conf/cade/RauSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/RauSS12
Conrad Rau, David Sabel, Manfred Schmidt-Schauß:
Correctness of Program Transformations as a Termination Problem. 462-476
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Schulz12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Schulz12
Stephan Schulz:
Fingerprint Indexing for Paramodulation and Rewriting. 477-483
- view
  authority control:
- export record
  dblp key:
  - conf/cade/SebastianiT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SebastianiT12
Roberto Sebastiani, Silvia Tomasi:
Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions. 484-498
- view
  authority control:
- export record
  dblp key:
  - conf/cade/SpielmannK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SpielmannK12
Andrej Spielmann, Viktor Kuncak:
Synthesis for Unbounded Bit-Vector Arithmetic. 499-513
- view
  authority control:
- export record
  dblp key:
  - conf/cade/SteigmillerLG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SteigmillerLG12
Andreas Steigmiller, Thorsten Liebig, Birte Glimm:
Extended Caching, Backjumping and Merging for Expressive Description Logics. 514-529
- view
  authority control:
- export record
  dblp key:
  - conf/cade/SternagelZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SternagelZ12
Thomas Sternagel, Harald Zankl:
KBCV - Knuth-Bendix Completion Visualizer. 530-536
- view
  authority control:
- export record
  dblp key:
  - conf/cade/SudaW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SudaW12
Martin Suda, Christoph Weidenbach:
A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance. 537-543
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Tiu12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Tiu12
Alwen Tiu:
Stratification in Logics of Definitions. 544-558
- view
  authority control:
- export record
  dblp key:
  - conf/cade/UrbasJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/UrbasJ12
Matej Urbas, Mateja Jamnik:
Diabelli: A Heterogeneous Proof System. 559-566

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.