Fundamentals of compositional rewriting theory - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logical and Algebraic Methods in Programming Année : 2023

Fundamentals of compositional rewriting theory

Dates et versions

hal-04620124 , version 1 (21-06-2024)

Identifiants

Citer

Nicolas Behr, Russ Harmer, Jean Krivine. Fundamentals of compositional rewriting theory. Journal of Logical and Algebraic Methods in Programming, 2023, 135, pp.100893. ⟨10.1016/j.jlamp.2023.100893⟩. ⟨hal-04620124⟩
10 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More