Bounds Inside Types

Mikhail Moshkov

doi:10.1007/978-3-030-41728-4_14

Bounds Inside Types

Mikhail Moshkov^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-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 language	English (US)
Title of host publication	Intelligent Systems Reference Library
Publisher	Springer
Pages	175-185
Number of pages	11
DOIs	https://doi.org/10.1007/978-3-030-41728-4_14
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

Access to Document

10.1007/978-3-030-41728-4_14

Cite this

@inbook{70f2447697844ca184bcff850f732599,

title = "Bounds Inside Types",

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.",

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_14",

language = "English (US)",

series = "Intelligent Systems Reference Library",

publisher = "Springer",

pages = "175--185",

booktitle = "Intelligent Systems Reference Library",

address = "Germany",

}

TY - CHAP

T1 - Bounds Inside Types

AU - Moshkov, Mikhail

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85083433734&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-41728-4_14

DO - 10.1007/978-3-030-41728-4_14

M3 - Chapter

AN - SCOPUS:85083433734

T3 - Intelligent Systems Reference Library

SP - 175

EP - 185

BT - Intelligent Systems Reference Library

PB - Springer

ER -

Bounds Inside Types

Abstract

Publication series

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this