Info
Functional and logic programming : 4th Fuji International symposium, FLOPS'99 : Tsukuba, Japan, November11-13, 1999 : proceedings / Aart Middeldorp ... [et al.] (eds.)
| Functional and logic programming : 4th Fuji International symposium, FLOPS'99 : Tsukuba, Japan, November11-13, 1999 : proceedings / Aart Middeldorp ... [et al.] (eds.) |
| Autore | Fuji International symposium FLOPS'99 : 4. : 1999 |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | X, 368 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
elaboratori elettronici - programmazione - congressi - 1999
logica matematica - congressi - 1999 |
| ISBN | 3-540-66677-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207480203316 |
Fuji International symposium FLOPS'99 : 4. : 1999
|
||
| Berlin : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Processes, Terms and Cycles: Steps on the Road to Infinity [Risorsa elettronica] : Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday / edited by Aart Middeldorp, Vincent Oostrom, Femke Raamsdonk, Roel Vrijer
| Processes, Terms and Cycles: Steps on the Road to Infinity [Risorsa elettronica] : Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday / edited by Aart Middeldorp, Vincent Oostrom, Femke Raamsdonk, Roel Vrijer |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540324256 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009250710403321 |
| Berlin ; Heidelberg : Springer, 2005 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rewrinting techniques and applications : 12 th International Conference, RTA 2001 : Utrecht, the Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed.)
| Rewrinting techniques and applications : 12 th International Conference, RTA 2001 : Utrecht, the Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed.) |
| Autore | International Conference, RTA 2001 <12. ; 2001 ; Utrecht, The Netherlands> |
| Pubbl/distr/stampa | Berlin [etc.] : Sprnger-Verlag, copyr. 2001 |
| Descrizione fisica | XII, 361 p. : ill. ; 20 cm |
| Disciplina | 005.13 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Elaboratori elettronici - Programmazione - Congressi
Algoritmi - Congressi - 2001 Congressi - Utrecht - 2001 |
| ISBN | 3-540-42117-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000480720203316 |
|
International Conference, RTA 2001 <12. ; 2001 ; Utrecht, The Netherlands>
|
||
| Berlin [etc.] : Sprnger-Verlag, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||