Filtrer vos résultats
- 69
- 63
- 61
- 37
- 22
- 6
- 3
- 2
- 1
- 14
- 5
- 131
- 1
- 1
- 1
- 34
- 32
- 24
- 24
- 24
- 1
- 1
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 3
- 4
- 10
- 7
- 7
- 6
- 5
- 3
- 13
- 14
- 8
- 7
- 9
- 10
- 1
- 1
- 1
- 1
- 125
- 7
- 106
- 103
- 22
- 16
- 12
- 9
- 7
- 5
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 132
- 30
- 28
- 17
- 12
- 10
- 9
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 4
- 4
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
132 résultats
|
Porgy Strategy Language: User Manual[Research Report] Université de Bordeaux, LaBRI; Inria Bordeaux Sud-Ouest; King's College London. 2020
Rapport
hal-01566525v4
|
||
Constraint Based Strategies18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. pp.13-26
Communication dans un congrès
inria-00494531v1
|
|||
|
An algebraic semantics for objects in a rule-based language16th International Workshop on Algebraic Development Techniques - WADT'2002, Sep 2002, Frauenchiemsee, Germany, 3 p
Communication dans un congrès
inria-00107616v1
|
||
|
Port Graphs, Rules and Strategies for Dynamic Data Analytics -Extended AbstractInternational Conference on Rewriting, Deduction, and Programming, Jun 2015, Warsaw, Poland. ⟨10.4230/LIPIcs.RTA.2015.i⟩
Communication dans un congrès
hal-01183812v1
|
||
Term RewritingAstesiano, E. & Kreowski, H.J. & Krieg-Brückner, B. Algebraic Foundations of Systems Specifications, Springer, pp.273--320, 1999, IFIP State-of-the-Art Reports
Chapitre d'ouvrage
inria-00098978v1
|
|||
Policy Composition based on Petri Nets33rd Annual IEEE International Computer Software and Applications Conference COMPSAC2009, Jul 2009, Seattle, United States. pp.416--421, ⟨10.1109/COMPSAC.2009.169⟩
Communication dans un congrès
inria-00433398v1
|
|||
|
Labelled Graph Strategic Rewriting for Social Networks[Research Report] Université de bordeaux; Inria; King's College London. 2016
Rapport
hal-01429893v1
|
||
Algebraic Methodology And Software Technology9th International Conference on Algebraic Methodology And Software Technology - AMAST'2002, Sep 2002, Saint-Gilles-les-Bains, Reunion Island, France, XI-501 p
Communication dans un congrès
inria-00100866v1
|
|||
|
Termination of Rewriting under StrategiesACM Transactions on Computational Logic, 2009, 10 (2), pp.1-52. ⟨10.1145/1462179.1462182⟩
Article dans une revue
inria-00182432v1
|
||
|
Computing Constructor Forms with Non Terminating Rewrite Programs - Extended version[Research Report] 2006, pp.17
Rapport
inria-00113146v1
|
||
|
Vers une agriculture numérique en Afrique : enjeux et perspectivesJournal of Interdisciplinary Methodologies and Issues in Science, 2021, Digital Agriculture in Africa, ⟨10.18713/JIMIS-120221-8-0⟩
Article dans une revue
hal-03102041v2
|
||
|
Labelled Graph Strategic Rewriting for Social NetworksJournal of Logical and Algebraic Methods in Programming, 2018, 96 (C), pp.12--40. ⟨10.1016/j.jlamp.2017.12.005⟩
Article dans une revue
hal-01664593v1
|
||
|
Formal Specification and Validation of Security PoliciesFPS - 4th Canada-France MITACS Workshop on Foundations and Practice of Security - 2011, May 2011, Paris, France. pp.148-163, ⟨10.1007/978-3-642-27901-0_12⟩
Communication dans un congrès
inria-00507300v2
|
||
Orderings in Automated Theorem ProvingHoffman, Frederick. Mathematical Aspects of Artificial Intelligence, American Mathematical Society, pp.55-95, 1998, Proceedings of Symposia in Applied Mathematics
Chapitre d'ouvrage
inria-00098418v1
|
|||
|
Proofs in parameterized specifications[Research Report] RR-1424, INRIA. 1991
Rapport
inria-00075136v1
|
||
|
Extensional and Intensional StrategiesElectronic Proceedings in Theoretical Computer Science, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19. ⟨10.4204/EPTCS.15.1⟩
Article dans une revue
inria-00494636v1
|
||
|
Rewriting Strategies and Strategic Rewrite Programs (Updated version)[Research Report] Inria. 2016, pp.380-403
Rapport
hal-01254205v1
|
||
|
Inria@SiliconValley Activity Report 2011-2014[0] Inria. 2015, pp.1-44
Rapport
hal-01199428v1
|
||
Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 5[Contrat] A03-R-541 || ibanescu03b, 2003, 42 p
Rapport
inria-00099760v1
|
|||
|
Automatic Combinability of Rewriting-Based Satisfiability Procedures13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR 2006, Nov 2006, Phnom Penh/Cambodia, pp.542--556, ⟨10.1007/11916277⟩
Communication dans un congrès
inria-00117261v1
|
||
Outermost ground termination - Extended version[Intern report] A02-R-493 || fissore02d, 2002, 38 p
Rapport
inria-00101079v1
|
|||
|
CARIBOO: An Induction Based Proof Tool for Termination with StrategiesFourth International Conference on Principles and Practice of Declarative Programming - PPDP'02, Oct 2002, Pittsburgh, USA, 12 p
Communication dans un congrès
inria-00107557v1
|
||
Termination of rewriting strategies: a generic approach[Research Report] 2005, pp.49
Rapport
inria-00000178v1
|
|||
Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative TheoriesJournal of Functional Programming, 2001, 11 (3), pp.207-251
Article dans une revue
inria-00100926v1
|
|||
Frontiers of Combining SystemsThird International Workshop - FroCoS'2000, Hélène Kirchner, Christophe Ringeissen, 2000, Nancy, France, 290 p
Communication dans un congrès
inria-00099093v1
|
|||
|
Induction for termination with local strategies - Extended version[Intern report] A01-R-177 || fissore01b, 2001, 29 p
Rapport
inria-00107541v1
|
||
|
Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems with PorgyBill Hlavacek. Modeling Biomolecular Site Dynamics, 1945, Springer, pp 43-70, 2019, Methods in Molecular Biology, 978-1-4939-9100-6. ⟨10.1007/978-1-4939-9102-0_3⟩
Chapitre d'ouvrage
hal-01429890v1
|
||
|
Combination of Convex Theories: Modularity, Deduction Completeness, and ExplanationJournal of Symbolic Computation, 2010, Automated Deduction: Decidability, Complexity, Tractability, 45 (2), pp.261-286. ⟨10.1016/j.jsc.2008.10.006⟩
Article dans une revue
inria-00428583v1
|
||
|
Actions & Plans in ELANProceedings of the Workshop on Strategies in Automated Deduction - CADE-15, B. GRAMLICH & F. PFENNING, 1998, Lindau, Germany, pp.35-45
Communication dans un congrès
inria-00098714v1
|
||
|
Modular Access Control via Strategic Rewriting12th European Symposium On Research In Computer Security - ESORICS 2007, Sep 2007, Dresden, Germany. pp.578-593, ⟨10.1007/978-3-540-74835-9_38⟩
Communication dans un congrès
inria-00185697v1
|