Matrices of Lower Global Bounds

Mikhail Moshkov*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


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 languageEnglish (US)
Title of host publicationIntelligent Systems Reference Library
Number of pages8
StatePublished - 2020

Publication series

NameIntelligent Systems Reference Library
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


Dive into the research topics of 'Matrices of Lower Global Bounds'. Together they form a unique fingerprint.

Cite this