共 50 条
- [4] An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2019), 2019, 11781 : 171 - 186
- [5] Finitary Spacetime Sheaves of Quantum Causal Sets: Curving Quantum Causality [J]. International Journal of Theoretical Physics, 2001, 40 : 1885 - 1928
- [8] Realism bit by bit: Part II. Disjunctive partial reference [J]. STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE, 2006, 37 (02): : 171 - 190