A Monadic Logic of Ordered Abelian Groups.

George Metcalfe, Olim Frits Tuyt

Browse the full AiML paper archive.