Carlo Cecchi

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1990
Logic and Functional Programming on Distributed Memory Architecture.
Proceedings of the Logic Programming, 1990

1989
IDEAL & K-LEAF implementation: a progress report.
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.
Proceedings of the Logic Programming, 1989

1988
Exploiting the Full Power of Logic Plus Functional Programming.
Proceedings of the Logic Programming, 1988

1987
Evaluating Logic Programs via Set-Valued Functions.
Proceedings of the Logic Programming, 1987

1986
Representation and use of metaknowledge.
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.
Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985


  Loading...