Publications

You are here

Export 11 results:
[ Author(Desc)] Title Type Year
Filters: Author is Antonio Brogi  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
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, Renso, C., and Turini, F., Amalgamating Language and Meta-language for Composing Logic Programs, in GULP-PRODE (2), 1994, pp. 408-422.
A. Brogi, Renso, C., and Turini, F., Dynamic composition of parameterised logic modules, Comput. Lang., vol. 25, pp. 211-242, 1999.
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., Universal Quantification by Case Analysis, in ECAI, 1990, pp. 111-116.
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., Meta for Modularising Logic Programming, in META, 1992, pp. 105-119.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., Modular Logic Programming, ACM Trans. Program. Lang. Syst., vol. 16, pp. 1361-1398, 1994.
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, Renso, C., and Turini, F., Dynamic Composition of Parameterised Logic Modules, Computer Languages, pp. 211–242, 1999.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, pp. 292–307, 1994.