Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2101.08377
Cited By
v1
v2 (latest)
Finite Model Theory of the Triguarded Fragment and Related Logics
21 January 2021
Emanuel Kieronski
Sebastian Rudolph
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Finite Model Theory of the Triguarded Fragment and Related Logics"
1 / 1 papers shown
Title
Decidability of Querying First-Order Theories via Countermodels of Finite Width
Thomas Feller
Tim S. Lyon
Piotr Ostropolski-Nalewaja
Sebastian Rudolph
LRM
54
2
0
13 Apr 2023
1
