Computing with first-order logic
type: Item
instance of: scholarly article
title: Computing with first-order logic
zbMATH Open document ID: 0827.68036
author: Serge Abiteboul
author: Victor Vianu
published in: Journal of Computer and System Sciences
publication date: 1995-12-17T00:00:00Z
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 762174
zbMATH Keywords: database query languages
zbMATH Keywords: first-order logic
MaRDI profile type: Publication
OpenAlex ID: W1984930242
Wikidata QID: Q56610324
DOI: 10.1006/JCSS.1995.1025
description: scientific article; zbMATH DE number 762174