Author:
Boigelot Bernard,Brusten Julien
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Avigad, J., Yin, Y.: Quantifier elimination for the reals with a predicate for the powers of two. Theoretical Computer Science 370, 48–59 (2007)
2. Lecture Notes in Computer Science;B. Boigelot,1997
3. Bruyère, V., Hansel, G., Michaux, C., Villemaire, R.: Logic and p-recognizable sets of integers. Bulletin of the Belgian Mathematical Society 1(2), 191–238 (1994)
4. Boigelot, B., Jodogne, S., Wolper, P.: An effective decision procedure for linear arithmetic over the integers and reals. ACM Transactions on Computational Logic 6(3), 614–633 (2005)
5. Boigelot, B.: Symbolic methods for exploring infinite state spaces. PhD thesis, Université de Liège (1998)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献