2 papers
cs.LO2026
FC-Datalog as a Framework for Efficient String Querying
Owen M. Bell, Joel D. Day, Dominik D. Freydenberger
Core spanners are a class of document spanners that capture the core functionality of IBM's AQL. FC is a logic on strings built around word equations that when extended with constr…
cs.LO2025
Characterization and Decidability of FC-Definable Regular Languages
Sam M. Thompson, Nicole Schweikardt, Dominik D. Freydenberger
FC is a first-order logic that reasons over all factors of a finite word using concatenation, and can define non-regular languages like that of all squares (ww). In this paper, we…