A parameterized view on the complexity of dependence and independence logic

Year of publication

2022

Authors

Kontinen, Juha; Meier, Arne; Mahmood, Yasir

Organizations and authors

University of Helsinki

Kontinen Juha

Publication type

Publication format

Article

Parent publication type

Journal

Article type

Original article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A1 Journal article (refereed), original research

Publication channel information

Journal/Series

Journal of Logic and Computation

Parent publication name

Journal of Logic and Computation

Volume

Issue

Article number

exac070

Pages

1624–1644

ISSN

0955-792X

Publication forum

60879

Publication forum level

Open access

Open access in the publisher’s service

Open access of publication channel

Partially open publication channel

Self-archived

Yes

Other information

Fields of science

Mathematics

Keywords

[object Object],[object Object],[object Object],[object Object],[object Object]

Publication country

United Kingdom

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

DOI

10.1093/logcom/exac070

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes