Lecture Notes in Computer Science - Automated Deduction – CADE 27
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030294359, 9783030294366

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Completeness, Covers and Superposition

Lecture Notes in Computer Science - Automated Deduction – CADE 27 ◽

10.1007/978-3-030-29436-6_9 ◽

2019 ◽

pp. 142-160 ◽

Cited By ~ 3

Author(s):

Diego Calvanese ◽

Silvio Ghilardi ◽

Alessandro Gianola ◽

Marco Montali ◽

Andrey Rivkin

Keyword(s):

Model Completeness

Download Full-text

$$\mathsf {dL}_{\iota }$$ : Definite Descriptions in Differential Dynamic Logic

Lecture Notes in Computer Science - Automated Deduction – CADE 27 ◽

10.1007/978-3-030-29436-6_6 ◽

2019 ◽

pp. 94-110 ◽

Cited By ~ 1

Author(s):

Brandon Bohrer ◽

Manuel Fernández ◽

André Platzer

Keyword(s):

Dynamic Logic ◽

Definite Descriptions

Download Full-text

JGXYZ: An ATP System for Gap and Glut Logics

Lecture Notes in Computer Science - Automated Deduction – CADE 27 ◽

10.1007/978-3-030-29436-6_31 ◽

2019 ◽

pp. 526-537

Author(s):

Geoff Sutcliffe ◽

Francis Jeffry Pelletier

Download Full-text

Unification Modulo Lists with Reverse Relation with Certain Word Equations

Lecture Notes in Computer Science - Automated Deduction – CADE 27 ◽

10.1007/978-3-030-29436-6_1 ◽

2019 ◽

pp. 1-17

Author(s):

Siva Anantharaman ◽

Peter Hibbs ◽

Paliath Narendran ◽

Michael Rusinowitch

Keyword(s):

Word Equations

Download Full-text

Uniform Substitution at One Fell Swoop

Lecture Notes in Computer Science - Automated Deduction – CADE 27 ◽

10.1007/978-3-030-29436-6_25 ◽

2019 ◽

pp. 425-441 ◽

Cited By ~ 2

Author(s):

André Platzer

Keyword(s):

Uniform Substitution

Download Full-text

ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E

Lecture Notes in Computer Science - Automated Deduction – CADE 27 ◽

10.1007/978-3-030-29436-6_12 ◽

2019 ◽

pp. 197-215 ◽

Cited By ~ 7

Author(s):

Karel Chvalovský ◽

Jan Jakubův ◽

Martin Suda ◽

Josef Urban

Download Full-text

On Invariant Synthesis for Parametric Systems

Lecture Notes in Computer Science - Automated Deduction – CADE 27 ◽

10.1007/978-3-030-29436-6_23 ◽

2019 ◽

pp. 385-405 ◽

Cited By ~ 1

Author(s):

Dennis Peuter ◽

Viorica Sofronie-Stokkermans

Keyword(s):

Parametric Systems

Download Full-text

GKC: A Reasoning System for Large Knowledge Bases

Lecture Notes in Computer Science - Automated Deduction – CADE 27 ◽

10.1007/978-3-030-29436-6_32 ◽

2019 ◽

pp. 538-549 ◽

Cited By ~ 1

Author(s):

Tanel Tammet

Keyword(s):

Knowledge Bases ◽

Reasoning System

Download Full-text

Automata Terms in a Lazy WSkS Decision Procedure

Lecture Notes in Computer Science - Automated Deduction – CADE 27 ◽

10.1007/978-3-030-29436-6_18 ◽

2019 ◽

pp. 300-318 ◽

Cited By ~ 1

Author(s):

Vojtěch Havlena ◽

Lukáš Holík ◽

Ondřej Lengál ◽

Tomáš Vojnar

Keyword(s):

Decision Procedure

Download Full-text

Automatic Generation of Logical Models with AGES

Lecture Notes in Computer Science - Automated Deduction – CADE 27 ◽

10.1007/978-3-030-29436-6_17 ◽

2019 ◽

pp. 287-299 ◽

Cited By ~ 1

Author(s):

Raúl Gutiérrez ◽

Salvador Lucas

Keyword(s):

Automatic Generation ◽

Logical Models

Download Full-text

Lecture Notes in Computer Science - Automated Deduction – CADE 27Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Model Completeness, Covers and Superposition

$$\mathsf {dL}_{\iota }$$ : Definite Descriptions in Differential Dynamic Logic

JGXYZ: An ATP System for Gap and Glut Logics

Unification Modulo Lists with Reverse Relation with Certain Word Equations

Uniform Substitution at One Fell Swoop

ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E

On Invariant Synthesis for Parametric Systems

GKC: A Reasoning System for Large Knowledge Bases

Automata Terms in a Lazy WSkS Decision Procedure

Automatic Generation of Logical Models with AGES

Lecture Notes in Computer Science - Automated Deduction – CADE 27
Latest Publications