- Monadic NIP in Monotone Classes of Relational Structures Samuel Braunfeld Anuj Dawar Ioannis Eleftheriadis Aris Papadopoulos Wed 02 October 2024
- Finite Model Theory and Proof Complexity Revisited: Distinguishing Graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus Benedikt Pago Fri 24 November 2023
- When Locality Meets Preservation Aliaume Lopez Mon 29 August 2022
- Descriptive complexity of P functions: A new perspective Arnaud Durand Anselm Haak Juha Kontinen Heribert Vollmer Fri 01 July 2022
- Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth Arnaud Durand Anselm Haak Heribert Vollmer Fri 01 July 2022
- Homomorphism Preservation Theorems Benjamin Rossman Thu 13 February 2020
- On complexity of Ehrenfeucht--Fraissé games Bakhadyr Khoussainov Jiamou Liu Sat 26 October 2019
Library Size: 13G (7 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
