Works matching IS 19725787 AND DT 2017 AND VI 10 AND IP 1

Formalizing Restriction Categories.

Published in:

Journal of Formalized Reasoning, 2017, v. 10, n. 1, p. 1

By:

• CHAPMAN, JAMES;
• UUSTALU, TARMO;
• VELTRI, NICCOLÒ

Publication type:

Article