Home > People > Profile
1 Publications
a semantic analysis
Sergei Artemov, Tudor Protopopescu
Synthese 190 (16)
