An optimal lower bound on the number of variables for graph identification

[1]  Neil Immerman,et al.  The expressiveness of a family of finite set languages , 1991, PODS '91.

[2]  Neil Immerman,et al.  On Uniformity within NC¹ , 1990, J. Comput. Syst. Sci..

[3]  N. Immerman,et al.  Definability with Bounded Number of Bound Variables , 1989, Inf. Comput..

[4]  Miklós Ajtai,et al.  Recursive construction for 3-regular expanders , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[5]  Ludek Kucera,et al.  Canonical labeling of regular graphs in linear average time , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[6]  Neil Immerman,et al.  Languages that Capture Complexity Classes , 1987, SIAM J. Comput..

[7]  Neil Immerman,et al.  Relational Queries Computable in Polynomial Time , 1986, Inf. Control..

[8]  Regina Tyshkevich,et al.  Graph isomorphism problem , 1985 .

[9]  László Babai,et al.  Canonical labeling of graphs , 1983, STOC.

[10]  Martin Fürer,et al.  Normal forms for trivalent graphs and graphs of bounded valence , 1983, STOC.

[11]  László Babai,et al.  Computational complexity and the classification of finite simple groups , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[12]  László Babai,et al.  Moderately Exponential Bound for Graph Isomorphism , 1981, FCT.

[13]  Neil Immerman,et al.  Number of Quantifiers is Better Than Number of Tape Cells , 1981, J. Comput. Syst. Sci..

[14]  L. Babai.  On the Order of Uniprimitive Permutation Groups , 1981 .

[15]  Eugene M. Luks,et al.  Isomorphism of graphs of bounded valence can be tested in polynomial time , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[16]  Neil Immerman,et al.  Upper and lower bounds for first order expressibility , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[17]  David Harel,et al.  Structure and complexity of relational queries , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[18]  Paul Erdös,et al.  Random Graph Isomorphism , 1980, SIAM J. Comput..

[19]  Peter J. Cameron,et al.  6-Transitive graphs , 1980, J. Comb. Theory, Ser. B.

[20]  László Babai,et al.  On the Complexity of Canonical Labeling of Strongly Regular Graphs , 1980, SIAM J. Comput..

[21]  László Babai,et al.  Canonical labelling of graphs in linear average time , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[22]  Rudolf Mathon,et al.  A Note on the Graph Isomorphism counting Problem , 1979, Inf. Process. Lett..

[23]  Gary L. Miller,et al.  On the nlog n isomorphism technique (A Preliminary Report) , 1978, STOC.

[24]  Derek G. Corneil,et al.  The graph isomorphism disease , 1977, J. Graph Theory.

[25]  D. G. Higman.  Coherent configurations , 1975 .

[26]  D. Djoković,et al.  On regular graphs, VI , 1973 .

[27]  M. Klin,et al.  Cellular Rings and Groups of Automorphisms of Graphs , 1994 .

[28]  G. Rozenber,et al.  Current Trends in Theoretical Computer Science , 1993 .

[29]  E. Lander,et al.  Describing Graphs: A First-Order Approach to Graph Canonization , 1990 .

[30]  B. McKay.  nauty User ’ s Guide ( Version 2 . 4 ) , 1990 .

[31]  N. Immerman,et al.  On uniformity within NC 1 . , 1988 .

[32]  B. Weisfeiler.  On construction and identification of graphs , 1976 .

[33]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[34]  A. Ehrenfeucht.  An application of games to the completeness problem for formalized theories , 1961 .