Login / Signup
Generalised Coinduction.
Falk Bartels
Published in:
CMCS (2001)
Keyphrases
</>
theorem proving