OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Year: 2002 Year: 2014 Document Type: Sin Especificar Language: in

Sort by Score Title Year -

1-3 from 3 results (0.008 seconds)

Title: Internal program extraction in the calculus of inductive constructions
Language: in
Repository: 65
Subject: CALCULUS OF CONSTRUCTIONS

Acceder
Title: On Worst Case Robin-Hood Hashing
Language: in
Repository: 65
Subject: OPEN ADRESSING / HASHING / ROBIN HOOD / WORST-CASE SEARCH TIME / COLLISION RESOLUTION / PROBABILISTIC ANALYSIS OF ALGORITHMS

Acceder
Title: An operational approach to program extraction in the Calculus of Constructions
Language: in
Repository: 65
Subject: CALCULUS OF CONSTRUCTIONS

Acceder

« Previous 1 Next »