1 problem

0 votes0 replies0 views
The characterization of universally quantified visibly pushdown sets in groups
Let $G$ be a group. A set is universally quantified visibly pushdown, written $4\mathbf{VPL}^\forall4$ , if it is defined by the corresponding universal visibly pushdown language co…
Conjectureopenformal-languages group-theory visibly-pushdown-languagesarXiv posted 2 days ago

The characterization of universally quantified visibly pushdown sets in groups