Author:
Bojańczyk Mikołaj,Klin Bartek,Lasota Sławomir
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
67 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equivariant ideals of polynomials;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets;Proceedings of the ACM on Programming Languages;2024-01-05
4. Automata in W-Toposes, and General Myhill-Nerode Theorems;Lecture Notes in Computer Science;2024
5. Automata and Grammars for Data Words;Lecture Notes in Computer Science;2024