Search

• < Previous
• 1
• Next >

---

Logics with rigidly guarded data tests

Gabriele Puppis ; Thomas Colcombet ; Clemens Ley.

The notion of orbit finite data monoid was recently introduced by Bojanczyk as an algebraic object for defining recognizable languages of data words. Following Buchi's approach, we introduce a variant of monadic second-order logic with data equality tests that captures precisely the data languages&nbsp;[&hellip;]

---

Regular Cost Functions, Part I: Logic and Algebra over Words

Thomas Colcombet.

The theory of regular cost functions is a quantitative extension to the classical notion of regularity. A cost function associates to each input a non-negative integer value (or infinity), as opposed to languages which only associate to each input the two values "inside" and "outside". This theory&nbsp;[&hellip;]

---