A Parameterized View on the Complexity of Dependence Logic
Publiceringsår
2022
Upphovspersoner
Kontinen, Juha; Meier, Arne; Mahmood, Yasir
Organisationer och upphovspersoner
Helsingfors universitet
Kontinen Juha
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
Logical Foundations of Computer Science:International Symposium, LFCS 2022, Proceedings
Moderpublikationens redaktörer
Artemov, Sergei; Nerode, Anil
Konferens
Förläggare
Volym
13137
Sidor
125-142
ISSN
ISBN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Ja
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Publiceringsland
Nederländerna
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.1007/978-3-030-93100-1_9
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja