@inbook{61bd43edad78499993fdcde06c1b4c5f,
title = "Matrices of Lower Global Bounds",
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.",
author = "Mikhail Moshkov",
note = "Publisher Copyright: {\textcopyright} 2020, The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG.",
year = "2020",
doi = "10.1007/978-3-030-41728-4_24",
language = "English (US)",
series = "Intelligent Systems Reference Library",
publisher = "Springer",
pages = "273--280",
booktitle = "Intelligent Systems Reference Library",
address = "Germany",
}