A Formalization of Programs in First-Order Logic with a Discrete Linear Order.

Fangzhen Lin

Browse the full KR paper archive.