Search - CAPP Access content directly

Filter your results

166 Results
Domains : info

The block neighbourhood

Pablo Arrighi , Vincent Nesme
Second Symposium on Cellular Automata "Journées Automates Cellulaires", 2010, Turku, Finland. pp.43-53
Conference papers hal-00945720v1

Pauli Fusion: a computational model to realise quantum transformations from ZX terms

Niel de Beaudrap , Ross Duncan , Dominic Horsman , Simon Perdrix
QPL'19 : International Conference on Quantum Physics and Logic, Jun 2019, Los Angeles, United States
Conference papers hal-02413388v1
Image document

Two Results on Separation Logic With Theory Reasoning

Mnacho Echenim , Nicolas Peltier
ASL 2022 - Workshop on Advancing Separation Logic, Jul 2022, Haifa, Israel
Conference papers hal-03701399v1

Propositional Resolution and Prime Implicates Generation

Nicolas Peltier
Archive of Formal Proofs, 2016, 2016
Journal articles hal-01364005v1
Image document

Ensuring Correctness of Model Transformations While Remaining Decidable

Jon Haël Brenas , Rachid Echahed , Martin Strecker
Theoretical Aspects of Computing - ICTAC, Oct 2016, Taipei, Taiwan. pp.315 - 332, ⟨10.1007/978-3-319-46750-4_18⟩
Conference papers hal-01403585v1
Image document

Graph rewriting with polarized cloning

Dominique Duval , Rachid Echahed , Frédéric Prost
Preprints, Working Papers, ... hal-00433379v1

AGREE - Algebraic Graph Rewriting with Controlled Embedding

Andrea Corradini , Dominique Duval , Rachid Echahed , Frederic Prost , Leila Ribeiro et al.
ICGT 2015 - 8th International Conference on Graph Transformation, Jul 2015, L'Aquila, Italy. pp.35-51, ⟨10.1007/978-3-319-21145-9_3⟩
Conference papers hal-01403189v1

A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic

Mnacho Echenim , Nicolas Peltier , Sophie Tourret
ADDTC 2014, Jul 2014, Vienna, Austria
Conference papers hal-01132800v1
Image document

Instantiation Schemes for Nested Theories

Mnacho Echenim , Nicolas Peltier
ACM Transactions on Computational Logic, 2013, 14 (2), pp.11:1-33. ⟨10.1145/2480759.2480763⟩
Journal articles hal-00933873v1

Optimal accessing and non-accessing structures for graph protocols

Sylvain Gravier , Jérôme Javelle , Mehdi Mhalla , Simon Perdrix
Preprints, Working Papers, ... hal-00944430v1
Image document

A Calculus for Generating Ground Explanations

Mnacho Echenim , Nicolas Peltier
IJCAR 2012 - International Joint Conference on Automated Reasoning, Jun 2012, Manchester, United Kingdom. pp.194-209, ⟨10.1007/978-3-642-31365-3_17⟩
Conference papers hal-00933272v1

An Instantiation Scheme for Satisfiability Modulo Theories

Mnacho Echenim , Nicolas Peltier
Journal of Automated Reasoning, 2012, 48 (3), pp.293-362. ⟨10.1007/s10817-010-9200-3⟩
Journal articles istex hal-00933247v1
Image document

Évaluations de solutions d'exercices d'algorithmique " à la main " versus " automatiques par jeux d'essai

Denis Bouhineau , François Puitg
EIAH 2011 - Conférence Environnements Informatiques pour l'Apprentissage Humain, May 2011, Mons, Belgique. pp.273-285
Conference papers hal-00667472v1

Instantiation of SMT problems modulo Integers

Mnacho Echenim , Nicolas Peltier
Preprints, Working Papers, ... hal-00940677v1

A DPLL Proof Procedure for Propositional Iterated Schemata

Vincent Aravantinos , Ricardo Caferra , Nicolas Peltier
ESSLLI'09 Workshop Structures and Deduction, 2009, Bordeaux, France. pp.24
Conference papers hal-00940673v1

Décidabilité et Complexité

Olivier Bournez , Gilles Dowek , Rémi Gilleron , Serge Grigorieff , Jean-Yves Marion et al.
IA Handbook, Cépaduès, pp.1-63, 2010
Book sections hal-00999661v1

A System F accounting for scalars

Pablo Arrighi , Alejandro Díaz-Caro
Logical Methods in Computer Science, 2012, 8 (1), pp.11. ⟨10.2168/LMCS-8(1:11)2012⟩
Journal articles hal-00924944v1

Graph Computation Models 2010

Rachid Echahed , Annegret Habel , Mohamed Mosbah
EASST, pp.148, 2011, Electronic Communications of the EASST, 1863-2122
Books hal-00776656v1
Image document

Toward Quantum Combinatorial Games

Paul Dorbec , Mehdi Mhalla
Quantum Physics and Logic, Jul 2017, Nijmegen, Netherlands. pp.237 - 248, ⟨10.4204/EPTCS.266.16⟩
Conference papers hal-01429072v2

Linearity in the non-deterministic call-by-value setting

Alejandro Díaz-Caro , Barbara Petit
WoLLIC - 19th International Workshop on Logic, Language, Information and Computation - 2012, Sep 2012, Buenos Aires, Argentina. pp.216-231, ⟨10.1007/978-3-642-32621-9_16⟩
Conference papers hal-00924992v1

A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules

Nicolas Peltier
Journal of Logic and Computation, 2017, 27 (2), pp.549-576
Journal articles hal-01516896v1
Image document

Unifying Decidable Entailments in Separation Logic with Inductive Definitions

Mnacho Echenim , Radu Iosif , Nicolas Peltier
CADE 28, 2021, Pittsburgh (virtual), United States. pp.183-199, ⟨10.1007/978-3-030-79876-5_11⟩
Conference papers hal-03304653v1

Proving Correctness of Logically Decorated Graph Rewriting Systems

Jon Haël Brenas , Rachid Echahed , Martin Strecker
FSCD 2016, 2016, Porto, Portugal
Conference papers hal-01403183v1
Image document

Modular Instantiation Schemes

Mnacho Echenim , Nicolas Peltier
Information Processing Letters, 2011, 111 (20), pp.989-993. ⟨10.1016/j.ipl.2011.07.003⟩
Journal articles hal-00931264v1

Which graph states are useful for quantum information processing?

Mehdi Mhalla , Mio Murao , Simon Perdrix , Masato Someya , Peter S. Turner et al.
TQC 2011 - Conference on the Theory of Quantum Computation, Communication and Cryptography, May 2011, Madrid, Spain. 13 p
Conference papers hal-00932374v1

Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation

Dominique Duval , Rachid Echahed , Frederic Prost
GT-VMT 2011 - International Workshop on Graph Transformation and Visual Modeling Techniques (satellite workshop of ETAPS 2011), Apr 2011, Saarbrücken, Germany. 17 p
Conference papers hal-00828532v1

I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness

Hicham Bensaid , Ricardo Caferra , Nicolas Peltier
10th International Conference on Artificial Intelligence and Symbolic Computation, 2010, Paris, France. pp.19-33, ⟨10.1007/978-3-642-14128-7_4⟩
Conference papers istex hal-00940670v1

New Protocols and Lower Bounds for Quantum Secret Sharing with Graph States

Jérôme Javelle , Mehdi Mhalla , Simon Perdrix
TQC 2012 - 7th Conference on Theory of Quantum Computation, Communication, and Cryptography, May 2012, Tokyo, Japan. pp.1-12, ⟨10.1007/978-3-642-35656-8_1⟩
Conference papers hal-00934531v1

Instantiation of SMT Problems Modulo Integers

Mnacho Echenim , Nicolas Peltier
International Conference on Artificial Intelligence and Symbolic Computation, 2010, Paris, France. pp.49-63, ⟨10.1007/978-3-642-14128-7_6⟩
Conference papers hal-00940668v1
Image document

Graph rewriting with polarized cloning

Dominique Duval , Rachid Echahed , Frédéric Prost
Preprints, Working Papers, ... hal-00433379v2