One-dimensional Fragment of First-order Logic
Publiceringsår
2014
Upphovspersoner
Hella Lauri; Kuusisto Antti
Organisationer och upphovspersoner
Tammerfors universitet
Hella Lauri
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
Konferens
Förläggare
Sidor
274-293
ISBN
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
Okänd
Övriga uppgifter
Vetenskapsområden
Matematik; Data- och informationsvetenskap; Filosofi
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Okänd
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja