Cited By
View all- Erbatur SMarshall ANarendran PRingeissen C(2024)Deciding Knowledge Problems Modulo Classes of Permutative TheoriesLogic-Based Program Synthesis and Transformation10.1007/978-3-031-71294-4_3(47-63)Online publication date: 9-Sep-2024
- Erbatur SMarshall ARingeissen C(2020)Computing knowledge in equational extensions of subterm convergent theoriesMathematical Structures in Computer Science10.1017/S0960129520000031(1-27)Online publication date: 2-Mar-2020
- Cheval VKremer SRakotonirina I(2020)The Hitchhiker’s Guide to Decidability and Complexity of Equivalence Properties in Security ProtocolsLogic, Language, and Security10.1007/978-3-030-62077-6_10(127-145)Online publication date: 28-Oct-2020
- Show More Cited By