| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1977 | |
|---|---|---|
| 5 |      | Luigia Carlucci Aiello, Mario Aiello, Richard W. Weyhrauch: Pascal in LCF: Semantics and Examples of Proof. Theor. Comput. Sci. 5(2): 135-177 (1977) |
| 1976 | ||
| 4 | | Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini: Formal Definition of Semantics of Generated Control Regimes. MFCS 1976: 173-179 |
| 1975 | ||
| 3 |  | Mario Aiello, Richard W. Weyhrauch: Checking Proofs in the Metamathematics of First Order Logic. IJCAI 1975: 1-8 |
| 2 | | Luigia Carlucci Aiello, Mario Aiello: Programming language semantics in a typed lambda - calculus. Lambda-Calculus and Computer Science Theory 1975: 240-251 |
| 1974 | ||
| 1 | | Luigia Aiello, Mario Aiello: Proving program correctness in L. C. F.. Symposium on Programming 1974: 59-71 |
| 1 | Luigia Carlucci Aiello (Luigia Aiello) | [1] [2] [4] [5] |
| 2 | Giuseppe Attardi | [4] |
| 3 | P. Cavallari | [4] |
| 4 | Gianfranco Prini | [4] |
| 5 | Richard W. Weyhrauch | [3] [5] |
Data released under the ODC-BY 1.0 license — See also our legal information page