发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Is the semantics of branching structures adequate for chronological modal logics?

Is the semantics of branching structures adequate for chronological modal logics?

Hirokazu Nishimura

作者Hirokazu Nishimura
卷第8卷
期第1期
印刷ISSN0022-3611
电子ISSN1573-0433
文件大小294.13KB
发表时间1979-01
DOI10.1007/bf00258443
页码469-475

← 返回【学霸图书馆】主页