Standard

Парадокс кратных миров Конкурентной динамической логики. / Нечитайлов, Ю.В.

In: Логико-философские штудии, Vol. 13, No. 2, 2016, p. 246-252.

Research output: Contribution to journal › Article

Harvard

Нечитайлов, ЮВ 2016, 'Парадокс кратных миров Конкурентной динамической логики', Логико-философские штудии, vol. 13, no. 2, pp. 246-252. <http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/476>

APA

Нечитайлов, Ю. В. (2016). Парадокс кратных миров Конкурентной динамической логики. Логико-философские штудии, 13(2), 246-252. http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/476

Vancouver

Нечитайлов ЮВ. Парадокс кратных миров Конкурентной динамической логики. Логико-философские штудии. 2016;13(2):246-252.

Author

Нечитайлов, Ю.В. / Парадокс кратных миров Конкурентной динамической логики. In: Логико-философские штудии. 2016 ; Vol. 13, No. 2. pp. 246-252.

BibTeX

@article{78e7f7b28594465cb746d95d3aee8e5c,
title = "Парадокс кратных миров Конкурентной динамической логики",
abstract = "Сформулирован парадокс кратных миров Конкурентной динамической логики. Он может несколько ограничить область применения Конкурентной динамической логики в качестве средства рассуждения о выполнении программ, которое может свестись, по крайней мере, до независимых атомарных программ, которые не образуют взаимодействующие параллельные сложные процессы.",
keywords = "Парадокс кратных миров, конкурентная динамическая логика, взаимодействующие процессы, параллельные вычисления.",
author = "Ю.В. Нечитайлов",
year = "2016",
language = "English",
volume = "13",
pages = "246--252",
journal = "Логико-философские штудии",
issn = "2071-9183",
publisher = "Санкт-Петербургское философское общество",
number = "2",

}

RIS

TY - JOUR

T1 - Парадокс кратных миров Конкурентной динамической логики

AU - Нечитайлов, Ю.В.

PY - 2016

Y1 - 2016

N2 - Сформулирован парадокс кратных миров Конкурентной динамической логики. Он может несколько ограничить область применения Конкурентной динамической логики в качестве средства рассуждения о выполнении программ, которое может свестись, по крайней мере, до независимых атомарных программ, которые не образуют взаимодействующие параллельные сложные процессы.

AB - Сформулирован парадокс кратных миров Конкурентной динамической логики. Он может несколько ограничить область применения Конкурентной динамической логики в качестве средства рассуждения о выполнении программ, которое может свестись, по крайней мере, до независимых атомарных программ, которые не образуют взаимодействующие параллельные сложные процессы.

KW - Парадокс кратных миров

KW - конкурентная динамическая логика

KW - взаимодействующие процессы

KW - параллельные вычисления.

M3 - Article

VL - 13

SP - 246

EP - 252

JO - Логико-философские штудии

JF - Логико-философские штудии

SN - 2071-9183

IS - 2

ER -

ID: 7587424