Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

152 résultats
keyword_s : Réécriture
Page :
triés par

Rule based programming in Java for protocol verification

 Horatiu Cirstea , Pierre-Etienne Moreau , Antoine Reilles
5th International Workshop on Rewriting Logic and its Applications - WRLA'2004, Narciso Marti-Oliet, 2004, Barcelona, Spain. 18 p, ⟨10.1016/j.entcs.2004.06.022⟩
Communication dans un congrès inria-00100025v1
Image document

Représentation et interaction des preuves en superdéduction modulo

 Clément Houtmann
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2010. Français. ⟨NNT : 2010NAN10026⟩
Thèse tel-00553219v1
Image document

Réécriture et Modularité pour les Politiques de Sécurité

 Anderson Santana de Oliveira
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2008. Français. ⟨NNT : ⟩
Thèse tel-00335079v1

Encoding the Hydra battle as a rewrite system

 Hélène Touzet
International Symposium on the Mathematical Foundations of Computer Science - MFCS'98, Aug 1998, Brno, Czech Republic, pp.267-276
Communication dans un congrès inria-00098575v1

Algorithms and Reductions for Rewriting Problems

 Rakesh Verma , Michaël Rusinowitch , Denis Lugiez
Proceedings 9th Conference on Rewriting Techniques and Applications, 1998, Tsukuba, Japan, pp.166-180
Communication dans un congrès inria-00098607v1
Image document

Réécriture et détection d'implication textuelle

 Paul Bedaride , Claire Gardent
Traitement Automatique des Langues Naturelles - TALN 2008, Jul 2008, Avignon, France. pp.19-28
Communication dans un congrès inria-00336218v1
Image document

Le calcul de réécriture

 Horatiu Cirstea
Génie logiciel [cs.SE]. Université Nancy II, 2010
HDR tel-00546917v1

Calcul de réécriture : fondements et applications

 Horatiu Cirstea
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10087⟩
Thèse tel-01746463v1
Image document

Analyse de programmes malveillants par abstraction de comportements

 Philippe Beaucamps
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2011. Français. ⟨NNT : 2011INPL092N⟩
Thèse tel-01751072v1
Image document

Gouvernance et étude de l'impact du changement des processus métiers sur les architectures orientées services : une approche dirigée par les modèles

 Karim Dahman
Architectures Matérielles [cs.AR]. Université de Lorraine, 2012. Français. ⟨NNT : 2012LORR0241⟩
Thèse tel-01749632v2
Image document

Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage

 Colin Riba
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2007. Français. ⟨NNT : 2007INPL102N⟩
Thèse tel-01752911v1
Image document

Proof reconstruction (preliminary version).

 Judicael Courant
[Research Report] LIP 1996-26, Laboratoire de l'informatique du parallélisme. 1996, 2+14p
Rapport hal-02101787v1

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

 Liliana Ibanescu , Hélène Kirchner , Olivier Bournez , Guy-Marie Côme , Gérard Scacchi , et al.
[Contrat] A03-R-541 || ibanescu03b, 2003, 42 p
Rapport inria-00099760v1

A Rho Cube

 Horatiu Cirstea , Claude Kirchner , Luigi Liquori
[Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
Rapport inria-00099309v1

Outermost ground termination - Extended version

 Olivier Fissore , Isabelle Gnaedig , Hélène Kirchner
[Intern report] A02-R-493 || fissore02d, 2002, 38 p
Rapport inria-00101079v1
Image document

CARIBOO: An Induction Based Proof Tool for Termination with Strategies

 Olivier Fissore , Isabelle Gnaedig , Hélène Kirchner
Fourth International Conference on Principles and Practice of Declarative Programming - PPDP'02, Oct 2002, Pittsburgh, USA, 12 p
Communication dans un congrès inria-00107557v1
Image document

The rho cube : some results, some problems

 Horatiu Cirstea , Claude Kirchner , Luigi Liquori , Benjamin Wack
First International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, D. Kesner, T. Nipkow and F. van Raamsdonk, Jul 2002, Copenhague, Denmark
Communication dans un congrès inria-00099411v1
Image document

Induction for termination with local strategies - Extended version

 Olivier Fissore , Isabelle Gnaedig , Hélène Kirchner
[Intern report] A01-R-177 || fissore01b, 2001, 29 p
Rapport inria-00107541v1

Deciding the Confluence of Ordered Term Rewrite Systems

 Hubert Comon-Lundh , Paliath Narendran , Robert Nieuwenhuis , Michaël Rusinowitch
ACM Transactions on Computational Logic, 2003, 4 (1), pp.33-55. ⟨10.1145/601775.601777⟩
Article dans une revue inria-00099508v1
Image document

Prototype d'extension du système Coq

 Frédéric Blanqui
[Contrat] A04-R-505 || blanqui04e, 2004, 8 p
Rapport inria-00099932v1

Réécriture en présence de choix probabilistes

 Mathieu Hoyrup
[Stage] A02-R-424 || hoyrup02a, 2002
Rapport inria-00100886v1

Towards Efficient Automated Verification of Security Protocols

 Yannick Chevalier , Laurent Vigneron
Verification Workshop - VERIFY'01 (in connection with IJCAR'01), Jun 2001, Siena, Italy, 15 p
Communication dans un congrès inria-00101104v1
Image document

Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité

 Frédéric Blanqui
Logique [math.LO]. Université Paris-Diderot - Paris VII, 2012
HDR tel-00724233v2

Certification des preuves de terminaison par interprétations polynomiales

 Sébastien Hinderer
[Stage] A04-R-489 || hinderer04a, 2004, 29 p
Rapport inria-00099929v1
Image document

Proof Search and Proof Check for Equational and Inductive Theorems

 Eric Deplagne , Claude Kirchner , Hélène Kirchner , Quang Huy Nguyen
Conference on Automated Deduction - CADE-19, Jul 2003, Miami (FL), United States. 20 p, ⟨10.1007/978-3-540-45085-6_26⟩
Communication dans un congrès istex inria-00099470v1
Image document

$\rho$-Calculus. Its Syntax and Basic Properties

 Horatiu Cirstea , Claude Kirchner
[Intern report] 98-R-218 || cirstea98a, 1998, 16 p
Rapport inria-00098735v1
Image document

Aspects typés du calcul de réécriture

 Benjamin Wack
[Stage] A02-R-175 || wack02a, 2002, 44 p
Rapport inria-00099418v1

A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms

 Olivier Bournez , Guy-Marie Côme , Valérie Conraud , Hélène Kirchner , Liliana Ibanescu
14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.30-45
Communication dans un congrès inria-00099621v1

Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve

 Quang Huy Nguyen
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2002. Français. ⟨NNT : 2002NAN10144⟩
Thèse tel-01746719v1
Image document

Towards a Methodology for Rule-Based Programming

 Carlos Castro , Claude Kirchner
[Intern report] A02-R-529 || castro02a, 2002, 24 p
Rapport inria-00099428v1
Page :