36 citations found. Retrieving documents...
H. Wang,
Proving theorems by pattern recognition II
., Bell Systs. Tech. J. 40 (1961), 1-41.
Home/Search
Document Not in Database
Context
Related Articles
Check
This paper is cited by the following papers:
The Structure of the Models of Decidable Monadic Theories of Graphs - Seese (1991)
(18 citations)
(Correct)
Effective Transformations on Infinite Trees, with Applications to.. - Harel (1986)
(3 citations)
(Correct)
On the Solvability of Domino Snake Problems - Etzion-Petruschka, Harel (1994)
(1 citation)
(Correct)
Book Review: Quasicrystals and geometry, Marjorie Senechal, 301.. - Radin
(Correct)
Are There Chaotic Tilings? - Berend, Radin (1993)
(Correct)
Symbolic and Algebraic Dynamical Systems - Lind, Schmidt (2000)
(Correct)
An Aperiodic Tiles Machine - Cáceres, Márquez
(Correct)
Strong Cocycle Triviality for ... Subshifts - Jenkinson
(Correct)
Models and Logics for True Concurrency - Lodaya, Mukund, Ramanujam.. (1990)
(6 citations)
(Correct)
Complexity of Two-Dimensional Patterns - Lindgren, Moore, Nordahl (2000)
(7 citations)
(Correct)
Multi-Dimensional Symbolic Dynamical Systems - Schmidt (2000)
(1 citation)
(Correct)
A Formal Languages Characterization of NP - Borchert (1999)
(1 citation)
(Correct)
Local Variations on a Loose Theme: Modal Logic and Decidability - Marx, Venema
(2 citations)
(Correct)
Global Order From Local Sources - Radin (1991)
(13 citations)
(Correct)
RASHOMON (pavages et rotations) - Radin (1998)
(Correct)
Aperiodic Tiliings In Higher Dimensions - Radin (1993)
(Correct)
A Polyadic Modal μ-Calculus - Andersen (1994)
(Correct)
Complexity of Two-Dimensional Patterns - Lindgren, Moore, Nordahl (1997)
(7 citations)
(Correct)
Are There Chaotic Tilings? - Berend, Radin (1993)
(Correct)
Aperiodic Tilings, Ergodic Theory And Rotations - Charles Radin Lecture
(Correct)
The Pinwheel Tilings Of The Plane* - Charles Radin Mathematics
(Correct)
Quaquaversal Tilings And Rotations - John Conway And
(Correct)
Invadable Self-Assembly: Combining Robustness with Eciency - Ho-Lin Chen Qi (2004)
(1 citation)
(Correct)
Optimal Self-Assembly of Counters at - Temperature Two Qi
(Correct)
Invadable Self-Assembly: Combining Robustness with Eciency - Ho-Lin Chen Qi (2004)
(1 citation)
(Correct)
Error Free Self-Assembly using Error Prone Tiles - Ho-Lin Chen Ashish
(Correct)
Adept - A Heuristic Program For Proving Theorems Of Group Theory - Norton (1966)
(Correct)
The Pinwheel Tilings of the Plane - Radin (1994)
(10 citations)
(Correct)
Quaquaversal Tilings And Rotations - Conway, Radin (1995)
(1 citation)
(Correct)
An Algebraic Invariant For Substitution Tiling Systems - Radin, Sadun
(Correct)
Space Tilings And Local Isomorphism - Radin, Wolff (1992)
(13 citations)
(Correct)
The Pinwheel Tilings of the Plane - Radin (1992)
(10 citations)
(Correct)
An Algebraic Invariant For Substitution Tiling Systems - Radin, Sadun (1996)
(Correct)
Quaquaversal Tilings And Rotations - Conway, Radin (1995)
(1 citation)
(Correct)
Wang Tiles for Image and Texture Generation - Michael Cohen Jonathan (2003)
(4 citations)
Self-citation (Wang)
(Correct)
Online articles have much greater impact
More about CiteSeer.IST
Add search form to your site
Submit documents
Feedback
CiteSeer.IST - Copyright
Penn State
and
NEC