Abstract
In this chapter, we describe all possible 11 global lower types of sccf-triples which correspond to the global upper types respectively. We also describe all possible 10 global lower types of restricted sccf-triples which correspond to the global upper types For a given signature each global lower type and each pair such that in the matrix at the intersection of the row with index b and the column with index c eitherstays, we study upper and lower bounds on the function true for any sccf-triple.
| Original language | English (US) |
|---|---|
| Title of host publication | Intelligent Systems Reference Library |
| Publisher | Springer |
| Pages | 273-280 |
| Number of pages | 8 |
| DOIs | |
| State | Published - 2020 |
Publication series
| Name | Intelligent Systems Reference Library |
|---|---|
| Volume | 179 |
| ISSN (Print) | 1868-4394 |
| ISSN (Electronic) | 1868-4408 |
Bibliographical note
Publisher Copyright:© 2020, The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG.
ASJC Scopus subject areas
- General Computer Science
- Information Systems and Management
- Library and Information Sciences