A lightweight combination of semantics for non-deterministic functions
Actas:
18th Workshop on Logic-based methods in Programming Environments, WLPE 2008
Año de publicación: 2008
Páginas: 52-61
Tipo: Aportación congreso