Login / Signup

An assertional proof for a construction of an atomic variable.

Wim H. Hesselink
Published in: Formal Aspects Comput. (2004)
Keyphrases