On sum coloring and sum multi-coloring for restricted families of graphs
- 作者Allan Borodin; Ioana Ivan; Yuli Ye; Bryce Zimny
- 卷第418卷
- 印刷ISSN0304-3975
- 文件大小981.91KB
- 发表时间2012
- DOI10.1016/j.tcs.2011.11.010
- 页码1-13
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