Expressivity and Complexity of Dependence Logic

Publiceringsår

2016

Upphovspersoner

Durand, Arnaud; Kontinen, Juha; Vollmer, Heribert

Organisationer och upphovspersoner

Helsingfors universitet

Kontinen Juha

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Samlingsverk

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A3 Del av bok eller annat samlingsverk

Publikationskanalens uppgifter

Moderpublikationens namn

Dependence Logic:Theory and Applications

Moderpublikationens redaktörer

Abramsky, Samson; Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert

Förläggare

Springer International Publishing AG

Sidor

5-32

ISBN

978-3-319-31801-1

Publikationsforum

5952

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Matematik

Publiceringsland

Schweiz

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej

DOI

10.1007/978-3-319-31803-5_2