論文

査読有り

1996年6月

A proper hierarchy of propositional sequent calculi

Noriko H. Arai

記述言語
掲載種別: 研究論文（学術雑誌）
DOI: 10.1016/0304-3975(95)00193-X

リンク情報

DOI: https://doi.org/10.1016/0304-3975(95)00193-X

ID情報

DOI : 10.1016/0304-3975(95)00193-X
ORCIDのPut Code : 5687672

エクスポート: BibTeX RIS

論文リストへ