Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- superposition
- 1
- Quantum Optics 1
- UDC 004.42:510.69 1
- equality 1
- free-quantifier logic 1
- logical consequence 1
- photon statistics 1
- predicate 1
- renomination 1
- representation 1
- squeezing 1
- tree language 1
- Ключевые слова: бескванторная логика 1
- УДК 004.42:510.69 1
- безкванторна логіка 1
- логическое следствие 1
- логічний наслідок 1
- предикат 1
- равенство 1
- реноминация 1
- реномінація 1
- рівність 1
- статистика фотонiв 1
- стиснення 1
- суперпозицiя 1
- суперпозиция 1
- суперпозиція 1
-
1
Algebras of generalized tree languages with fixed variables
Опубліковано 2024Отримати повний текст
Стаття -
2
Composition-nominative logics of free-quantifier levels
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
3