A natural implementation of plural semantics in maude
ISSN: 1571-0661
Ano de publicación: 2010
Volume: 253
Número: 7
Páxinas: 165-175
Tipo: Achega congreso
ISSN: 1571-0661
Ano de publicación: 2010
Volume: 253
Número: 7
Páxinas: 165-175
Tipo: Achega congreso