Zobraziť v EDS

Эффективная трансляция расширенных

Uložené v:
Podrobná bibliografia
Názov: Эффективная трансляция расширенных
Informácie o vydavateľovi: Тверской госуниверситет, 2008.
Rok vydania: 2008
Predmety: 510.652 Формальная арифметика. Формальная теория чисел
Popis: Ранее было показано, что для арифметики Семенова имеет место коллапс к порядку. В данной работе мы демонстрируем, что в ряде случаев для арифметики Семенова возможна эффективная трансляция формул.
Druh dokumentu: Article
Popis súboru: application/pdf
Jazyk: Russian
Prístupová URL adresa: https://openrepository.ru/article?id=434886
Prístupové číslo: edsair.httpsopenrep..f526deecab9d86836ecf02353a3c14fd
Databáza: OpenAIRE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://explore.openaire.eu/search/publication?articleId=httpsopenrep%3A%3Af526deecab9d86836ecf02353a3c14fd
    Name: EDS - OpenAIRE (s4221598)
    Category: fullText
    Text: View record at OpenAIRE
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edsair
DbLabel: OpenAIRE
An: edsair.httpsopenrep..f526deecab9d86836ecf02353a3c14fd
RelevancyScore: 761
AccessLevel: 3
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 760.855407714844
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Эффективная трансляция расширенных
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: Тверской госуниверситет, 2008.
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2008
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22510%2E652+Формальная+арифметика%2E+Формальная+теория+чисел%22">510.652 Формальная арифметика. Формальная теория чисел</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Ранее было показано, что для арифметики Семенова имеет место коллапс к порядку. В данной работе мы демонстрируем, что в ряде случаев для арифметики Семенова возможна эффективная трансляция формул.
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: Article
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: application/pdf
– Name: Language
  Label: Language
  Group: Lang
  Data: Russian
– Name: URL
  Label: Access URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="https://openrepository.ru/article?id=434886" linkWindow="_blank">https://openrepository.ru/article?id=434886</link>
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsair.httpsopenrep..f526deecab9d86836ecf02353a3c14fd
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsair&AN=edsair.httpsopenrep..f526deecab9d86836ecf02353a3c14fd
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: Russian
    Subjects:
      – SubjectFull: 510.652 Формальная арифметика. Формальная теория чисел
        Type: general
    Titles:
      – TitleFull: Эффективная трансляция расширенных
        Type: main
  BibRelationships:
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2008
          Identifiers:
            – Type: issn-locals
              Value: edsair
ResultId 1