海量图书期刊资源，随时随地畅享阅读乐趣
Operational Semantics for Functional Logic LanguagesElvira Albert; Michael Hanus; Frank Huch; Javier Oliver; Germán Vidal · 2002
An Operational Semantics for Declarative Multi-Paradigm LanguagesElvira Albert; Michael Hanus; Frank Huch; Javier Oliver; Germán Vidal · 2002