Author:
Barcucci Elena,Del Lungo Alberto,Nivat Maurice,Pinzani Renzo
Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. A linear-time algorithm for testing the truth of certain quantified boolean formulas;Aspvall;Inform. Process. Lett.,1979
2. Tiling the plane with one tile;Beauquier,1991
3. Tiling figures of the plane with two bars, a horizontal and a vertical one;Beauquier,1992
4. The undecidability of the domino problem;Berger;Mem. Amer. Soc.,1966
5. The reconstruction of binary patterns from their projections;Chang;Comm. ACM,1971
Cited by
145 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献