Two-variable First-Order Logic with Counting in Forests
From MaRDI portal
Publication:5222957
DOI10.29007/24fmzbMath1415.68110OpenAlexW2906987173MaRDI QIDQ5222957
Piotr Witkowski, Ian Pratt-Hartmann, Witold Charatonik, Yegor Guskov
Publication date: 4 July 2019
Published in: EPiC Series in Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.29007/24fm
decision proceduresfinite satisfiabilitytwo-variable logic with counting quantifiersgeneral satisfiabilitylogic and computational complexityunranked trees/forests
Related Items (1)
This page was built for publication: Two-variable First-Order Logic with Counting in Forests