A note on fixpoint techniques in data base recursive logic programs
From MaRDI portal
Publication:3792286
DOI10.1051/ita/1988220100491zbMath0647.68110OpenAlexW108514356MaRDI QIDQ3792286
Publication date: 1988
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/92300
Cites Work
This page was built for publication: A note on fixpoint techniques in data base recursive logic programs