Incremental Update for Graph Rewriting

Thomas Ehrhard; Pierre Boutillier; Jean Krivine

doi:10.1007/978-3-662-54434-1_8

Communication Dans Un Congrès Année : 2017

Incremental Update for Graph Rewriting

(1) , (2) , (3)

1
2
3

Thomas Ehrhard

Fonction : Auteur
PersonId : 742157
IdHAL : thomas-ehrhard
ORCID : 0000-0001-5231-5504
IdRef : 132983664

Institut de Recherche en Informatique Fondamentale

Pierre Boutillier

Fonction : Auteur
PersonId : 2617
IdHAL : pboutill
IdRef : 177831596

Design, study and implementation of languages for proofs and programs

Jean Krivine

Fonction : Auteur
PersonId : 114
IdHAL : jkrivine
IdRef : 114283311

Preuves, Programmes et Systèmes

CV

Domaines

Logique en informatique [cs.LO]

Thomas Ehrhard : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02357978

Soumis le : lundi 11 novembre 2019-09:05:47

Dernière modification le : vendredi 22 décembre 2023-03:37:42

Dates et versions

hal-02357978 , version 1 (11-11-2019)

Identifiants

HAL Id : hal-02357978 , version 1
DOI : 10.1007/978-3-662-54434-1_8

Citer

Thomas Ehrhard, Pierre Boutillier, Jean Krivine. Incremental Update for Graph Rewriting. European Symposium on Programming (ESOP), Apr 2017, Uppsala, Sweden. ⟨10.1007/978-3-662-54434-1_8⟩. ⟨hal-02357978⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS INRIA INRIA2 USPC UP-SCIENCES ANR IRIF

35 Consultations

0 Téléchargements

Incremental Update for Graph Rewriting

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager