Publications

AuthID
P-00T-HTQ

Author(s)

Dinis, B

Editor(s)

Baier,C;Goubault Larrecq,J

Document Type

Proceedings Paper

Year published

2021

Published

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

Volume: 183

Conference

29Th Eacsl Annual Conference on Computer Science Logic, Csl 2021, Date: 25 January 2021 through 28 January 2021

Indexing

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.4230/lipics.csl.2021.19

Scopus: 2-s2.0-85100900523

Source Identifiers

ISSN: 1868-8969

Export Publication Metadata

Marked List

Info

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

Useful Links