A lightweight combination of semantics for non-deterministic functions
Actes:
18th Workshop on Logic-based methods in Programming Environments, WLPE 2008
Any de publicació: 2008
Pàgines: 52-61
Tipus: Aportació congrés