Filtrer vos résultats
- 57
- 39
- 58
- 18
- 14
- 2
- 1
- 1
- 1
- 1
- 13
- 92
- 1
- 3
- 4
- 5
- 4
- 1
- 2
- 1
- 4
- 5
- 5
- 2
- 2
- 3
- 6
- 5
- 3
- 4
- 4
- 3
- 7
- 5
- 3
- 3
- 4
- 5
- 1
- 1
- 94
- 2
- 95
- 65
- 44
- 41
- 12
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 96
- 13
- 12
- 10
- 10
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
96 résultats
|
Knowledge Problems in Equational Extensions of Subterm Convergent TheoriesUNIF 2018 - 32nd International Workshop on Unification, Mauricio Ayala-Rincon; Philippe Balbiani, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01878567v1
|
||
|
Non-disjoint Combined Unification and Closure by Equational ParamodulationFroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.25-42, ⟨10.1007/978-3-030-86205-3_2⟩
Communication dans un congrès
hal-03346531v1
|
||
The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF TechnologyWorkshop on Language Descriptions, Tools and Applications - LDTA'02, Apr 2002, Grenoble, France, 7 p
Communication dans un congrès
inria-00101028v1
|
|||
|
A Pattern Matching Compiler for Multiple Target Languages[Intern report] A02-R-184 || moreau02b, 2002, 16 p
Rapport
inria-00099427v1
|
||
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a NewbornFirst International Colloquium on Theoretical Aspects of Computing - ICTAC 2004, Keijiro Araki, Zhiming Liu, 2004, Guiyang, Chine, 15 p
Communication dans un congrès
inria-00099985v1
|
|||
Rule-Based Constraint ProgrammingFundamenta Informaticae, 1998, 34 (3), pp.225--262
Article dans une revue
inria-00098476v1
|
|||
|
Non-Disjoint Unions of Theories and Combinations of Satisfiability Procedures: First Results[Research Report] RR-3402, INRIA. 1998, pp.63
Rapport
inria-00073288v1
|
||
|
Generalizing CASL Specification Components and Preserving Rewrite Proofs[Research Report] RR-4938, INRIA. 2003, pp.34
Rapport
inria-00071641v1
|
||
|
Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation[Research Report] RR-6688, INRIA. 2008, pp.34
Rapport
inria-00331479v1
|
||
|
Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. pp.30:1--30:19, ⟨10.4230/LIPIcs.FSCD.2023.30⟩
Communication dans un congrès
hal-04214220v1
|
||
A Pattern Matching Compiler for Multiple Target Languages12th International Conference on Compiler Construction 2003 - CC'2003, 2003, Varsovie, Pologne, pp.61-76
Communication dans un congrès
inria-00099644v1
|
|||
Executing CASL Equational Specifications with the ELAN Rewrite Engine[Intern report] 99-R-278 || kirchner99e, 1999, 15 p
Rapport
inria-00098937v1
|
|||
|
Computing Knowledge in Equational Extensions of Subterm Convergent TheoriesMathematical Structures in Computer Science, 2020, 30 (6), pp.683-709. ⟨10.1017/S0960129520000031⟩
Article dans une revue
hal-02966957v1
|
||
|
Politeness for the Theory of Algebraic Datatypes10th International Joint Conference on Automated Reasoning, IJCAR, Jul 2020, Paris, France. pp.238--255, ⟨10.1007/978-3-030-51074-9_14⟩
Communication dans un congrès
hal-02962716v1
|
||
|
On Superposition-Based Satisfiability Procedures and their Combination2nd International Colloquium on Theoretical Aspects of Computing - ICTAC'05, Oct 2005, Hanoi/Vietnam, pp.594--608, ⟨10.1007/11560647⟩
Communication dans un congrès
inria-00000586v1
|
||
A Methodology For Web Services Composition[Intern report] 2007
Rapport
inria-00174689v1
|
|||
|
A Rewriting Approach to the Combination of Data Structures with Bridging TheoriesFrontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Sep 2015, Wroclaw, Poland. pp.275--290, ⟨10.1007/978-3-319-24246-0_17⟩
Communication dans un congrès
hal-01206187v1
|
||
|
Building and Combining Matching AlgorithmsCarsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 11560, Springer, pp.523-541, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-22102-7_24⟩
Chapitre d'ouvrage
hal-02187244v1
|
||
|
A Constraint-based Approach to Web Services Provisioning[Research Report] RR-7413, INRIA. 2010, pp.39
Rapport
inria-00524590v1
|
||
|
Rule-Based Unification in Combined Theories and the Finite Variant PropertyLATA 2019 - 13th International Conference on Language and Automata Theory and Applications, Mar 2019, Saint-Petersbourg, Russia. pp.356--367, ⟨10.1007/978-3-030-13435-8_26⟩
Communication dans un congrès
hal-01988419v1
|
||
|
Non-Disjoint Combination with Forward-Closed Theories31th International Workshop on Unification, UNIF 2017, Adrià Gascón; Christopher Lynch, Sep 2017, Oxford, United Kingdom
Communication dans un congrès
hal-01590782v1
|
||
|
Rewriting with strategies in ELAN: a functional semanticsInternational Journal of Foundations of Computer Science, 2001, pp.27. ⟨10.1142/S0129054101000412⟩
Article dans une revue
inria-00098778v1
|
||
|
Terminating Non-Disjoint Combined Unification (Extended Abstract)UNIF 2020 - 34th International Workshop on Unification, Temur Kutsia; Andrew Marshall, Jun 2020, Paris, France
Communication dans un congrès
hal-02962869v1
|
||
Combined Hierarchical Matching: the Regular Case7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Aug 2022, Haifa, Israel. pp.6:1--6:22, ⟨10.4230/LIPIcs.FSCD.2022.6⟩
Communication dans un congrès
hal-03738893v1
|
|||
|
Asymmetric Unification and the Combination Problem in Disjoint Theories[Research Report] RR-8476, INRIA. 2014
Rapport
hal-00947088v1
|
||
|
On Asymmetric Unification and the Combination Problem in Disjoint TheoriesFoundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS, Apr 2014, Grenoble, France. pp.15, ⟨10.1007/978-3-642-54830-7_18⟩
Communication dans un congrès
hal-01087065v1
|
||
Solex: a Domain-Independent Scheme for Constraint Solver ExtensionInternational Conference on Artificial Intelligence & Symbolic Computation - AISC'98, 1998, Plattsburgh, New York, USA, pp.222--233
Communication dans un congrès
inria-00098506v1
|
|||
|
Hierarchical Combination of Unification AlgorithmsThe 27th International Workshop on Unification (UNIF 2013), Jun 2013, Eindhoven, Netherlands
Communication dans un congrès
hal-00920509v1
|
||
|
Unification and Matching in Hierarchical Combinations of Syntactic TheoriesFrontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Sep 2015, Wroclaw, Poland. pp.291--306, ⟨10.1007/978-3-319-24246-0_18⟩
Communication dans un congrès
hal-01206669v1
|
||
Automatic Decidability: A Schematic Calculus for Theories with Counting OperatorsRTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.303-318, ⟨10.4230/LIPIcs.RTA.2013.303⟩
Communication dans un congrès
hal-00878657v1
|