On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
Article in Vietnam Journal of Computer Science (May 2024)
The most recent citing publications are shown below. View all 26 publications that cite this research output on Dimensions.
Article in Vietnam Journal of Computer Science (May 2024)
Article in IEEE Transactions on Information Forensics and Security (January 2024)
Book chapter (September 2023)