An Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1997

An Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems

Domaines

Langage de programmation [cs.PL]

Alain Miniussi  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00389566

Soumis le : vendredi 29 mai 2009-00:08:42

Dernière modification le : vendredi 24 mars 2023-14:52:52

Fichier non déposé

Dates et versions

hal-00389566 , version 1 (29-05-2009)

Identifiants

  • HAL Id : hal-00389566 , version 1

Citer

Alain Miniussi, Robert Strandh. An Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems. APPIA-GULP-PRODE, Jun 1997, France. pp.445-456. ⟨hal-00389566⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS
64 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More