HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Damien Doligez

Publications
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo
Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand and Olivier Hermant
In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal and Stephan Merz
In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics

Keyphrases

automated deduction, B method, deduction modulo, Dedukti, modal logic, set theory, temporal logic, TLA, Typed Proof Search, Zenon Modulo.

Copyright © 2012-2025 easychair.org. All rights reserved.