Logic Programming as Hypergraph Rewriting

Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce. Logic Programming as Hypergraph Rewriting. In Samson Abramsky, T. S. E. Maibaum, editors, TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP 91). Volume 493 of Lecture Notes in Computer Science, pages 275-295, Springer, 1991.

Authors

Andrea Corradini

This author has not been identified. Look up 'Andrea Corradini' in Google

Francesca Rossi

This author has not been identified. Look up 'Francesca Rossi' in Google

Francesco Parisi-Presicce

This author has not been identified. Look up 'Francesco Parisi-Presicce' in Google