Reduction strategies in rewriting and programming
Bernhard Gramlich, Salvador Lucas
págs. 745-747
págs. 749-794
Operational semantics for declarative multi-paradigm languages
Frank Huch, Michael Hanus, Elvira Albert, Germán Vidal, Javier Oliver
págs. 795-829
págs. 831-873
págs. 875-903
© 2001-2024 Fundación Dialnet · Todos los derechos reservados