Login / Signup

Soundness and Completeness of UNITY Logic.

Edgar Knapp
Published in: FSTTCS (1994)
Keyphrases