Publications

Export 11 results:
Sort by: [ Author (Asc)] Title Type Year
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
Brogi, A, Renso C, Turini F.  1999.  Dynamic composition of parameterised logic modules. Comput. Lang.. 25:211-242.
Brogi, A, Renso C, Turini F.  1999.  Dynamic Composition of Parameterised Logic Modules. Computer Languages. :211–242.
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1992.  Meta for Modularising Logic Programming. META. :105-119.
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1990.  Logic Programming within a Functional Framework. PLILP. :372-386.
Brogi, A, Chiarelli A, Mancarella P, Mazzotta V, Pedreschi D, Renso C, Turini F.  1994.  Implementations of Program Composition Operations. :292–307.
Brogi, A, Chiarelli A, Mancarella P, Mazzotta V, Pedreschi D, Renso C, Turini F.  1994.  Implementations of Program Composition Operations. PLILP. :292-307.
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1994.  Modular Logic Programming. ACM Trans. Program. Lang. Syst.. 16:1361-1398.
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1990.  Universal Quantification by Case Analysis. ECAI. :111-116.
Brogi, A, Renso C, Turini F.  1994.  Amalgamating Language and Meta-language for Composing Logic Programs. GULP-PRODE (2). :408-422.
Brogi, A, Chiarelli A, Mancarella P, Mazzotta V, Pedreschi D, Renso C, Turini F.  1994.  Implementations of Program Composition Operations. PLILP. :292-307.
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1991.  Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs. :241-250.