Tractability Frontier of Data Complexity in Team Semantics

DOI10.1145/3471618OpenAlexW2962851006MaRDI QIDQ5056358

Arnaud Durand, Jouko Väänänen, Nicolas de Rugy-Altherre, Juha Kontinen

Publication date: 8 December 2022

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3471618

zbMATH Keywords

independencemodel checkingdata complexitydependenceteam semanticsinclusion

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Tractability Frontier of Data Complexity in Team Semantics