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 ...
García Simón, Alberto; Pastor López, Oscar(Universitat Politècnica de València, 2020-05-25)
We describe our proposed Conceptual Schema (CS) to work with Citrus genome information (CSCG). The presented CS is being used in a real-world industrial case to validate it and gather expert domain feedback
La Parra López, Santiago; Vives Ramiro, José María; Quirante Santacruz, Luis(CEIC Alfons El Vell, 1998)
Durant més de tres segles estigué escenificant-se a Gandia aquest drama sacre cantat, peça veritablement singular, compost per sant Francesc de Borja. Recuperada recentment aquesta tradició interrompuda, el propòsit del ...