- -

Browsing by UPV Unit "Instituto Valenciano de Investigación en Inteligencia Artificial (VRAIN)"

RiuNet: Institutional repository of the Polithecnic University of Valencia

Browsing by UPV Unit "Instituto Valenciano de Investigación en Inteligencia Artificial (VRAIN)"

Sort by: Order: Results:

  • thumb
    Narrowing-based Optimization of Rewrite Theories 
    Alpuente Frasnedo, María; Ballis, Demis; Escobar Román, Santiago; Sapiña Sanchis, Julia (Universitat Politècnica de València, 2020-06-08)
    Partial evaluation has been never investigated in the context of rewrite theories that allow concurrent systems to be specified by means of rules, with an underlying equational theory being used to model system states as ...