-
Interaction between Symbolic and numerical Computation; Application to Comput...
The initial motivations of this work come from the camera calibration in computer vision. We are especially interested in using jointly time measures in the images and... -
Combining Data Structures with Nonstably Infinite Theories using Many-Sorted ...
Most computer programs store elements of a given nature into container-based data structures such as lists, arrays, sets, and multisets. To verify the correctness of... -
A Decision Procedure for a Fragment of Set Theory Involving Monotone, Additiv...
2LS is a decidable many-sorted set-theoretic language involving one sort for elements and one sort for sets of elements. In this report we extend 2LS with constructs... -
C-tableaux
The Nelson-Oppen combination method combines decision procedures for first-order theories satisfying certain conditions into a single decision procedure for the union... -
Simplified Handling of Iterated Term Schemata
International audience -
Automated Deduction - CADE-15
Ouvrage (éditeur). -
Orderings in Automated Theorem Proving
Contribution à un ouvrage. -
Rough Algebras & Automated Deduction
Contribution à un ouvrage. -
Applying semantic subsumption rules in the context of inductive proofs
Colloque avec actes et comité de lecture. -
A Good Class of Tree Automata
Colloque avec actes et comité de lecture. -
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. -
Decision problems in ordered rewriting
Colloque avec actes et 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. -
Rough Sets based Proofs Visualisation
Colloque sur invitation. -
Compiling and narrowing cryptographic protocols
Colloque sans acte à diffusion restreinte. -
Computational Complexity of Simultaneous Elementary Matching Problems
Article dans revue scientifique avec comité de lecture.
