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|
|Number of pages||8|
|State||Published - 2020|
|Name||Intelligent Systems Reference Library|
Bibliographical notePublisher Copyright:
© 2020, The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG.
ASJC Scopus subject areas
- Computer Science(all)
- Information Systems and Management
- Library and Information Sciences