Publications

AuthID
P-00Z-X5H

Author(s)

Gu, T

Bao, J

Hsu, J

Zanasi, F

Editor(s)

Rehof,J

Document Type

Proceedings Paper

Year published

2024

Published

in 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia in LIPIcs

Volume: 299, Pages: 17:1-17:20

Indexing

Publication Identifiers

Dblp: conf/fscd/GuBH0Z24

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links