Cited By
View all- Kassing JGiesl J(2023)Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency PairsAutomated Deduction – CADE 2910.1007/978-3-031-38499-8_20(344-364)Online publication date: 2-Sep-2023
- Rozplokhas DBoulytchev D(2022)Scheduling Complexity of Interleaving SearchFunctional and Logic Programming10.1007/978-3-030-99461-7_9(152-170)Online publication date: 3-May-2022
- Pérez VKlemen MLópez-García PMorales JHermenegildo M(2021)Cost Analysis of Smart Contracts Via Parametric Resource AnalysisStatic Analysis10.1007/978-3-030-65474-0_2(7-31)Online publication date: 13-Jan-2021
- Show More Cited By