On narrowing strategies for partial non-strict functions
ISSN: 1611-3349, 0302-9743
ISBN: 9783540539810
Ano de publicación: 1991
Volume: 494 LNCS
Páxinas: 416-437
Tipo: Achega congreso
ISSN: 1611-3349, 0302-9743
ISBN: 9783540539810
Ano de publicación: 1991
Volume: 494 LNCS
Páxinas: 416-437
Tipo: Achega congreso