Search Results - Open Polar - "theory of computation"

Select result number 1
1

Symbolic Analysis of Maude Theories with Narval

by ALPUENTE, MARÍA, ESCOBAR, SANTIAGO, SAPIÑA, 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, María, Ballis, Demis, Escobar, Santiago, Sapiña, Julia
Published 2019
“... modulo user-definable equational theories and symbolic reachability analysis in rewrite theories...”

Get access

Text
Select result number 3
3

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 4
4

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