We give an algebraic characterization, based on the bilateral semidirect product of finite monoids, of the quantifier alternation hierarchy in two-variable ...

May 22, 2012 · Abstract:We characterize the languages in the individual levels of the quantifier alternation hierarchy of first-order logic with two ...

We characterize the languages in the individual levels of the quantifier alternation hierarchy of first-order logic with two variables by identities. This ...

We characterize the languages in the individual levels of the quantifier alternation hierarchy of first-order logic with two variables by identities.

An algebraic characterization, based on the bilateral semidirect product of finite monoids, of the quantifier alternation hierarchy in two-variable ...

We characterize the languages in the individual levels of the quantifier alternation hierarchy of first-order logic with two variables by identities.

We give an algebraic characterization, based on the bilateral semidirect product of finite monoids, of the quantifier alternation hierarchy in two-variable ...

We give an algebraic characterization, based on the bilateral semidirect product of finite monoids, of the quantifier alternation hierarchy in two-variable ...

We characterize the languages in the individual levels of the quantifier alternation hierarchy of first-order logic with two variables by identities. This ...

We give an algebraic characterization, based on the bilateral semidirect product of finite monoids, of the quantifier alternation hierarchy in two-variable ...