top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci








Jones, Neil D.
ID: 59760

Opere

Seleziona tutte
Deseleziona


Computability and complexity
Espandi opera
...
Computability theory
Espandi opera
...
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Espandi opera
...

Tempo
Espandi opera
...
The JCT major project form
Espandi opera
...
Verification, model checking, and abstract interpretation
Espandi opera
...