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

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

Fichier principal
Vignette du fichier
subterms_unif.pdf (284.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

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⟩
31 Consultations
29 Téléchargements

Partager

Gmail Facebook X LinkedIn More