1
Publié 2007
Table des matières: ... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...
Accéder au texte intégral
Électronique eBook
2
Publié 2013
Table des matières: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Accéder au texte intégral
Électronique eBook