KwdFr.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « KwdFr.i » - entrée « rewriting »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
rewrite systems < rewriting < rewriting approach to satisfiability procedures  Facettes :

List of bibliographic references indexed by rewriting

Number of relevant bibliographic references: 51.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
006633 (2004-07) Yannick Chevalier [France]A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
006D35 (2004) Olivier Bournez [France] ; Florent Garnier [France]Proving Positive Almost-Sure Termination
006D74 (2004) Frédéric Blanqui [France]Prototype d'extension du système Coq
006D76 (2004) Frédéric Blanqui [France]Proposition d'architecture du moteur de test de conversion
006E16 (2004) Frédéric Blanqui [France]Définition de la classe de réécriture à intégrer
006E30 (2004) Sébastien Hinderer [France]Certification des preuves de terminaison par interprétations polynomiales
006E56 (2004) Horatiu Cirstea [France] ; Emmanuel Coquery [France] ; Wlodzimierz Drabent ; Francois Fages [France] ; Claude Kirchner [France] ; Jan Maluszynski ; Benjamin Wack [France]Types for Web Rule Languages: a preliminary study
006E95 (2004) Claude Kirchner [France] ; Hélène Kirchner [France]Rule-based programming and proving: the ELAN experience outcomes
007195 (2003-08) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Simplification and Termination of Strategies in Rule-Based Languages
007250 (2003-06) Mark G. J. Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas]Environments for Term Rewriting Engines for Free!
007254 (2003-06) Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Mariana-Liliana Ibanescu [France]Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
007255 (2003-06) Nachum Dershowitz [Canada] ; Claude Kirchner [France]Abstract Saturation-based Inference
007434 (2003) Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Pascal Urso [France]VOTE: Group Editors Analyzing Tool
007441 (2003) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Outermost ground termination
007981 (2003) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Theorem Proving Modulo
007B97 (2003) François Lamarche [France]Vers une Géométrie Symbolique
007C11 (2003) Antoine Reilles [France]Réécriture dans un cadre concurrent
007C24 (2003) Liliana Ibanescu [France] ; Hélène Kirchner [France] ; Olivier Bournez [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie ConraudProjet 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
007C25 (2003) Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie ConraudProjet 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 4
007C55 (2003) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Innermost sufficient completeness
007D43 (2003) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]Termination of ELAN strategies by simplification - Extended version -

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdFr.i -k "rewriting" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdFr.i  \
                -Sk "rewriting" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdFr.i
   |clé=    rewriting
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022