Skip to Main content Skip to Navigation
Book sections

The Blossom of Finite Semantic Trees

Document type :
Book sections
Complete list of metadata

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

Identifiers

  • HAL Id : hal-03189966, version 1

Citation

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⟩

Share

Metrics

Record views

30