Login / Signup

Symbolic Specialization of Rewriting Logic Theories with Presto.

María AlpuenteSantiago EscobarJulia SapiñaDemis Ballis
Published in: Theory Pract. Log. Program. (2022)
Keyphrases