Room 327

Two-variable logic with between relation on words

Kamal Lodaya

IMSc