Cited By
View all- Kohl CMiddeldorp AKrebbers RTraytel DPientka BZdancewic S(2023)A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite SystemsProceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3573105.3575667(197-210)Online publication date: 11-Jan-2023
- Ayala-Rincón MFernández MRocha-Oliveira A(2016)Completeness in PVS of a Nominal Unification AlgorithmElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2016.06.005323:C(57-74)Online publication date: 11-Jul-2016
- Ayala-Rincón MFernández MGabbay MRocha-Oliveira A(2016)Checking Overlaps of Nominal Rewriting RulesElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2016.06.004323:C(39-56)Online publication date: 11-Jul-2016
- Show More Cited By