Average case complete problems
SIAM Journal on Computing
Journal of Computer and System Sciences
Algorithms: main ideas and applications
Algorithms: main ideas and applications
Go¨del's incompleteness theorem
Theoretical Computer Science
Reversibility and surjectivity problems of cellular automata
Journal of Computer and System Sciences
Regularity and finiteness conditions
Handbook of formal languages, vol. 1
Theoretical Computer Science
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
An Aperiodic Set of Wang Cubes
STACS '96 Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science
Picture Languages: From Wang Tiles to 2D Grammars
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
A topological study of tilings
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
Hi-index | 5.23 |
L'objectif de cet article de synthése est de présenter ensemble un certain nombre de résultats liant les pavages á la logique suivant divers points de vue: certains structurels, d'autres plus algorithmiques en termes d'indécidabilité, de complexités.