Publications

You are here

Export 5 results:
Author Title [ Type(Desc)] Year
Filters: Author is Antonio Brogi  [Clear All Filters]
Conference Paper
A. Brogi, Renso, C., and Turini, F., Amalgamating Language and Meta-language for Composing Logic Programs, in GULP-PRODE (2), 1994, pp. 408-422.
R. Guidotti, Soldani, J., Neri, D., and Brogi, A., Explaining successful docker images using pattern mining analysis, in Federation of International Conferences on Software Technologies: Applications and Foundations, 2018.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, in PLILP, 1994, pp. 292-307.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, in PLILP, 1994, pp. 292-307.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., Logic Programming within a Functional Framework, in PLILP, 1990, pp. 372-386.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., Meta for Modularising Logic Programming, in META, 1992, pp. 105-119.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., Theory Construction in Computational Logic, in ICLP Workshop on Construction of Logic Programs, 1991, pp. 241-250.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., Universal Quantification by Case Analysis, in ECAI, 1990, pp. 111-116.