Modular SAT-based techniques for reasoning tasks in team semantics
Publiceringsår
2024
Upphovspersoner
Durand, Arnaud; Kontinen, Juha; Väänänen, Jouko
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Tidning
Artikelstyp
En originalartikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A1 Originalartikel i en vetenskaplig tidskriftPublikationskanalens uppgifter
Journal/Serie
Moderpublikationens namn
Volym
146
Artikelnummer
103575
ISSN
Publikationsforum
Publikationsforumsnivå
3
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ja
Öppen tillgång till publikationskanalen
Delvis öppen publikationskanal
Licens för förläggarens version
CC BY
Parallellsparad
Ja
Parallellagringens licens
CC BY
Övriga uppgifter
Vetenskapsområden
Matematik
Publiceringsland
Förenta staterna (USA)
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.1016/j.jcss.2024.103575
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja