Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
induction
Papers
A Mathematical Benchmark for Inductive Theorem Provers
Thibault Gauthier
,
Chad Brown
,
Mikolas Janota
and
Josef Urban
In
:
Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Vampire Approach to Induction
Márton Hajdu
,
Laura Kovács
,
Michael Rawson
and
Andrei Voronkov
EasyChair Preprint no. 9217
Induction with Recursive Definitions in Superposition
Márton Hajdu
,
Petra Hozzová
,
Laura Kovács
and
Andrei Voronkov
EasyChair Preprint no. 6513
Integer Induction in Saturation
Petra Hozzová
,
Laura Kovács
and
Andrei Voronkov
EasyChair Preprint no. 5176
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
Mnacho Echenim
,
Radu Iosif
and
Nicolas Peltier
EasyChair Preprint no. 4877
Induction with Generalization in Superposition Reasoning
Márton Hajdu
,
Petra Hozzová
,
Laura Kovács
,
Johannes Schoisswohl
and
Andrei Voronkov
EasyChair Preprint no. 2468
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
Mnacho Echenim
,
Radu Iosif
and
Nicolas Peltier
In
:
LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Fermat’s Last Theorem Proved by Induction
Vasil Penchev
EasyChair Preprint no. 3357
Recent Training Trends: Learning and effectiveness
Soni Agrawal
and
Saroda Chatterjee
EasyChair Preprint no. 2392
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
Anupam Das
,
Amina Doumane
and
Damien Pous
In
:
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Transitive Closure Logic: Infinitary and Cyclic Proof Systems
Reuben Rowe
and
Liron Cohen
EasyChair Preprint no. 191
SMT-Based CPS Parameter Synthesis
Heinz Riener
,
Robert Koenighofer
,
Goerschwin Fey
and
Roderick Bloem
In
:
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Well-founded Functions and Extreme Predicates in Dafny: A Tutorial
Rustan Leino
In
:
IWIL-2015. 11th International Workshop on the Implementation of Logics
Copyright © 2012-2023 easychair.org. All rights reserved.