You are here

Publications

Export 2 results:
Filters: Keyword is Maude  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
M. Alpuente, Ballis, D., Espert, J., and Romero, D. O., Backward Trace Slicing for Rewriting Logic Theories, 23rd International Conference on Automated Deduction, CADE 23. Springer, 2011.
M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O., A Fast Algebraic Web Verification Service, Web Reasoning and Rule Systems, 1st International Conference, RR 2007, vol. 4524. Springer, 2007.