Computational Properties of Partial Non-Deterministic Matrices and Their Logics

AuthID
P-00V-YR5
3
Author(s)
Marcelino, S
·
Filipe, P
2
Editor(s)
Artemov,S;Nerode,A
Document Type
Proceedings Paper
Year published
2022
Published
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 13137 LNCS, Pages: 180-197
Conference
International Symposium on Logical Foundations of Computer Science, Lfcs 2022, Date: 10 January 2022 through 13 January 2022
Indexing
Publication Identifiers
Scopus: 2-s2.0-85122043491
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.