Automatic structures

By Achim Blumensath, E. Grädel. 2000

357 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Geometry and Topology, Algorithms & Complexity

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Lukasz Kaiser
2. Mohit Bansal
3. Quoc V. Le
4. Ilya Sutskever
5. Kyunghyun Cho
6. Yoshua Bengio
7. Richard Socher
8. Jianfeng Gao

In Computational Theory and Mathematics

1. Lukasz Kaiser
2. Ilya Sutskever
3. U. Lang
4. Sergey Levine
5. Yuhuai Wu
6. Markus Norman Rabe
7. Lei Tai
8. Stanislas Polu

In Geometry and Topology

1. U. Lang
2. S. Wenger
3. Dominic Descombes
4. Pedro L. Kaufmann

In Algorithms & Complexity

1. Ilya Sutskever
2. U. Lang

Citations in the corpus

• Neural GPUs Learn Algorithms (2015, background): “But only few interesting functions have regular representations, as for example long multiplication does not (Blumensath & Grädel, 2000).”
• Injective hulls of certain discrete metric spaces and groups (2011, background): “Neumann–Shapiro [32] introduced a similar criterion, the falsification by fellow traveller (FFT) property, which is easily seen to imply uniform stability of intervals.”
• The language of geodesics for Garside groups (2004, neutral): “He also provided an example of a virtually Z × Z group whose language of geodesics with respect to a specific generating set is not regular (see the remark in §4 of [17]).”