Search Results - Open Polar - "theory of computation"

Select result number 1
1

Symbolic Analysis of Maude Theories with Narval

by Alpuente Frasnedo, María, Escobar Román, Santiago, Sapiña-Sanchis, Julia, Ballis, Demis
Published in Theory and Practice of Logic Programming (2019)
“... modulo user-definable equational theories and symbolic reachability analysis in rewrite theories...”

Get access
Get access

Article in Journal/Newspaper
Select result number 2
2

Symbolic Analysis of Maude Theories with Narval

by Alpuente Frasnedo, María, Escobar Román, Santiago, Sapiña-Sanchis, Julia, Ballis, Demis
Published in Theory and Practice of Logic Programming (2019)
“... modulo user-definable equational theories and symbolic reachability analysis in rewrite theories...”

Get access
Get access

Article in Journal/Newspaper