Craig interpolation for semilinear substructural logics
- 期刊名称Mathematical Logic Quarterly
- 作者Marchioni, Enrico; Metcalfe, George
- 卷第58卷
- 期第6期
- 印刷ISSN0942-5616
- 文件大小201.48KB
- 发表时间2012-11
- DOI10.1002/malq.201200004
- 页码468-481
Subject Index To Volume 6Immunology Endocrine & Metabolic Agents - Medicinal Chemistry (Formerly Current Medicinal Chemistry - Immunology Endocrine & Metabolic Agents) · 2007
Author Index to Volume 5Immunology, Endocrine & Metabolic Agents - Medicinal Chemistry (Formerly Current Medicinal Chemistry - Immunology, Endocrine & Metabolic Agents) · 2006
Subject Index to Volume 5Immunology, Endocrine & Metabolic Agents - Medicinal Chemistry (Formerly Current Medicinal Chemistry - Immunology, Endocrine & Metabolic Agents) · 2006
Author Index To Volume 6Immunology Endocrine & Metabolic Agents - Medicinal Chemistry (Formerly Current Medicinal Chemistry - Immunology Endocrine & Metabolic Agents) · 2007
Author indexImmunology Letters · 1997
Subject indexImmunology Letters · 1997
Improving vaccines against tuberculosisBritton, Warwick J; Palendira, Umaimainthan · Immunology and Cell Biology · 2003
VACCINE PROTOCOLS (SECOND EDITION)Eriksson, Emily; Jackson, David C. · Immunology and Cell Biology · 2004