Completeness results for recursive data bases
type: Item
instance of: scholarly article
title: Completeness results for recursive data bases
zbMATH Open document ID: 0858.68032
author: Tirza Hirst
author: David Harel
published in: Journal of Computer and System Sciences
publication date: 1996-11-26T00:00:00Z
full work available at URL: https://hdl.handle.net/1813/6080
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 935422
zbMATH Keywords: relational data bases
MaRDI profile type: Publication
OpenAlex ID: W2042153283
DOI: 10.1006/JCSS.1996.0039
description: scientific article; zbMATH DE number 935422