Результаты исследований: Вклад в журнал › Статья › Рецензирование
Результаты исследований: Вклад в журнал › Статья › Рецензирование
}
TY - JOUR
T1 - On flattening elimination rules
AU - Olkhovikov, Grigory K.
AU - Schroeder-Heister, Peter
PY - 2014/3
Y1 - 2014/3
KW - HARMONY
KW - LOGIC
UR - http://www.scopus.com/inward/record.url?scp=84901466582&partnerID=8YFLogxK
UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000342729300003
U2 - 10.1017/S1755020313000385
DO - 10.1017/S1755020313000385
M3 - Article
AN - SCOPUS:84901466582
VL - 7
SP - 60
EP - 72
JO - Review of Symbolic Logic
JF - Review of Symbolic Logic
SN - 1755-0203
IS - 1
ER -
ID: 412936