論文

査読有り

2006年

The Complexity of Analytic Tableaux,

The Journal of Symbolic Logic

NorikoH. Arai
Toniann Pitassi
Alasdair Urquhart

巻: 71
号: 3
開始ページ: 777
終了ページ: 790
記述言語: 英語
掲載種別: 研究論文（学術雑誌）
DOI: 10.2178/jsl/1154698576

リンク情報

DOI: https://doi.org/10.2178/jsl/1154698576
DBLP: https://dblp.uni-trier.de/rec/journals/jsyml/AraiPU06
共同研究・競争的資金等の研究課題: 命題論理の証明の複雑さに関する研究
URL: http://projecteuclid.org/euclid.jsl/1154698576
Dblp Url: https://dblp.uni-trier.de/db/journals/jsyml/jsyml71.html#AraiPU06

ID情報

DOI : 10.2178/jsl/1154698576
DBLP ID : journals/jsyml/AraiPU06

エクスポート: BibTeX RIS

論文リストへ