The word problem for omega-terms over the Trotter-Weil hierarchy [extended abstract]

© Springer International Publishing Switzerland 2016. Over finitewords, there is a tight connection between the quantifier alternation hierarchy inside two-variable first-order logic FO 2 and a hierarchy of finite monoids: theTrotter-Weil Hierarchy. The variousways of climbing up this hierarchy incl...

Full description

Bibliographic Details

Main Authors:	Manfred Kufleitner, Jan Philipp Wachter
Format:	Default Conference proceeding
Published:	2016
Subjects:	Other information and computing sciences not elsewhere classified untagged Information and Computing Sciences not elsewhere classified
Online Access:	https://hdl.handle.net/2134/31945
Tags:	Add Tag No Tags, Be the first to tag this record!