Mario Aiello

According to our database, Mario Aiello authored at least 6 papers between 1974 and 1977.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1977

Pascal in LCF: Semantics and Examples of Proof.

Luigia Carlucci Aiello, Mario Aiello, Richard W. Weyhrauch

Theor. Comput. Sci., 1977

1976

Formal Definition of Semantics of Generated Control Regimes.

Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975

Programming language semantics in a typed lambda - calculus.

Luigia Carlucci Aiello, Mario Aiello

Proceedings of the Lambda-Calculus and Computer Science Theory, 1975

Checking Proofs in the Metamathematics of First Order Logic.

Mario Aiello, Richard W. Weyhrauch

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974

Optimal matching of wheat chromosomes.

Mario Aiello, Carlo Lami, Ugo Montanari

Comput. Graph. Image Process., 1974

Proving program correctness in L. C. F..

Luigia Aiello, Mario Aiello

Proceedings of the Programming Symposium, 1974