The theory of concatenation over finite models

We propose FC, a new logic on words that combines finite model theory with the theory of concatenation – a first-order logic that is based on word equations. Like the theory of concatenation, FC is built around word equations; in contrast to it, its semantics are defined to only allow finite models,...

Full description

Saved in:
Bibliographic Details
Main Authors: Dominik Freydenberger, Liat Peterfreund
Format: Default Conference proceeding
Published: 2021
Subjects:
finite model theory
word equations
descriptive complexity
model checking
document spanners
Online Access:https://hdl.handle.net/2134/14565429.v1
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items