Carlo Cecchi

According to our database, Carlo Cecchi authored at least 7 papers between 1985 and 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1990

Logic and Functional Programming on Distributed Memory Architecture.

Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso, Marisa Porta, Giorgio Sofi

Proceedings of the Logic Programming, 1990

1989

IDEAL & K-LEAF implementation: a progress report.

Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing.

Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso

Proceedings of the Logic Programming, 1989

1988

Exploiting the Full Power of Logic Plus Functional Programming.

Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso

Proceedings of the Logic Programming, 1988

1987

Evaluating Logic Programs via Set-Valued Functions.

Carlo Cecchi, Dario Sartini, Luigia Carlucci Aiello

Proceedings of the Logic Programming, 1987

1986

Representation and use of metaknowledge.

Luigia Aiello, Carlo Cecchi, Dario Sartini

Proc. IEEE, 1986

1985

Adding a Closure Operator to the Extended Relational Algebra: A Further Step Towards the Integration of Database Techniques and Logic Programming.

Luigia Carlucci Aiello, Carlo Cecchi

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985