Cited By
View all- Alpuente MBallis DEscobar SGalán DSapiña J(2023)Safety Enforcement via Programmable Strategies in MaudeJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2023.100849(100849)Online publication date: Jan-2023
- Falaschi MOlarte C(2019)An Assertion Language for Slicing Constraint Logic LanguagesLogic-Based Program Synthesis and Transformation10.1007/978-3-030-13838-7_9(148-165)Online publication date: 23-Feb-2019
- Alpuente MBallis DFrechina FSapiña J(2015)Exploring conditional rewriting logic computationsJournal of Symbolic Computation10.1016/j.jsc.2014.09.02869:C(3-39)Online publication date: 1-Jul-2015
- Show More Cited By