@incollection{Brassard/96,
AUTHOR = {Brassard, Gilles},
TITLE = {New trends in quantum computing},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {3-10},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buhrman-Longpre/96,
AUTHOR = {Buhrman, Harry and Longpr{\'{e}}, Luc},
TITLE = {Compressibility and resource bounded measure},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {13-24},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kummer/96,
AUTHOR = {Kummer, Martin},
TITLE = {On the complexity of random strings},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {25-36},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Harju-Karhumaki-Krob/96,
AUTHOR = {Harju, T. and Karhum{\"a}ki, J. and Krob, D.},
TITLE = {Remarks on generalized post correspondence problem},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {39-48},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beal-Carton-Reutenauer/96,
AUTHOR = {B{\'{e}}al, Marie-Pierre and Carton, Olivier and Reutenauer, Christophe},
TITLE = {Cyclic languages and strongly cyclic languages},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {49-59},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ambos-Spies-Mayordomo-Wang-Zheng/96,
AUTHOR = {Ambos-Spies, Klaus and Mayordomo, Elvira and Wang, Yongge and Zheng, Xizhong},
TITLE = {Resource-bounded balanced genericity, stochasticity and weak randomness},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {63-74},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buhrman-Thierauf/96,
AUTHOR = {Buhrman, Harry and Thierauf, Thomas},
TITLE = {The complexity of generating and checking proofs of membership},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {75-86},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lutz/96,
AUTHOR = {Lutz, Jack H.},
TITLE = {Observations on measures and lowness for $\Delta^P_2$},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {87-97},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arvind-Vinodchandran/96,
AUTHOR = {Arvind, V. and Vinodchandran, N.V.},
TITLE = {Solvable black-box group problems are low for $PP$},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {99-110},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beaudry/96,
AUTHOR = {Beaudry, Martin},
TITLE = {Languages recognized by finite aperiodic groupoids},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {113-124},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bassino/96,
AUTHOR = {Bassino, Fr{\'{e}}d{\'{e}}rique},
TITLE = {Star-height of an IN-rational series},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {125-135},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Culik-Kari/96,
AUTHOR = {Culik III, Karel and Kari, Jarkko},
TITLE = {An aperiodic set of Wang cubes},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {137-146},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Melancon/96a,
AUTHOR = {Melan{\c{c}}on, Guy},
TITLE = {Lyndon factorization of infinite words},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {147-154},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Heun-Mayr/96a,
AUTHOR = {Heun, Volker and Mayr, Ernst W.},
TITLE = {Embedding graphs with bounded treewidth into optimal hypercubes},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {157-168},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1046&spage=157},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Morvan-Viennot/96,
AUTHOR = {Morvan, Michel and Viennot, Laurent},
TITLE = {Parallel comparability graph recognition and modular decomposition},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {169-180},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berenbrink-Meyer_auf_der_Heide-Stemann/96,
AUTHOR = {Berenbrink, Petra and Meyer auf der Heide, Friedhelm and Stemann, Volker},
TITLE = {Fault-tolerant shared memory simulations},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {181-192},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Indyk/96,
AUTHOR = {Indyk, Piotr},
TITLE = {On word-level parallelism in fault-tolerant computing},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {193-204},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barzdins-Freivalds-Smith/96,
AUTHOR = {B{\=a}rzdi{\c{n}}{\u{s}}, J{\=a}nis and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Smith, Carl H.},
TITLE = {Learning with confidence},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {207-218},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Tateishi-Maruyama-Miyano/96,
AUTHOR = {Tateishi, Erika and Maruyama, Osamu and Miyano, Satoru},
TITLE = {Extracting best consensus motifs from positive and negative examples},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {219-230},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Denis-DHalluin-Gilleron/96,
AUTHOR = {Denis, Fran{\c{c}}ois and D'Halluin, Cyrille and Gilleron, R{\'{e}}mi},
TITLE = {PAC learning with simple examples},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {231-242},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ambainis-Freivalds-Smith/96,
AUTHOR = {Ambainis, Andris and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Smith, Carl H.},
TITLE = {General inductive inference types based on linearly-ordered sets},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {243-253},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berard-Gastin-Petit/96,
AUTHOR = {B{\'{e}}rard, B{\'{e}}atrice and Gastin, Paul and Petit, Antoine},
TITLE = {On the power of non-observable actions in timed automata},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {257-268},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bertol-Diekert/96,
AUTHOR = {Bertol, Michael and Diekert, Volker},
TITLE = {Trace rewriting: Computing normal forms in time $O(n\log n)$},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {269-280},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Durr-Thanh-Santha/96,
AUTHOR = {D{\"u}rr, Christoph and Thanh, Huong L{\^{e}} and Santha, Miklos},
TITLE = {A decision procedure for well-formed linear quantum cellular automata},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {281-292},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jacoby-Schindelhauer/96,
AUTHOR = {Jacoby, Andreas and Schindelhauer, Christian},
TITLE = {On the complexity of worst case and expected time in a circuit},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {295-306},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cai-Naik-Sivakumar/96,
AUTHOR = {Cai, Jin-Yi and Naik, Ashish V. and Sivakumar, D.},
TITLE = {On the existence of hard sparse sets under weak reductions},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {307-318},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Andreev-Clementi-Rolim/96c,
AUTHOR = {Andreev, Alexander E. and Clementi, Andrea E.F. and Rolim, Jos{\'{e}} D.P.},
TITLE = {Optimal bounds on the approximation of Boolean functions with consequences on the concept of hardness},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {319-330},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cai-Selman/96,
AUTHOR = {Cai, Jin-Yi and Selman, Alan L.},
TITLE = {Fine separation of average time complexity classes},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {331-343},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sifakis-Yovine/96,
AUTHOR = {Sifakis, Joseph and Yovine, Sergio},
TITLE = {Compositional specification of timed systems},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {347-359},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bleichenbacher-Maurer/96,
AUTHOR = {Bleichenbacher, Daniel and Maurer, Ueli M.},
TITLE = {Optimal tree-based one-time digital signature schemes},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {363-374},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Friedman-Joux-Roichman-Stern-Tillich/96,
AUTHOR = {Friedman, Joel and Joux, Antoine and Roichman, Yuval and Stern, Jacques and Tillich, Jean-Pierre},
TITLE = {The action of a few random permutations on $r$-tuples and an application to cryptography},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {375-386},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Maurer/96,
AUTHOR = {Maurer, Ueli M.},
TITLE = {A unified and generalized treatment of authentication theory},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {387-398},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Walukiewicz/96,
AUTHOR = {Walukiewicz, Igor},
TITLE = {Monadic second order logic on tree-like structures},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {401-413},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Schwentick/96,
AUTHOR = {Schwentick, Thomas},
TITLE = {On bijections vs. unary functions},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {415-426},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Marcinkowski/96,
AUTHOR = {Marcinkowski, Jerzy},
TITLE = {The 3 Frenchmen method proves undecidability of the uniform boundedness for single recursive rule ternary DATALOG programs},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {427-438},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hofmeister-Lefmann/96a,
AUTHOR = {Hofmeister, Thomas and Lefmann, Hanno},
TITLE = {A combinatorial design approach to MAXCUT},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {441-452},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gupta-Nishimura/96,
AUTHOR = {Gupta, Arvind and Nishimura, Naomi},
TITLE = {Characterizing the complexity of subgraph isomorphism for graphs of bounded path-width},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {453-464},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mitchell/96a,
AUTHOR = {Mitchell, Scott A.},
TITLE = {A characterization of the quadrilateral meshes of a surface which admit a compatible hexahedral mesh of the enclosed volume},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {465-476},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bradfield/96,
AUTHOR = {Bradfield, J.C.},
TITLE = {On the expressivity of the modal mu-calculus},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {479-490},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bollig-Wegener/96a,
AUTHOR = {Bollig, Beate and Wegener, Ingo},
TITLE = {Read-once projections and formal circuit verification with binary decision diagrams},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {491-502},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Giacobazzi/96,
AUTHOR = {Giacobazzi, Roberto},
TITLE = {"Optimal" collecting semantics for analysis in a hierarchy of logic program semantics},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {503-514},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Schmitt/96,
AUTHOR = {Schmitt, Vincent},
TITLE = {Flip-flop nets},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {517-528},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kranakis-Krizanc/96,
AUTHOR = {Kranakis, Evangelos and Krizanc, Danny},
TITLE = {Lower bounds for compact routing},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {529-540},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Frougny/96,
AUTHOR = {Frougny, Christiane},
TITLE = {On the successor function in non-classical numeration systems},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {543-553},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beal-Mignosi-Restivo/96,
AUTHOR = {B{\'{e}}al, Marie-Pierre and Mignosi, Filippo and Restivo, Antonio},
TITLE = {Minimal forbidden words and symbolic dynamics},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {555-566},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dietzfelbinger/96,
AUTHOR = {Dietzfelbinger, Martin},
TITLE = {Universal hashing and $k$-wise independent random variables via integer arithmetic without primes},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {569-580},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kelsen/96,
AUTHOR = {Kelsen, Pierre},
TITLE = {Ranking and unranking trees using regular reductions},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {581-592},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Breslauer/96,
AUTHOR = {Breslauer, Dany},
TITLE = {On competitive on-line paging with lookahead},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {593-603},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lagergren/96a,
AUTHOR = {Lagergren, Jens},
TITLE = {Hypothesis testing in perfect phylogeny for a bounded number of characters},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {605-616},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Meinel-Waack/96,
AUTHOR = {Meinel, Christoph and Waack, Stephan},
TITLE = {The "log rank" conjecture for modular communication complexity},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {619-630},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ambainis/96a,
AUTHOR = {Ambainis, Andris},
TITLE = {Upper bounds on multiparty communication complexity of shifts},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {631-642},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Damm-Jukna-Sgall/96,
AUTHOR = {Damm, Carsten and Jukna, Stasys and Sgall, Ji{\v{r}}{\'{i}}},
TITLE = {Some bounds on multiparty communication complexity of pointer jumping},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {643-654},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bampis-Delorme-Konig/96,
AUTHOR = {Bampis, E. and Delorme, C. and K{\"o}nig, J.-C.},
TITLE = {Optimal schedules for d-D grid graphs with communication delays},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {655-666},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gartner-Welzl/96,
AUTHOR = {G{\"a}rtner, Bernd and Welzl, Emo},
TITLE = {Linear programming --- Randomization and abstract frameworks},
BOOKTITLE = {Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)},
SERIES = {LNCS},
VOLUME = {1046},
PAGES = {669-687},
YEAR = {1996},
EDITOR = {Puech, Claude and Reischuk, R{\"u}diger},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}