Sfoglia per Autore
The Complexity of the Theory of p-adic Numbers
1993-01-01 Egidi, Lavinia
Operational, Denotational and Logical Descriptions: a Case Study,
1992-01-01 Egidi, Lavinia; F., Honsell; S., RONCHI DELLA ROCCA
The Lazy Call-by-value Lambda Calculus
1991-01-01 Egidi, Lavinia; F. HONSELL E. S., RONCHI DELLA ROCCA
Completeness, Structural Rules and Types
1989-01-01 Egidi, Lavinia; G., Mascari
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
The Complexity of the Theory of p-adic Numbers | 1-gen-1993 | Egidi, Lavinia | |
Operational, Denotational and Logical Descriptions: a Case Study, | 1-gen-1992 | Egidi, Lavinia; F., Honsell; S., RONCHI DELLA ROCCA | |
The Lazy Call-by-value Lambda Calculus | 1-gen-1991 | Egidi, Lavinia; F. HONSELL E. S., RONCHI DELLA ROCCA | |
Completeness, Structural Rules and Types | 1-gen-1989 | Egidi, Lavinia; G., Mascari |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile