On counting propositional logic and Wagner's hierarchy

Autor: Antonelli, Melissa, Dal Lago, Ugo, Pistone, Paolo
Zdroj: In Theoretical Computer Science 26 July 2023 966-967
Databáze: ScienceDirect