"Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words."

Philipp Weis, Neil Immerman (2007)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2022-09-28