Academic Journal
Προβολή σε EDS

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Эффективная трансляция расширенных
Στοιχεία εκδότη: Тверской госуниверситет, 2008.
Έτος έκδοσης: 2008
Θεματικοί όροι: 510.652 Формальная арифметика. Формальная теория чисел
Περιγραφή: Ранее было показано, что для арифметики Семенова имеет место коллапс к порядку. В данной работе мы демонстрируем, что в ряде случаев для арифметики Семенова возможна эффективная трансляция формул.
Τύπος εγγράφου: Article
Περιγραφή αρχείου: application/pdf
Γλώσσα: Russian
Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=434886
Αριθμός Καταχώρησης: edsair.httpsopenrep..f526deecab9d86836ecf02353a3c14fd
Βάση Δεδομένων: OpenAIRE
FullText Text:
  Availability: 0
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://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