Login / Signup

Complementation: a bridge between finite and infinite proofs.

Gilles DowekYing Jiang
Published in: CoRR (2023)
Keyphrases