Geometry of interaction for mall via Hughes-van Glabbeek proof-nets

研究成果: Article同行評審

2 引文 斯高帕斯(Scopus)

指紋

深入研究「Geometry of interaction for mall via Hughes-van Glabbeek proof-nets」主題。共同形成了獨特的指紋。

Mathematics

Engineering & Materials Science