Author:
Demri S.,Laroussinie F.,Schnoebelen Ph.
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference55 articles.
1. Rudiments of μ-Calculus;Arnold,2001
2. Systems and Software Verification. Model-Checking Techniques and Tools;Bérard,2001
3. The parameterized complexity of sequence alignment and consensus;Bodlaender;Theoret. Comput. Sci.,1995
4. Modal logics and mu-calculi: An introduction;Bradfield,2001
5. Preprocessing of intractable problems;Cadoli;Inform. and Comput.,2002
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献