An Automata Theoretic Characterization of Weighted First-Order Logic.

Dhruv Nevatia, Benjamin Monmege

Browse the full ATVA paper archive.