Publications

AuthID
P-016-E01

Author(s)

Ruiz, MT

Piedeleu, R

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: 20:1-20:21

Indexing

Publication Identifiers

Dblp: conf/fscd/Torres-RuizP0Z24

Export Publication Metadata

Marked List

Info

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

Useful Links