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

Filtrer vos résultats

215 résultats
keyword_s : Rewriting
Page :
triés par
Image document

Drag Rewriting

 Nachum Dershowitz , Jean-Pierre Jouannaud , Fernando Orejas
2023
Pré-publication, Document de travail hal-04143346v3

Diagrammatic Semantics for Digital Circuits

 Dan Ghica , Achim Jung , Aliaume Lopez
computer science logic, 2017, Dagstuhl, Germany. ⟨10.4230/LIPIcs.CSL.2017.24⟩
Communication dans un congrès hal-04360237v1
Image document

The Computability Path Ordering

 Frédéric Blanqui , Jean-Pierre Jouannaud , Albert Rubio
Logical Methods in Computer Science, 2015, ⟨10.2168/LMCS-11(4:3)2015⟩
Article dans une revue hal-01163091v2
Image document

Proving Positive Almost-Sure Termination

 Olivier Bournez , Florent Garnier
[Intern report] A04-R-409 || bournez04h, 2004, 16 p
Rapport inria-00099867v1

Induction for weak termination

 Isabelle Gnaedig , Olivier Fissore , Hélène Kirchner
[Intern report] A02-R-111 || gnaedig02a, 2002, 23 p
Rapport inria-00101056v1

Handling Relations over Finite Domains in the Rule-Based System ELAN

 Christophe Ringeissen
Third International Workshop on Rewriting Logic & Applications - WRLA'2000, 2000, Kanazawa, Japon, 17 p
Communication dans un congrès inria-00099386v1
Image document

Définition de la classe de réécriture à intégrer

 Frédéric Blanqui
[Contrat] A04-R-487 || blanqui04c, 2004, 7 p
Rapport inria-00099930v1
Image document

Termination and normalisation under strategies--Proofs in ELAN

 Hélène Kirchner , Isabelle Gnaedig
3rd International Workshop on Rewriting Logic & Applications - WRLA'2000, 2000, Kanazawa, Japan, pp.93--115
Communication dans un congrès inria-00099059v1
Image document

Equational logic and rewriting

 Claude Kirchner , Hélène Kirchner
Dov M. Gabbay; Jörg H. Siekmann; John Woods. Handbook of the History of Logic, 9 (Chap.8), Elsevier, 2014, History of Logic and Computation in the 20th Century, 978-0444516244
Chapitre d'ouvrage hal-01183817v1

Deduction versus Computation: the Case of Induction

 Eric Deplagne , Claude Kirchner
Sixth International Conference on Artificial Intelligence and Symbolic Computation - AISC'2002, Jul 2002, Marseille, France, pp.4-6
Communication dans un congrès inria-00101024v1

Outermost ground termination

 Olivier Fissore , Isabelle Gnaedig , Hélène Kirchner
Electronic Notes in Theoretical Computer Science, 2003, 71, 20 p
Article dans une revue inria-00099654v1
Image document

Quadratic normalisations and coherent presentations of monoids

 Alen Ðurić
Mathematics [math]. Université Paris Cité, 2023. English. ⟨NNT : ⟩
Thèse tel-04185552v1
Image document

Generalized Multisets for Chemical Programming

 Jean-Pierre Banâtre , Pascal Fradet , Yann Radenac
[Research Report] PI 1762, 2005, pp.26
Rapport inria-00000624v1
Image document

Compiling pattern matching to in-place modifications

 Paul Iannetta , Laure Gonnord , Gabriel Radanne
GPCE 2021 - 20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩
Communication dans un congrès hal-03355377v1
Image document

Un îlot formel pour les transformations de modèles qualifiables

 Jean-Christophe Bach
Langage de programmation [cs.PL]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0128⟩
Thèse tel-01081055v2
Image document

Pattern eliminating transformations

 Horatiu Cirstea , Pierre Lermusiaux , Pierre-Etienne Moreau
LOPSTR 2020 - 30th International Symposium on Logic-Based Program Synthesis and Transformation, Sep 2020, Bologna, Italy
Communication dans un congrès hal-02476012v3

RPO constraint solving is in NP

 Paliath Narendran , Michaël Rusinowitch , Rakesh Verma
Computer Science Logic, 1998, Brno, Tchêquie, 12 p
Communication dans un congrès inria-00098426v1
Image document

Expressing predicate subtyping in computational logical frameworks

 Gabriel Hondet
Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG070⟩
Thèse tel-03855351v1

The Rewriting Calculus - Part II

 Horatiu Cirstea , Claude Kirchner
Logic Journal of the IGPL, 2001, 9 (3), pp.465-498. ⟨10.1093/jigpal/9.3.377⟩
Article dans une revue istex inria-00100532v1
Image document

Analyse de Programmes Malveillants par Abstraction de Comportements

 Philippe Beaucamps
Logique en informatique [cs.LO]. Institut National Polytechnique de Lorraine - INPL, 2011. Français. ⟨NNT : ⟩
Thèse tel-00646395v1

VOTE: Group Editors Analyzing Tool

 Abdessamad Imine , Pascal Molli , Gérald Oster , Pascal Urso
Fourth International Workshop on First-Order Theorem Proving - FTP'03, 2003, Valencia, Spain, pp.153-161, ⟨10.1016/S1571-0661(04)80660-1⟩
Communication dans un congrès inria-00099700v1
Image document

A type system for embedded rewriting programming

 Cláudia Tavares
Software Engineering [cs.SE]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0015⟩
Thèse tel-01749159v2
Image document

Semi-automatic ladderisation: improving code security through rewriting and dependent types

 Christopher Brown , Adam Barwell , Yoann Marquer , Olivier Zendra , Tania Richmond , et al.
PEPM 2022 - ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Jan 2022, Philadelphia PA, United States. pp.14-27, ⟨10.1145/3498886.3502202⟩
Communication dans un congrès hal-03805561v1
Image document

Object-Oriented Mechanisms for Interoperability between Proof Systems

 Raphaël Cauderlier
Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English. ⟨NNT : ⟩
Thèse tel-01415945v1

Protocol insecurity with a finite number of sessions, composed keys is NP-complete.

 Michaël Rusinowitch , Mathieu Turuani
Theoretical Computer Science, 2003, Theoretical Computer Science, 1-3 (299), pp.451-475. ⟨10.1016/S0304-3975(02)00490-5⟩
Article dans une revue inria-00103985v1

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 3

 Liliana Ibanescu , Olivier Bournez , Hélène Kirchner , Guy-Marie Côme , Gérard Scacchi , et al.
[Contrat] A02-R-560 || ibanescu02b, 2002, 26 p
Rapport inria-00101048v1
Image document

Types for Web Rule Languages: a preliminary study

 Horatiu Cirstea , Emmanuel Coquery , Wlodzimierz Drabent , Francois Fages , Claude Kirchner , et al.
[Contract] A04-R-560 || cirstea04e, Inria. 2004, 33 p
Rapport inria-00099859v1

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 1

 Liliana Ibanescu , Olivier Bournez , Hélène Kirchner , Guy-Marie Côme , Valérie Conraud
[Contrat] A01-R-457 || ibanescu01a, 2001, 32 p
Rapport inria-00100688v1
Image document

Argument filterings and usable rules in higher-order rewrite systems

 Sho Suzuki , Keiichirou Kusakari , Frédéric Blanqui
IPSJ Transactions on Programming, 2011, 4 (2), pp.1-12
Article dans une revue inria-00555008v1
Image document

On the relation between sized-types based termination and semantic labelling

 Frédéric Blanqui , Cody Roux
18th EACSL Annual Conference on Computer Science Logic - CSL 09, Sep 2009, Coimbra, Portugal
Communication dans un congrès inria-00397689v1
Page :