Complexity Results for First-Order Two-Variable Logic with Counting

From MaRDI portal
Revision as of 07:56, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4943858

DOI10.1137/S0097539797323005zbMath0956.03039OpenAlexW1971102936MaRDI QIDQ4943858

Wiesław Szwast, Leszek Pacholski, Lidia Tendera

Publication date: 19 March 2000

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/s0097539797323005




Related Items (13)







This page was built for publication: Complexity Results for First-Order Two-Variable Logic with Counting