Cited By
View all- Horne RMauw SYurkov S(2023)When privacy fails, a formula describes an attackTheoretical Computer Science10.1016/j.tcs.2023.113842959:COnline publication date: 30-May-2023
- Miller DViel A(2022)The undecidability of proof search when equality is a logical connectiveAnnals of Mathematics and Artificial Intelligence10.1007/s10472-021-09764-090:5(523-535)Online publication date: 1-May-2022
- Cohen LRowe R(2020)Integrating Induction and Coinduction via Closure Operators and Proof CyclesAutomated Reasoning10.1007/978-3-030-51074-9_21(375-394)Online publication date: 1-Jul-2020
- Show More Cited By