No CrossRef data available.
Article contents
A decision procedure using the geometry of convex sets
Published online by Cambridge University Press: 26 February 2010
Extract
Let Zn denote the set of all ordered n-tuples of integers. Let us call any finite subset of Zn a body in Zn, and any finite set of bodies in Zn a family in Zn.
Consider the following problem:
Give a decision procedure which for any family ℱ in Zn decides the following.
MSC classification
- Type
- Research Article
- Information
- Copyright
- Copyright © University College London 1974