Mario Aiello
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1975–1976
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1976 | MFCS | Formal Definition of Semantics of Generated Control Regimes. | Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini |
| 1975 | IJCAI | Checking Proofs in the Metamathematics of First Order Logic. | Mario Aiello, Richard W. Weyhrauch |