Bounds Inside Types

Mikhail Moshkov*

*Corresponding author for this work

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

Abstract

In this chapter, for a given signature and each possible local upper type of restricted sccf-triples we consider the set of restricted sccf-triples with For each pair such that in the matrix at the intersection of the row with index b and the column with index c either or stays, we study upper and lower bounds on the function true for any sccf-triple.

Original languageEnglish (US)
Title of host publicationIntelligent Systems Reference Library
PublisherSpringer
Pages175-185
Number of pages11
DOIs
StatePublished - 2020

Publication series

NameIntelligent Systems Reference Library
Volume179
ISSN (Print)1868-4394
ISSN (Electronic)1868-4408

ASJC Scopus subject areas

  • General Computer Science
  • Information Systems and Management
  • Library and Information Sciences

Fingerprint

Dive into the research topics of 'Bounds Inside Types'. Together they form a unique fingerprint.

Cite this