共 50 条
- [42] Non-Classical Logics in Satisfiability Modulo Theories AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 24 - 36
- [43] INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES REVIEW OF SYMBOLIC LOGIC, 2023, 16 (04): : 979 - 1010
- [44] Quantum Darwinism and the spreading of classical information in non-classical theories QUANTUM, 2022, 6
- [47] Impurity rotations in quantum versus classical solids: O-2 in solid hydrogens JOURNAL OF CHEMICAL PHYSICS, 1997, 107 (05): : 1544 - 1550