Prodotti
Atti, Riassunti o Comunicazioni
The use of renaming in composing general programs
- autori
- BROGI ANTONIO , Contiero Simone , TURINI FRANCO
- anno
- 1999
- tipo prodotto
- Articolo su atti di congresso internazionale
- nome conferenza
- Logic-Based Program Synthesis and Transformation -8th International Workshop, LOPSTR'98
- editore
- P. Flener
- volume
- 1559
- pagina iniziale
- 124
- pagina finale
- 142
- titolo serie
- LECTURE NOTES IN COMPUTER SCIENCE
- lingua
- Inglese