Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Counting computations with formulae: logical characterisations of counting complexity classes - MaRDI portal

Counting computations with formulae: logical characterisations of counting complexity classes

From MaRDI portal

Publication:6647626

Jump to:navigation, search

DOI10.4230/LIPICS.MFCS.2023.7MaRDI QIDQ6647626

Aggeliki Chalki, Antonis Achilleos

Publication date: 3 December 2024

zbMATH Keywords

\#P descriptive complexity counting problems quantitative logics

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

On the power of counting the total number of computation paths of NPTMs

This page was built for publication: Counting computations with formulae: logical characterisations of counting complexity classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6647626)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6647626&oldid=40218448"