Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
Danish
Dutch
English
Finnish
French
German
Greek
Italian
Japanese
Portuguese
Russian
Spanish
Swedish
Ukrainian
Terms
for subject
Programming
containing
a -law
|
all forms
|
exact matches only
|
in specified order only
English
Russian
breach
a law
нарушить закон
(
Jack_Shcherbakov
)
To
prove more general theorems about recursively defined processes, it is necessary to introduce
a law
which states that every properly guarded recursive equation has only one solution
для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение
(см.
Communicating Sequential Processes by C.A.R. Hoare
1985
ssn
)
Get short URL