Single and multiple device DSA problems, complexities and online algorithms
- 作者Weiwei Wu; Minming Li; Wanyong Tian; Jason Chun Xue; Enhong Chen
- 卷第420卷
- 印刷ISSN0304-3975
- 文件大小394.15KB
- 发表时间2012
- DOI10.1016/j.tcs.2011.11.005
- 页码89-98
Synchronized Linear-Time Temporal LogicHeinrich Wansing; Norihiro Kamide · 2011
SEQUENT CALCULI FOR SOME TRILATTICE LOGICSKAMIDE, NORIHIRO; WANSING, HEINRICH · The Review of Symbolic Logic · 2009
Completeness and cut-elimination theorems for trilattice logicsNorihiro Kamide; Heinrich Wansing · 2011
Combining linear-time temporal logic with constructiveness and paraconsistencyNorihiro Kamide; Heinrich Wansing · 2010
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive VariantKamide, Norihiro; Shramko, Yaroslav; Wansing, Heinrich · Studia Logica · 2017
In Honor of Ryszard Wójcicki on the Occasion of his 80th Birthday || Synchronized Linear-Time Temporal LogicHeinrich Wansing and Norihiro Kamide · Studia Logica: An International Journal for Symbolic Logic · 2011