Computer Science, Logic in Computer Science Approximating Inference Mechanisms for Purely Existential Constraints in Quantum Computation December 21, 2023
Computer Science, Logic in Computer Science Non-Termination in Term Rewriting and Logic Programming December 21, 2023