Filter your results
- 105
- 61
- 84
- 34
- 23
- 10
- 6
- 5
- 2
- 1
- 1
- 2
- 166
- 25
- 17
- 2
- 3
- 4
- 3
- 6
- 10
- 11
- 9
- 9
- 5
- 10
- 15
- 20
- 26
- 20
- 11
- 2
- 1
- 1
- 160
- 6
- 159
- 14
- 13
- 11
- 11
- 8
- 7
- 5
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 70
- 34
- 33
- 21
- 20
- 16
- 15
- 11
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
The block neighbourhoodSecond 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 termsQPL'19 : International Conference on Quantum Physics and Logic, Jun 2019, Los Angeles, United States
Conference papers
hal-02413388v1
|
||
|
Two Results on Separation Logic With Theory ReasoningASL 2022 - Workshop on Advancing Separation Logic, Jul 2022, Haifa, Israel
Conference papers
hal-03701399v1
|
||
Propositional Resolution and Prime Implicates GenerationArchive of Formal Proofs, 2016, 2016
Journal articles
hal-01364005v1
|
|||
|
Ensuring Correctness of Model Transformations While Remaining DecidableTheoretical Aspects of Computing - ICTAC, Oct 2016, Taipei, Taiwan. pp.315 - 332, ⟨10.1007/978-3-319-46750-4_18⟩
Conference papers
hal-01403585v1
|
||
|
Graph rewriting with polarized cloning2009
Preprints, Working Papers, ...
hal-00433379v1
|
||
|
AGREE - Algebraic Graph Rewriting with Controlled EmbeddingICGT 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 LogicADDTC 2014, Jul 2014, Vienna, Austria
Conference papers
hal-01132800v1
|
|||
|
Instantiation Schemes for Nested TheoriesACM 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 protocols2011
Preprints, Working Papers, ...
hal-00944430v1
|
||
|
A Calculus for Generating Ground ExplanationsIJCAR 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 TheoriesJournal of Automated Reasoning, 2012, 48 (3), pp.293-362. ⟨10.1007/s10817-010-9200-3⟩
Journal articles
istex
hal-00933247v1
|
|||
|
Évaluations de solutions d'exercices d'algorithmique " à la main " versus " automatiques par jeux d'essaiEIAH 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 Integers2010
Preprints, Working Papers, ...
hal-00940677v1
|
||
A DPLL Proof Procedure for Propositional Iterated SchemataESSLLI'09 Workshop Structures and Deduction, 2009, Bordeaux, France. pp.24
Conference papers
hal-00940673v1
|
|||
Décidabilité et ComplexitéIA Handbook, Cépaduès, pp.1-63, 2010
Book sections
hal-00999661v1
|
|||
|
A System F accounting for scalarsLogical Methods in Computer Science, 2012, 8 (1), pp.11. ⟨10.2168/LMCS-8(1:11)2012⟩
Journal articles
hal-00924944v1
|
||
Graph Computation Models 2010EASST, pp.148, 2011, Electronic Communications of the EASST, 1863-2122
Books
hal-00776656v1
|
|||
|
Toward Quantum Combinatorial GamesQuantum 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 settingWoLLIC - 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 rulesJournal of Logic and Computation, 2017, 27 (2), pp.549-576
Journal articles
hal-01516896v1
|
|||
|
Unifying Decidable Entailments in Separation Logic with Inductive DefinitionsCADE 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 SystemsFSCD 2016, 2016, Porto, Portugal
Conference papers
hal-01403183v1
|
|||
|
Modular Instantiation SchemesInformation 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?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 TransformationGT-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 Completeness10th 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 StatesTQC 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 IntegersInternational 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
|
||
|
Graph rewriting with polarized cloning2009
Preprints, Working Papers, ...
hal-00433379v2
|