Publicações

AuthID
P-00Y-00Q

Author(s)

Forster, J

Goncharov, S

Nora, P

Schröder, L

Wild, P

Editor(s)

Klin,B;Pimentel,E

Document Type

Proceedings Paper

Year published

2023

Published

in Leibniz International Proceedings in Informatics, LIPIcs, ISSN: 1868-8969

Volume: 252

Conference

31St Eacsl Annual Conference on Computer Science Logic, Csl 2023, Date: 13 February 2023 through 16 February 2023

Indexing

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.4230/lipics.csl.2023.22

Scopus: 2-s2.0-85148333054

Source Identifiers

ISSN: 1868-8969

Export Publication Metadata

Lista Marked

Info

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

Useful Links