共 50 条
- [45] Boundedness of Linear Operators Defined on Hp (X) HARDY SPACES ON AHLFORS-REGULAR QUASI METRIC SPACES: A SHARP THEORY, 2015, 2142 : 353 - 447
- [48] A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2023, 2023, : 197 - 210
- [50] ON s-CLOSEDNESS AND S-CLOSEDNESS IN TOPOLOGICAL SPACES MATEMATICKI VESNIK, 2010, 62 (03): : 199 - 214