Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors
Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors
复制标题
通过函子交替不动点的分类 Buechi 和奇偶条件
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Natsuki Urabe
中科院分区：
文献类型：
--
作者：
Kengo Kido;Swarat Chaudhuri and Ichiro Hasuo;Shota Nakagawa and Ichiro Hasuo;Ichiro Hasuo;Takumi Akazaki and Ichiro Hasuo;Takamasa Okudono;Masaki Waga;Masaki Waga;Sean Sedwards;Yuichi Komorida;Masaki Waga;Satoshi Kura;Zhenya Zhang;Masaki Waga;Masaki Waga;Etienne Andre;Zhenya Zhang;Masaki Waga;Toru Takisaka;Ichiro Hasuo;Ichiro Hasuo;Natsuki Urabe
