- Published 2017 in MFCS
DOI:10.4230/LIPIcs.MFCS.2017.64

A one-dimensional fragment of first-order logic is obtained by restricting quantification to blocks of existential quantifiers that leave at most one variable free. This fragment contains two-variable logic, and it is known that over words both formalisms have the same complexity and expressive power. Here we investigate the one-dimensional fragment over… CONTINUE READING

### Presentations referencing similar topics