Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

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