TY  - CHAP
AU  - López-Fraguas, F.J.
AU  - Rodríguez-Hortalá, Juan
AU  - Sánchez-Hernández, Jaime
A4  - Treinen, Ralf
PY  - 2009
DO  - 10.1007/978-3-642-02348-4 23
SN  - 978-3-642-02347-7
UR  - https://hdl.handle.net/20.500.14352/53197
AB  - Constructor-based term rewriting systems are a useful subclass of TRS, in particular for programming purposes. In this kind of systems constructors determine a universe of values, which are the expected output of the computations. Then it would be...
LA  - eng
M2  - 320
PB  - Springer
TI  - A Fully Abstract Semantics for Constructor Systems
TY  - book part
ER  -