共 50 条
- [41] Disjoint Fibring of Non-deterministic Matrices LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, 2017, 10388 : 242 - 255
- [45] 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
- [48] Proving Non-Deterministic Computations in Agda ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (234): : 180 - 195