Verifying local stratifiability of logic programs and databases
type: Item
instance of: scholarly article
title: Verifying local stratifiability of logic programs and databases
zbMATH Open document ID: 0760.68015
DOI: 10.1007/BF03037526
author: Yi-Dong Shen
published in: New Generation Computing
publication date: 1993-04-01T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 146937
zbMATH Keywords: deductive databases
zbMATH Keywords: local stratifiability
zbMATH Keywords: verification
MaRDI profile type: Publication
cites work: Q3339245
cites work: Q4139711
cites work: Q3477931
cites work: Q3348437
description: scientific article; zbMATH DE number 146937