Login / Signup

Verifying Context-Dependent Reduction Relations for Knowledge Specifications.

Alexei SharpanskykhJan Treur
Published in: ICAART (Revised Selected Papers) (2009)
Keyphrases