A framework for testing safety and effective computability of extended datalog

Publisher Website

1 January 1988

proceedings article
Published by Association for Computing Machinery (ACM)

Vol. 17 (3), 154-163
https://doi.org/10.1145/50202.50219

Abstract

No abstract available

Cited by 20 articles