Parameterized complexity of propositional inclusion and independence logic

Mahmood, Y. and Virtema, J. orcid.org/0000-0002-1582-3718 (2023) Parameterized complexity of propositional inclusion and independence logic. In: Hansen, H.H., Scedrov, A. and de Queiroz, R.J.G.B., (eds.) Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. 29th Workshop on Logic, Language, Information and Computation, 11-14 Jul 2023, Halifax, NS, Canada. Lecture Notes in Computer Science, LNCS 13923 . Springer Cham , pp. 274-291. ISBN 9783031397837

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Hansen, H.H.
  • Scedrov, A.
  • de Queiroz, R.J.G.B.
Copyright, Publisher and Additional Information:

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG. This is an author-produced version of a paper subsequently published in Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings, Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Propositional Logic; Team Semantics; Model checking; Satisfiability; Parameterized Complexity
Dates:
  • Published: 30 August 2023
  • Published (online): 29 August 2023
  • Accepted: 15 May 2023
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
Funder
Grant number
DEUTSCHE FORSCHUNGSGEMEINSCHAFT
432788559
Depositing User: Symplectic Sheffield
Date Deposited: 07 Jul 2023 11:33
Last Modified: 29 Aug 2024 00:13
Status: Published
Publisher: Springer Cham
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: 10.1007/978-3-031-39784-4_17
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)