Deriving constraints among argument sizes in logic programs
type: Item
instance of: scholarly article
title: Deriving constraints among argument sizes in logic programs
zbMATH Open document ID: 0875.68237
DOI: 10.1007/BF01530930
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-10-27T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1036987
zbMATH Keywords: polycone
zbMATH Keywords: generalized Tucker representation
author: Allen Van Gelder
MaRDI profile type: Publication
cites work: On the convergence of query evaluation
cites work: Redundancy in mathematical programming. A state-of-the-art survey
cites work: Q4739657
cites work: Convex Analysis
cites work: Minimal representation of convex polyhedral sets
cites work: Implementation of logical query languages for databases
cites work: Q3804237
full work available at URL: https://doi.org/10.1007/bf01530930
OpenAlex ID: W1490224653
description: scientific article; zbMATH DE number 1036987