Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th CADE 2019: Natal, Brazil
- Pascal Fontaine:
Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. Lecture Notes in Computer Science 11716, Springer 2019, ISBN 978-3-030-29435-9
- Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michaël Rusinowitch:
Unification Modulo Lists with Reverse Relation with Certain Word Equations. 1-17 - Alexsander Andrade de Melo
, Mateus de Oliveira Oliveira:
On the Width of Regular Classes of Finite Structures. 18-34 - Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli, Clark W. Barrett:
Extending SMT Solvers to Higher-Order Logic. 35-54 - Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann:
Superposition with Lambdas. 55-73 - Ahmed Bhayat, Giles Reger:
Restricted Combinatory Unification. 74-93 - Rose Bohrer, Manuel Fernández, André Platzer:
dLι: Definite Descriptions in Differential Dynamic Logic. 94-110 - Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach:
SPASS-SATT - A CDCL(LA) Solver. 111-122 - Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban:
GRUNGE: A Grand Unified ATP Challenge. 123-141 - Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition. 142-160 - Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro:
A Tableaux Calculus for Default Intuitionistic Logic. 161-177 - Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan:
NIL: Learning Nonlinear Interpolants. 178-196 - Karel Chvalovský, Jan Jakubuv, Martin Suda, Josef Urban:
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E. 197-215 - Katherine Cordwell, André Platzer:
Towards Physical Hybrid Systems. 216-232 - Alberto Fiori, Christoph Weidenbach:
SCL Clause Learning from Simple Models. 233-249 - Ulrich Furbach, Teresa Krämer, Claudia Schon:
Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. 250-268 - Jürgen Giesl, Peter Giesl, Marcel Hark:
Computing Expected Runtimes for Constant Probability Programs. 269-286 - Raúl Gutiérrez, Salvador Lucas:
Automatic Generation of Logical Models with AGES. 287-299 - Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Automata Terms in a Lazy WSkS Decision Procedure. 300-318 - Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi:
Confluence by Critical Pair Analysis Revisited. 319-336 - Christina Kohl, Aart Middeldorp:
Composing Proof Terms. 337-353 - Di Long Li, Alwen Tiu:
Combining ProVerif and Automated Theorem Provers for Security Protocol Verification. 354-365 - Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli:
Towards Bit-Width-Independent Proofs in SMT Solvers. 366-384 - Dennis Peuter, Viorica Sofronie-Stokkermans:
On Invariant Synthesis for Parametric Systems. 385-405 - David A. Plaisted:
The Aspect Calculus. 406-424 - André Platzer:
Uniform Substitution at One Fell Swoop. 425-441 - Andrei Popescu, Dmitriy Traytel:
A Formally Verified Abstract Account of Gödel's Incompleteness Theorems. 442-461 - Michael Rawson, Giles Reger:
Old or Heavy? Decaying Gracefully with Age/Weight Shapes. 462-476 - Giles Reger, Andrei Voronkov:
Induction in Saturation-Based Proof Search. 477-494 - Stephan Schulz, Simon Cruanes, Petar Vukmirovic:
Faster, Higher, Stronger: E 2.3. 495-507 - Christian Sternagel, Sarah Winkler:
Certified Equational Reasoning via Ordered Completion. 508-525 - Geoff Sutcliffe, Francis Jeffry Pelletier:
JGXYZ: An ATP System for Gap and Glut Logics. 526-537 - Tanel Tammet:
GKC: A Reasoning System for Large Knowledge Bases. 538-549 - Patrick Trentin, Roberto Sebastiani:
Optimization Modulo the Theory of Floating-Point Numbers. 550-567 - Yizheng Zhao, Renate A. Schmidt:
FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions. 568-579
a service of 
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.
last updated on 2023-09-22 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
