Are two contex-free languages translatable in a syntax-directed translation scheme? P. L. Della VignaC. Ghezzi OriginalPaper Pages: 1 - 15
Caratterizzazione dei reticoli continui per la teoria della computazione di Dana Scott Giuseppe Attardi OriginalPaper Pages: 33 - 46
A data structure formalization through generating functions Corrado BöhmM. Dezani-Ciancaglini OriginalPaper Pages: 47 - 66
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali M. GattoD. Mandrioli OriginalPaper Pages: 91 - 109
Un modello di λ-calcolo fortemente equivalente agli schemi ricorsivi Carla Simone OriginalPaper Pages: 111 - 125
Some ideas on semantic memory in automatic learning of heuristics F. Sirovich OriginalPaper Pages: 127 - 153