-
1by ALPUENTE, MARÍA, ESCOBAR, SANTIAGO, SAPIÑA, JULIA, BALLIS, DEMIS“... modulo user-definable equational theories and symbolic reachability analysis in rewrite theories...”
Published in Theory and Practice of Logic Programming (2019)
Get access
Get access
Article in Journal/Newspaper -
2“... modulo user-definable equational theories and symbolic reachability analysis in rewrite theories...”
Get access
Text -
3by Alpuente Frasnedo, María, Escobar Román, Santiago, Sapiña-Sanchis, Julia, Ballis, Demis“... modulo user-definable equational theories and symbolic reachability analysis in rewrite theories...”
Published in Theory and Practice of Logic Programming (2019)
Get access
Get access
Article in Journal/Newspaper -
4by Alpuente Frasnedo, María, Escobar Román, Santiago, Sapiña-Sanchis, Julia, Ballis, Demis“... modulo user-definable equational theories and symbolic reachability analysis in rewrite theories...”
Published in Theory and Practice of Logic Programming (2019)
Get access
Get access
Article in Journal/Newspaper