Login / Signup

Explicit Representation of Terms Defined by Counter Examples.

Jean-Louis LassezKim Marriott
Published in: FSTTCS (1986)
Keyphrases