Reachability problems in BioAmbients
- 作者Giorgio Delzanno; Gianluigi Zavattaro
- 卷第431卷
- 印刷ISSN0304-3975
- 文件大小418.74KB
- 发表时间2012
- DOI10.1016/j.tcs.2011.12.056
- 页码56-74
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