Author:
Colcombet Thomas,Löding Christof
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Second-Order Finite Automata;Theory of Computing Systems;2022-06-22
2. The Caucal hierarchy: Interpretations in the (W)MSO+U logic;Information and Computation;2021-06
3. Generating collection transformations from proofs;Proceedings of the ACM on Programming Languages;2021-01-04
4. Regular Model Checking Revisited;Model Checking, Synthesis, and Learning;2021
5. Probabilistic Bisimulation for Parameterized Systems;Computer Aided Verification;2019