Mario Aiello Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1977
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Mario Aiello, Richard W. Weyhrauch: Pascal in LCF: Semantics and Examples of Proof. Theor. Comput. Sci. 5(2): 135-177 (1977)
1976
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini: Formal Definition of Semantics of Generated Control Regimes. MFCS 1976: 173-179
1975
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Aiello, Richard W. Weyhrauch: Checking Proofs in the Metamathematics of First Order Logic. IJCAI 1975: 1-8
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Mario Aiello: Programming language semantics in a typed lambda - calculus. Lambda-Calculus and Computer Science Theory 1975: 240-251
1974
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Aiello, Mario Aiello: Proving program correctness in L. C. F.. Symposium on Programming 1974: 59-71

Coauthor Index

1Luigia Carlucci Aiello (Luigia Aiello) [1] [2] [4] [5]
2Giuseppe Attardi [4]
3P. Cavallari [4]
4Gianfranco Prini [4]
5Richard W. Weyhrauch [3] [5]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)