Sfoglia per Rivista RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS
Mostra risultati da 1 a 4 di 4
A normal form to restricted exponential functions
1989-01-01 Degano, Pierpaolo; Gianni, Patrizia
Logic and Functional Programming by Retraction: Operational Semantics
1988-01-01 Bellia, Marco
Logic and Functional Programming by Retractions
1988-01-01 Bellia, Marco
Rewriting on cyclic structures: Equivalence between the operational and the categorical description
1999-01-01 Corradini, Andrea; Gadducci, Fabio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A normal form to restricted exponential functions | 1-gen-1989 | Degano, Pierpaolo; Gianni, Patrizia | |
Logic and Functional Programming by Retraction: Operational Semantics | 1-gen-1988 | Bellia, Marco | |
Logic and Functional Programming by Retractions | 1-gen-1988 | Bellia, Marco | |
Rewriting on cyclic structures: Equivalence between the operational and the categorical description | 1-gen-1999 | Corradini, Andrea; Gadducci, Fabio |
Mostra risultati da 1 a 4 di 4
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