 |
 |
 |
|
|
||
|---|---|---|
| hal-00762252v1
Conference papers
Abstraction-based Malware Analysis Using Rewriting and Model Checking ESORICS - 17th European Symposium on Research in Computer Security - 2012, Sep 2012, Pisa, Italy. pp.806-823, ⟨10.1007/978-3-642-33167-1⟩ |
||
| inria-00349353v1
Conference papers
The Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure Operators for Security 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, ACM, Jul 2008, Valencia, Spain. pp.8-19, ⟨10.1145/1389449.1389452⟩ |
||
| hal-00192051v1
Journal articles
Transforming structures by set interpretations Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2007, 3 (2), paper 4. ⟨10.2168/LMCS-3(2:4)2007⟩ |
||
| hal-02998767v1
Journal articles
Two first-order logics of permutations Journal of Combinatorial Theory, Series A, Elsevier, 2020, 171, pp.105-158. ⟨10.1016/j.jcta.2019.105158⟩  |
||
| hal-01276119v4
Conference papers
Deciding Piecewise Testable Separability for Regular Tree Languages ICALP 2016, Jul 2016, Rome, Italy. pp.97:1--97:15, ⟨10.4230/LIPIcs.ICALP.2016.97⟩ |
||
| hal-01342849v1
Conference papers
Soundly Proving B Method Formulae Using Typed Sequent Calculus 13th International Colloquium on Theoretical Aspects of Computing (ICTAC), Oct 2016, Taipei, Taiwan. pp 196-213, ⟨10.1007/978-3-319-46750-4_12⟩ |
||
| hal-01242509v1
Conference papers
Model Finding for Recursive Functions in SMT SMT Workshop 2015 - 13th International Workshop on on Satisfiability Modulo Theories, Jul 2015, San Francisco, United States |
||
| |
||
| tel-02406821v1
Theses
Decidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted Predicates Logic in Computer Science [cs.LO]. Universität des Saarlandes, 2019. English |
||
| tel-01592497v1
Theses
Superposition: Types and Induction Computer Science [cs]. Saarland University, 2017. English |
||
| inria-00073019v1
Reports
A Simple Deduction System for First-Order Logic with Equality, Free Constructors and Induction [Research Report] RR-3653, INRIA. 1999 |
||
| inria-00074344v1
Reports
On the Expressive Power of Counting [Research Report] RR-2330, INRIA. 1992, pp.38 |
||
| lirmm-00285475v1
Reports
On the Complexity of Deduction in the Existential Conjunctive Fragment of FOL with Atomic Negation RR-08013, 2008, pp.18 |
||
| lirmm-00410129v1
Conference papers
Conceptual Graph Rules and Equivalent Rules: A Synthesis ICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.23-31, ⟨10.1007/978-3-642-03079-6_3⟩  |
||
| hal-02882118v1
Conference papers
Successor-Invariant First-Order Logic on Classes of Bounded Degree LICS 2020 - Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. ⟨10.1145/3373718.3394767⟩ |
||
| hal-02310749v2
Conference papers
Order-Invariant First-Order Logic over Hollow Trees CSL 2020 - 28th annual conference of the European Association for Computer Science Logic, Jan 2020, Barcelona, Spain. pp.1-23, ⟨10.4230/LIPIcs.CSL.2020.23⟩ |
||
| tel-02947853v1
Theses
On the Expressive Power of Invariant Logics over Sparse Classes of Structures Logic in Computer Science [cs.LO]. ENS Paris, 2020. English |
||
| lirmm-00413699v2
Reports
On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic Negation RR-11026, 2009, pp.46 |
||
| hal-01856329v1
Reports
The Abstract Accountability Language: its Syntax, Semantics and Tools [Research Report] IMT Atlantique. 2018 |
||
| lirmm-00535780v1
Conference papers
Walking the Decidability Line for Rules with Existential Variables KR: Principles of Knowledge Representation and Reasoning, May 2010, Toronto, Canada. pp.466-476 |
||
| lirmm-00410130v1
Conference papers
Extending Decidable Cases for Rules with Existential Variables IJCAI: International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.677-682 |
||
| lirmm-00441907v1
Reports
Walking the Decidability Line for Rules with Existential Variables RR-09030, 2009, pp.21 |
||
| lirmm-00681914v1
Journal articles
On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic Negation Information and Computation, Elsevier, 2012, 215, pp.8-31. ⟨10.1016/j.ic.2012.03.001⟩ |
||
| hal-01322328v1
Conference papers
Encoding TLA+ into Many-Sorted First-Order Logic Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, 2016, Linz, Austria. pp.54-69, ⟨10.1007/978-3-319-33600-8_3⟩ |
||
| hal-00919759v1
Conference papers
Detection of First Order Axiomatic Theories FroCoS - 9th International Symposium on Frontiers of Combining Systems - 2013, Sep 2013, Nancy, France. pp.229-244, ⟨10.1007/978-3-642-40885-4_16⟩ |
||
| hal-01937141v1
Conference papers
A Verified Prover Based on Ordered Resolution CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. ⟨10.1145/3293880.3294100⟩ |
||
| inria-00591414v4
Reports
Expressing Polymorphic Types in a Many-Sorted Language [Research Report] 2011 |
||
| hal-02386942v1
Conference papers
Proof Nets for First-Order Additive Linear Logic FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. pp.22:1-22:22, ⟨10.4230/LIPIcs.FSCD.2019.22⟩ |
||
| hal-01867625v1
Reports
Proof nets for first-order additive linear logic [Research Report] RR-9201, Inria. 2018 |
||
| hal-00803412v1
Reports
Behavior Analysis of Malicious Code by Weighted Behavior Abstraction [Research Report] 2013 |
||
|
|
||