| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10334096 | Theoretical Computer Science | 2011 | 24 Pages |
Abstract
We finally describe a way of defining data sets by means of logical connectives, where the internal completeness theorem plays an essential role.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Kazushige Terui,