- First Order Preservation Theorems in Finite Model Theory : Locality, Topology, and Limit Constructions Aliaume Lopez Fri 18 October 2024
- Locality Theorems in Semiring Semantics Clotilde Bizière Erich Grädel Matthias Naaf Thu 18 April 2024
- The Regular Languages of First-Order Logic with One Alternation Corentin Barloy Michael Cadilhac Charles Paperman Thomas Zeume Mon 29 August 2022
- The uniform measure of simple regular sets of infinite trees Marcin Przybyłko Michał Skrzypczak Fri 25 June 2021
- First-Order Interpretations of Bounded Expansion Classes Jakub Gajarský Stephan Kreutzer Jaroslav NešETřil Patrice Ossona De Mendez Michał Pilipczuk Sebastian Siebertz Szymon Toruńczyk Wed 19 May 2021
- Finite State Machines for Strings over Infinite Alphabets Frank Neven Thomas Schwentick Victor Vianu Tue 06 April 2021
- Adding Successor: A Transfer Theorem for Separation and Covering Thomas Place Marc Zeitoun Wed 12 August 2020
- Counting Bounded Tree Depth Homomorphisms Martin Grohe Sat 04 July 2020
- First-Order Tree-to-Tree Functions Mikołaj Bojaundefinedczyk Amina Doumane Sat 04 July 2020
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics Christian Choffrut Tue 03 March 2020
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics Christian Choffrut Tue 03 March 2020
- Homomorphism Preservation Theorems Benjamin Rossman Thu 13 February 2020
- Arithmetic, First-order Logic, and Counting Quantifiers Nicole Schweikardt Thu 11 July 2019
- The Quantifier Alternation Hierarchy of Synchronous Relations Diego Figueira Varun Ramanathan Pascal Weil Tue 14 May 2019
- Deciding Piecewise Testable Separability for Regular Tree Languages Jean Goubault-Larrecq Sylvain Schmitz Sat 05 March 2016
- Separating Regular Languages with First-order Logic Thomas Place Marc Zeitoun Fri 29 January 2016
- Automating First-order Relational Logic Daniel Jackson Thu 16 January 2014
- Modelling Infinite Structures with Atoms Mikolaj Bojanczyk Wed 02 October 2013
Library Size: 13G (18 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
