4 citations · 8 across the 6 of their papers we have counts for
Showing 2019 · cs.LOShow all
2 papers · 2 filters
cs.LO2019
Parameterised Counting in Logspace
Anselm Haak, Arne Meier, Om Prakash +1
In this paper, we introduce a new framework for parameterised counting in logspace, inspired by the parameterised space bounded models developed by Elberfeld, Stockhusen and Tantau…
cs.LO2019
Counting of Teams in First-Order Team Logics
Anselm Haak, Juha Kontinen, Fabian Müller +2
We study descriptive complexity of counting complexity classes in the range from #P to #NP. A corollary of Fagin's characterization of NP by existential second-order logic i…