top

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

Espandi
Riduci







Kozen, Dexter
ID: 535967

Opere

Seleziona tutte
Deseleziona


Design and analysis of algorithms
Espandi opera
...
Logic in Computer Science, 10th Symposium on (LICS '95
Espandi opera
...
Logics of Programs Workshop, Yorktown Heights, New York, May 1981
Espandi opera
...

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Espandi opera
...