Article citationsMore>>

Ballarin, C. (2014). Locales: A Module System for Mathematical Theories. Journal of Automated Reasoning, 52, 123-153.
https://doi.org/10.1007/s10817-013-9284-7

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top