Approaches to Effective Semi-continuity of Real Functions
COCOON '98 Proceedings of the 4th Annual International Conference on Computing and Combinatorics
Computability theory of generalized functions
Journal of the ACM (JACM)
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
Hi-index | 0.00 |