Author:
Buchi J. Richard,Landweber Lawrence H.
Subject
Applied Mathematics,General Mathematics
Cited by
252 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards an efficient implementation of a tableau method for reactive safety specifications;Journal of Logical and Algebraic Methods in Programming;2025-01
2. Positional ω-regular languages;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Uniformisation of Regular Relations in First-Order Logic with Two Variables;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
4. Semantic flowers for good-for-games and deterministic automata;Information Processing Letters;2024-03
5. Infinite Separation Between General and Chromatic Memory;Lecture Notes in Computer Science;2024