Standard

On flattening elimination rules. / Olkhovikov, Grigory K.; Schroeder-Heister, Peter.
в: Review of Symbolic Logic, Том 7, № 1, 03.2014, стр. 60-72.

Результаты исследований: Вклад в журнал › Статья › Рецензирование

Harvard

Olkhovikov, GK & Schroeder-Heister, P 2014, 'On flattening elimination rules', Review of Symbolic Logic, Том. 7, № 1, стр. 60-72. https://doi.org/10.1017/S1755020313000385

APA

Olkhovikov, G. K., & Schroeder-Heister, P. (2014). On flattening elimination rules. Review of Symbolic Logic, 7(1), 60-72. https://doi.org/10.1017/S1755020313000385

Vancouver

Olkhovikov GK, Schroeder-Heister P. On flattening elimination rules. Review of Symbolic Logic. 2014 март;7(1):60-72. doi: 10.1017/S1755020313000385

Author

Olkhovikov, Grigory K. ; Schroeder-Heister, Peter. / On flattening elimination rules. в: Review of Symbolic Logic. 2014 ; Том 7, № 1. стр. 60-72.

BibTeX

@article{bfcc409c55ac4e2eab577949be7117b9,
title = "On flattening elimination rules",
keywords = "HARMONY, LOGIC",
author = "Olkhovikov, {Grigory K.} and Peter Schroeder-Heister",
year = "2014",
month = mar,
doi = "10.1017/S1755020313000385",
language = "English",
volume = "7",
pages = "60--72",
journal = "Review of Symbolic Logic",
issn = "1755-0203",
publisher = "Cambridge University Press",
number = "1",

}

RIS

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