Login / Signup

When are different type-logical semantic definitions defining equivalent meanings?

Nissim Francez
Published in: J. Comput. Syst. Sci. (2012)
Keyphrases