https://hal.inria.fr/hal-03189966
Contributor : Jean Goubault-Larrecq <>
Submitted on : Monday, April 5, 2021 - 4:57:06 PM Last modification on : Wednesday, April 7, 2021 - 3:35:15 AM
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⟩