Publications

AuthID
P-017-YHE

Author(s)

Cîrstea, C

Moss, LS

Noquez, V

Schmid, T

Sokolova, A

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: 30:1-30:23

Indexing

Publication Identifiers

Dblp: conf/csl/CirsteaMNS0S25

Export Publication Metadata

Marked List

Info

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

Useful Links