Author:
Jeandel Emmanuel,Vanier Pascal
Publisher
Springer International Publishing
Reference54 articles.
1. S.O. Aanderaa, H.R. Lewis, Linear sampling and the ∀∃∀ case of the decision problem. J. Symb. Log. 39(3), 519–548 (1974). See also [H.R. Lewis, Unsolvable Classes of Quantificational Formulas (Addison-Wesley, Reading, 1979)]
2. C. Allauzen, B. Durand, Tiling problems. in The Classical Decision Problem, Perspectives in Mathematical Logic, chap. A (Springer, Berlin, 2001), pp. 407–420
3. R. Ammann, B. Grunbaum, G. Shephard, Aperiodic tiles. Discret. Comput. Geom. 8(1), 1–25 (1992)
4. S. Arora, B. Barak, Computational Complexity: A Modern Approach, 1st edn (Cambridge University Press, New York, 2009)
5. A. Ballier, Propriétés structurelles, combinatoires et logiques des pavages. Ph.D. thesis, Aix-Marseille Université (2009)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献