Maurizio Martelli

Maurizio Martelli

Università degli Studi di Genova - Genoa / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1790135
University of Genoa
person_outline Maurizio Martelli's MOST POPULAR ARTICLES
1-) Declarative modeling of the operational behavior of logic languagesM Falaschi, G Levi, C Palamidessi, M MartelliTheoretical Computer Science 69 (3), 289-318, 19893601989
2-) The s-semantics approach: Theory and applicationsA Bossi, M Gabbrielli, G Levi, M MartelliThe Journal of Logic Programming 19, 149-197, 19942241994
3-) A model-theoretic reconstruction of the operational semantics of logic programsM Falaschi, G Levi, M Martelli, C PalamidessiInformation and Computation 103 (1), 86-113, 19931471993
4-) LEAF: A Language witch Integrates Logic, Equations and Functions.R Barbuti, M Bellia, G Levi, M MartelliLogic Programming: Function, Relations and Equations, 1986861986
5-) Integrity constraints in logic databasesP Asirelli, M De Santis, M MartelliThe Journal of Logic Programming 2 (3), 221-232, 1985771985