Rewriting and narrowing for constructor systems with call-time choice semantics
ISSN: 1475-3081, 1471-0684
Ano de publicación: 2014
Volume: 14
Número: 2
Páxinas: 165-213
Tipo: Artigo
ISSN: 1475-3081, 1471-0684
Ano de publicación: 2014
Volume: 14
Número: 2
Páxinas: 165-213
Tipo: Artigo