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=435141 |
| Prístupové číslo: |
edsair.httpsopenrep..5b5a1c0e080e6098f8e4c040a47f9f3e |
| Databáza: |
OpenAIRE |
Nájsť tento článok vo Web of Science