Login / Signup

A formalization of programs in first-order logic with a discrete linear order.

Fangzhen Lin
Published in: Artif. Intell. (2016)
Keyphrases