Ehrenfeucht-Fraisse games on omega-terms

© Martin Huschenbett and Manfred Kufleitner. Fragments of first-order logic over words can often be characterized in terms of finite monoids or finite semigroups. Usually these algebraic descriptions yield decidability of the question whether a given regular language is definable in a particular fra...

Full description

Saved in:
Bibliographic Details
Main Authors: Martin Huschenbett, Manfred Kufleitner
Format: Default Conference proceeding
Published: 2014
Subjects:
Other information and computing sciences not elsewhere classified
Regular language
First-order logic
Finite monoid
Ehrenfeucht-Fraisse games
Pseudoidentity
Information and Computing Sciences not elsewhere classified
Online Access:https://hdl.handle.net/2134/31984
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items