Author:
Bloom Stephen L.,Ésik Zoltán
Publisher
Springer Berlin Heidelberg
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Algebraic Glimpse at Bunched Implications and Separation Logic;Outstanding Contributions to Logic;2021-12-14
2. Conway’s Work on Iteration In memory of John Horton Conway (1937–2020);The Mathematical Intelligencer;2021-06
3. A Fixed Point Theorem on Lexicographic Lattice Structures;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08
4. Quantitative properties of featured automata;International Journal on Software Tools for Technology Transfer;2019-09-23
5. Two-way representations and weighted automata;RAIRO - Theoretical Informatics and Applications;2016-10