Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report) - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2022

Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report)

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
subterms_unif.pdf (284.03 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Christophe Ringeissen  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03888198

Soumis le : mercredi 7 décembre 2022-11:35:42

Dernière modification le : lundi 2 décembre 2024-17:36:02

Archivage à long terme le : mercredi 8 mars 2023-18:53:05

Télécharger pour visualiser

Dates et versions

hal-03888198 , version 1 (07-12-2022)

Identifiants

  • HAL Id : hal-03888198 , version 1

Citer

Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M Marshall, Christophe Ringeissen. Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report). 36th International Workshop on Unification, David Cerna; Barbara Morawska, Aug 2022, Haifa, Israel. ⟨hal-03888198⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
49 Consultations
48 Téléchargements

Partager

More