Toggle Main Menu Toggle Search

Open Access padlockePrints

Algorithms and complexity of difference logic

Lookup NU author(s): Dr Konrad DabrowskiORCiD

Downloads


Licence

This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).


Publication metadata

Author(s): Dabrowski KK, Jonsson P, Ordyniak S, Osipov G

Publication type: Article

Publication status: Published

Journal: Journal of Computer and System Sciences

Year: 2026

Volume: 159

Print publication date: 01/08/2026

Online publication date: 05/02/2026

Acceptance date: 19/01/2026

Date deposited: 10/04/2026

ISSN (print): 0022-0000

ISSN (electronic): 1090-2724

Publisher: Academic Press

URL: https://doi.org/10.1016/j.jcss.2026.103780

DOI: 10.1016/j.jcss.2026.103780

Data Access Statement: No data was used for the research described in the article.


Altmetrics

Altmetrics provided by Altmetric


Funding

Funder referenceFunder name
Engineering and Physical Sciences Research Council (EPSRC) (Project EP/V00252X/1)
Swedish Research Council (VR) under grant 2021-0437
Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation

Share