Decidability of predicate logics with team semantics
Publiceringsår
2016
Upphovspersoner
Kontinen, Juha Aleksi; Virtema, Jonni Taneli; Kuusisto, Antti
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
Moderpublikationens namn
Volym
58
Artikelnummer
60
Sidor
60:1-60:14
ISSN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ja
Öppen tillgång till publikationskanalen
Helt öppen publikationskanal
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Matematik
Publiceringsland
Tyskland
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.4230/LIPIcs.MFCS.2016.60
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja