Chapitre D'ouvrage
Année : 2013
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03189966
Soumis le : lundi 5 avril 2021-16:57:06
Dernière modification le : mercredi 29 novembre 2023-15:28:04
Dates et versions
Identifiants
- HAL Id : hal-03189966 , version 1
Citer
Jean Goubault-Larrecq, Jean-Pierre Jouannaud. The Blossom of Finite Semantic Trees. Programming Logics -- Essays in Memory of Harald Ganzinger, volume 7797 of Lecture Notes in Computer Science, pages 90--122. Springer., 2013. ⟨hal-03189966⟩
Collections
30
Consultations
0
Téléchargements