Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Linear logic in computer science / edited by Thomas Ehrhard ... [et al.]
| Linear logic in computer science / edited by Thomas Ehrhard ... [et al.] |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 2004 |
| Descrizione fisica | x, 381 p. : ill. ; 23 cm |
| Disciplina | 511.36 |
| Altri autori (Persone) | Ehrhard, Thomas |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 316 |
| Soggetto topico |
Proof theory
Computer science - Mathematics |
| ISBN | 0521608570 |
| Classificazione |
AMS 03B70
LC QA9.54.L56 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000841259707536 |
| Cambridge ; New York : Cambridge University Press, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi
| Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi |
| Autore | Homer, Steven |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1990 |
| Descrizione fisica | 162 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Nerode, Anil
Platek, Richard A. Sacks, Gerald E. Scedrov, Andre Odifreddi, Piergiorgio |
| Collana | Lecture notes in mathematics, 0075-8434 ; 1429 |
| Soggetto topico |
Computer science - Congresses
Logic - Congresses |
| ISBN | 3540527346 |
| Classificazione |
AMS 03B20
AMS 03B40 AMS 03B70 AMS 03D15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001093939707536 |
Homer, Steven
|
||
| Berlin : Springer-Verlag, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical logic in computer science / edited by B. Domolki and T. Gergely
| Mathematical logic in computer science / edited by B. Domolki and T. Gergely |
| Autore | Domolki, B. |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1981 |
| Descrizione fisica | 758 p. : ill. ; 25 cm. |
| Disciplina | 519.4 |
| Altri autori (Persone) | Gergely, T. |
| Collana | Colloquia mathematica Societatis Janos Bolyai, ISSN 01393383 ; 26 |
| Soggetto topico |
Logic of programming
Programming Programming languages-semantics |
| ISBN | 0444854401 |
| Classificazione | AMS 03B70 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001112649707536 |
|
Domolki, B.
|
||
| Amsterdam : North-Holland, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||