Publications

AuthID
P-017-YHD

Author(s)

Antoine, T

Piedeleu, R

Zanasi, F

Editor(s)

Endrullis,J;Schmitz,S

Document Type

Proceedings Paper

Year published

2025

Published

in 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands in LIPIcs

Volume: 326, Pages: 27:1-27:22

Indexing

Publication Identifiers

Dblp: conf/csl/AntoineP0Z25

Export Publication Metadata

Marked List

Info

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

Useful Links