A Parameterized View on the Complexity of Dependence 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
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Parent publication name
Logical Foundations of Computer Science:International Symposium, LFCS 2022, Proceedings
Parent publication editors
Artemov, Sergei; Nerode, Anil
Conference
Publisher
Volume
13137
Pages
125-142
ISSN
ISBN
Publication forum
Publication forum level
1
Open access
Open access in the publisher’s service
No
Self-archived
Yes
Other information
Fields of science
Computer and information sciences
Publication country
Netherlands
Internationality of the publisher
International
Language
English
International co-publication
Yes
Co-publication with a company
No
DOI
10.1007/978-3-030-93100-1_9
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes