Martelli, Alberto

3 publications

IJCAI 1977 Theorem Proving with Structure Sharing and Efficient Unification Alberto Martelli, Ugo Montanari

IJCAI 1975 Form Dynamic Programming to Search Algorithms with Functional Costs Alberto Martelli, Ugo Montanari

IJCAI 1973 Additive AND/OR Graphs Alberto Martelli, Ugo Montanari