A parameterized view on the complexity of dependence logic
From MaRDI portal
Publication:2151403
DOI10.1007/978-3-030-93100-1_9MaRDI QIDQ2151403
Juha Kontinen, Arne Meier, Yasir Mahmood
Publication date: 1 July 2022
Full work available at URL: https://arxiv.org/abs/2109.09342
03B70: Logic in computer science