Damien Doligez and Logic - Free people check

(1 - 8 from 9

)

Julien Brunel | ONERA

www.onera.fr

... Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller. A Foundation for Flow-Based Program Matching Using Temporal Logic ...

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 th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations.

Theorem Proving in Higher Order Logics: 15th International Conference...

books.google.de

This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton,...

[ ] A TLA+ Proof System

arxiv.org

Nov 11, · Damien Doligez Leslie Lamport Stephan Merz. Bookmark (what is this?) Computer Science > Logic in Computer Science. Title: A TLA+ Proof System.

Zenon Modulo: When Achilles Outruns the Tortoise using ...

citeseerx.ist.psu.edu

BibTeX @INPROCEEDINGS{Delahaye13zenonmodulo:, author = {David Delahaye and Damien Doligez and Frédéric Gilbert and Pierre Halmagr and Olivier Hermant}, title = {Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo}, booktitle = {In Logic for Programming Artificial Intelligence and Reasoning (LPAR}, year = {2013}}