共 50 条
- [1] Optimization schemas for parallel implementation of non-deterministic languages and systems SOFTWARE-PRACTICE & EXPERIENCE, 2001, 31 (12): : 1143 - 1181
- [2] Stability of Non-deterministic Systems FROM PARTICLE SYSTEMS TO PARTIAL DIFFERENTIAL EQUATIONS II, 2015, 129 : 193 - 207
- [6] A Relational Model of a Parallel and Non-deterministic λ-Calculus LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 107 - 121
- [7] Principal typing for parallel and non-deterministic λ-calcuius J. Compt. Inf. Technol., 2 (129-138):
- [8] TRANSIENT SOLUTION OF NON-DETERMINISTIC SYSTEMS JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1979, 308 (05): : 497 - 511
- [9] Evaluating Non-Deterministic Retrieval Systems SIGIR'14: PROCEEDINGS OF THE 37TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL, 2014, : 911 - 914