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.
@inproceedings{CorradiniRP91,
title = {Logic Programming as Hypergraph Rewriting},
author = {Andrea Corradini and Francesca Rossi and Francesco Parisi-Presicce},
year = {1991},
tags = {graph-rewriting, logic programming, programming, logic, rewriting logic, rewriting},
researchr = {https://researchr.org/publication/CorradiniRP91},
cites = {0},
citedby = {0},
pages = {275-295},
booktitle = {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)},
editor = {Samson Abramsky and T. S. E. Maibaum},
volume = {493},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-53982-4},
}