-
Proof Automation for Atelier B Rules Verification
The purpose of this thesis is the verification of Atelier B added rules using the framework named BCARe which relies on a deep embedding of the B theory within the... -
Automated Deduction - CADE-15
Ouvrage (éditeur). -
Rough Algebras & Automated Deduction
Contribution à un ouvrage. -
Analysing Feature Interactions with Automated Deduction Systems
Rapport interne. -
Proof construction in linear logic and programming
Colloque sur invitation. -
Connection proof search methods in Linear Logic and proof nets construction
Article dans revue scientifique avec comité de lecture. -
Proof nets Construction and Automated Deduction in Non-commutative Linear Log...
Article dans revue scientifique avec comité de lecture. -
Automated Deduction Techniques for Studying Rough Algebras
Article dans revue scientifique avec comité de lecture. -
Observational Proofs with Critical Contexts
Colloque avec actes et comité de lecture. -
Computational Complexity of Simultaneous Elementary Matching Problems
Article dans revue scientifique avec comité de lecture. -
Analysing Feature Interactions with Automated Deduction Systems
Colloque avec actes et comité de lecture. -
Compiling and Verifying Security Protocols
Colloque avec actes et comité de lecture. internationale. -
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems
Colloque avec actes et comité de lecture. internationale. -
Combining assisted and automated deduction
Article dans revue scientifique avec comité de lecture. -
Connection Methods in Linear Logic and Proof nets Construction
Article dans revue scientifique avec comité de lecture. -
Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures
Article dans revue scientifique avec comité de lecture. internationale. -
Unification Modulo ACUI Plus Distributivity Axioms
Article dans revue scientifique avec comité de lecture. nationale.
