Affiliation:
1. IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, New York
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference27 articles.
1. BORODIN A. Personal communication. BORODIN A. Personal communication.
Cited by
1149 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards the exact complexity of realizability for Safety LTL;Journal of Logical and Algebraic Methods in Programming;2024-10
2. On two-variable guarded fragment logic with expressive local Presburger constraints;Logical Methods in Computer Science;2024-08-27
3. Conversions Between Six Models of Finite Automata;International Journal of Foundations of Computer Science;2024-08-02
4. Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
5. Collaborative Multi-Task Representation for Natural Language Understanding;2024 International Joint Conference on Neural Networks (IJCNN);2024-06-30