One-variable first-order linear temporal logics with counting.

Christopher Hampson, Agi Kurucz

Browse the full CSL paper archive.