A lightweight combination of semantics for non-deterministic functions
Konferenzberichte:
18th Workshop on Logic-based methods in Programming Environments, WLPE 2008
Datum der Publikation: 2008
Seiten: 52-61
Art: Konferenz-Beitrag