Hopp til innhold Hopp til hovedmeny

An equational characterization of the poly-time functions on any constructor data structure

Vuokko-Helena Caseiro
Inngår i serie: Research reports / University of Oslo, Department of Informatics (226)
Caseiro, Vuokko-Helena Bok Engelsk utgitt 1996

Ledig

  • Automatlager: 3 av 3 ledig
Henter eksemplarliste...
Fakta
Laster innhold...