@incollection{Seidel/94a,
AUTHOR = {Seidel, Raimund},
TITLE = {The nature and meaning of perturbations in geometric computing},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {3-17},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Devienne-Lebegue-Routier-Wurtz/94,
AUTHOR = {Devienne, Philippe and Leb{\`e}gue, Patrick and Routier, Jean-Christophe and W{\"u}rtz, J{\"o}rg},
TITLE = {One binary Horn clause is enough},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {21-32},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bensaou-Guessarian/94,
AUTHOR = {Bensaou, N. and Guessarian, I.},
TITLE = {Transforming constraint logic programs},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {33-46},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Laroussinie-Schnoebelen/94,
AUTHOR = {Laroussinie, F. and Schnoebelen, Ph.},
TITLE = {A hierarchy of temporal logics with past},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {47-58},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Goubault/94,
AUTHOR = {Goubault, Jean},
TITLE = {The complexity of resource-bounded first-order classical logic},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {59-70},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Benhamou-Sais-Siegel/94,
AUTHOR = {Benhamou, Belaid and Sais, Lakhdar and Siegel, Pierre},
TITLE = {Two proof procedures for a cardinality based language in propositional calculus},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {71-82},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
KEYWORDS = {theorem proving, propositional calculus, symmetry and cardinality},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{von_Braunmuhl-Gengler-Rettinger/94,
AUTHOR = {von Braunm{\"u}hl, Burchard and Gengler, Romain and Rettinger, Robert},
TITLE = {The alternation hierarchy for machines with sublogarithmic space is infinite},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {85-96},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Naik-Regan-Sivakumar/94,
AUTHOR = {Naik, Ashish V. and Regan, Kenneth W. and Sivakumar, D.},
TITLE = {Quasilinear time complexity theory},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {97-108},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Macarie/94,
AUTHOR = {Macarie, Ioan I.},
TITLE = {Space-efficient deterministic simulation of probabilistic automata},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {109-122},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Etessami-Immerman/94,
AUTHOR = {Etessami, Kousha and Immerman, Neil},
TITLE = {Reachability and the power of local ordering},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {123-135},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=123},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Comon-Jacquemard/94,
AUTHOR = {Comon, Hubert and Jacquemard, Florent},
TITLE = {Ground reducibility and automata with disequality constraints},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {151-162},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Khasidashvili/94,
AUTHOR = {Khasidashvili, Zurab},
TITLE = {Perpetuality and strong normalization in orthogonal term rewriting systems},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {163-174},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=163},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sattler-Klein/94,
AUTHOR = {Sattler-Klein, Andrea},
TITLE = {About changing the ordering during Knuth-Bendix completion},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {175-186},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=175},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ringeissen/94,
AUTHOR = {Ringeissen, Christophe},
TITLE = {Combination of matching algorithms},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {187-198},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=187},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kik-Kutylowski-Stachowiak/94,
AUTHOR = {Kik, Marcin and Kuty{\l}owski, Miros{\l}aw and Stachowiak, Grzegorz},
TITLE = {Periodic constant depth sorting networks},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {201-212},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=201},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chlebus-Gasieniec/94,
AUTHOR = {Chlebus, Bogdan S. and G{\c{a}}sieniec, Leszek},
TITLE = {Optimal pattern matching on meshes},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {213-224},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=213},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kunde-Niedermeier-Rossmanith/94,
AUTHOR = {Kunde, Manfred and Niedermeier, Rolf and Rossmanith, Peter},
TITLE = {Faster sorting and routing on grids with diagonals},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {225-236},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=225},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sibeyn-Kaufmann/94,
AUTHOR = {Sibeyn, Jop F. and Kaufmann, Michael},
TITLE = {Deterministic $1-k$ routing on meshes},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {237-248},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=237},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hofmann-Pierce/94,
AUTHOR = {Hofmann, Martin and Pierce, Benjamin},
TITLE = {A unifying type-theoretic framework for objects},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {251-262},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=251},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Avenhaus-Becker/94,
AUTHOR = {Avenhaus, J{\"u}rgen and Becker, Klaus},
TITLE = {Operational specifications with built-ins},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {263-274},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=263},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gribomont-Hagelstein/94,
AUTHOR = {Gribomont, E. Pascal and Hagelstein, Jacques},
TITLE = {Reactive variables for system specification and design},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {275-286},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=275},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Regan/94,
AUTHOR = {Regan, Kenneth W.},
TITLE = {A new parallel vector model, with exact characterization of $NC^k$},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {289-300},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=289},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alvarez-Jenner/94,
AUTHOR = {{\'A}lvarez, Carme and Jenner, Birgit},
TITLE = {On adaptive dlogtime and polylogtime reductions},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {301-312},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=301},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ogiwara/94,
AUTHOR = {Ogiwara, Mitsunori},
TITLE = {$NC^k(NP) = AC^{k-1}(NP)$},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {313-324},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=313},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arnold/94,
AUTHOR = {Arnold, Andr{\'e}},
TITLE = {Hypertransition systems},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {327-338},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=327},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Metivier-Richomme/94,
AUTHOR = {M{\'e}tivier, Yves and Richomme, Gw{\'e}na{\"e}l},
TITLE = {On the star operation and the finite power property in free partially commutative monoids},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {341-352},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=341},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bruyere-De_Felice-Guaiana/94,
AUTHOR = {Bruy{\`e}re, V{\'e}ronique and De Felice, Clelia and Guaiana, Giovanna},
TITLE = {Coding with traces},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {353-364},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=353},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Giammarresi-Restivo-Seibert-Thomas/94,
AUTHOR = {Giammarresi, Dora and Restivo, Antonio and Seibert, Sebastian and Thomas, Wolfgang},
TITLE = {Monadic second-order logic over pictures and recognizability by tiling systems},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {365-375},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=365},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Delest-Dubernard/94,
AUTHOR = {Delest, Maylis and Dubernard, Jean-Philippe},
TITLE = {$q$-grammars: Results, implementation},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {377-388},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=377},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Karner/94,
AUTHOR = {Karner, Georg},
TITLE = {A topology for complete semirings},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {389-400},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=389},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Book-Lutz-Martin/94,
AUTHOR = {Book, Ronald V. and Lutz, Jack H. and Martin, David M., Jr.},
TITLE = {The global power of additional queries to random oracles},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {403-414},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=403},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lutz-Mayordomo/94,
AUTHOR = {Lutz, Jack H. and Mayordomo, Elvira},
TITLE = {Cook versus Karp-Levin: Separating completeness notions if $NP$ is not small},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {415-426},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=415},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Thierauf-Toda-Watanabe/94,
AUTHOR = {Thierauf, Thomas and Toda, Seinosuke and Watanabe, Osamu},
TITLE = {On sets bounded truth-table reducible to P-selective sets},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {427-438},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=427},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Selivanov/94,
AUTHOR = {Selivanov, V.L.},
TITLE = {Two refinements of the polynomial hierarchy},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {439-448},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=439},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Vollmer/94a,
AUTHOR = {Vollmer, Heribert},
TITLE = {On different reducibility notions for function classes},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {449-460},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=449},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Luby-Ertel/94,
AUTHOR = {Luby, Michael and Ertel, Wolfgang},
TITLE = {Optimal parallelization of Las Vegas algorithms},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {463-474},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=463},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Datta/94a,
AUTHOR = {Datta, Amitava},
TITLE = {Efficient parallel algorithms for geometric $k$-clustering problems},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {475-486},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=475},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Maheshwari-Lingas/94,
AUTHOR = {Maheshwari, Anil and Lingas, Andrzej},
TITLE = {A simple optimal parallel algorithm for reporting paths in a tree},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {487-495},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=487},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Apostolico-Breslauer-Galil/94,
AUTHOR = {Apostolico, Alberto and Breslauer, Dany and Galil, Zvi},
TITLE = {Parallel detection of all palindromes in a string},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {497-506},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=497},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cai-Chen-Downey-Fellows/94,
AUTHOR = {Cai, Liming and Chen, Jianer and Downey, Rodney and Fellows, Michael},
TITLE = {On the structure of parameterized problems in $NP$},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {509-520},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=509},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Amaldi-Kann/94,
AUTHOR = {Amaldi, Edoardo and Kann, Viggo},
TITLE = {On the approximability of finding maximum feasible subsystems of linear systems},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {521-532},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=521},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Borchert/94,
AUTHOR = {Borchert, Bernd},
TITLE = {On the acceptance power of regular languages},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {533-541},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=533},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hertrampf/94,
AUTHOR = {Hertrampf, Ulrich},
TITLE = {Complexity classes with finite acceptance types},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {543-553},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=543},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Parrow-Sjodin/94,
AUTHOR = {Parrow, Joachim and Sj{\"o}din, Peter},
TITLE = {The complete axiomatization of cs-congruence},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {557-568},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=557},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{van_Oostrom-Vink/94,
AUTHOR = {van Oostrom, V. and Vink, E.P. de},
TITLE = {Transition system specifications in stalk format with bisimulation as a congruence},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {569-580},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
KEYWORDS = {semantics of programming languages, structured operational semantics, transition system specifications, bisimulation equivalence},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=569},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jancar/94,
AUTHOR = {Jan{\v{c}}ar, Petr},
TITLE = {Decidability questions for bisimilarity of Petri nets and some related problems},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {581-592},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=581},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buntrock-Lorys/94,
AUTHOR = {Buntrock, Gerhard and Lory{\'s}, Krzysztof},
TITLE = {The variable membership problem: Succinctness versus complexity},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {595-606},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=595},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Weber-Klemm/94,
AUTHOR = {Weber, Andreas and Klemm, Reinhard},
TITLE = {Economy of description for single-valued transducers},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {607-618},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=607},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Shallit-Breitbart/94,
AUTHOR = {Shallit, Jeffrey and Breitbart, Yuri},
TITLE = {Automaticity: Properties of a measure of descriptional complexity},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {619-630},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=619},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Harel/94,
AUTHOR = {Harel, David},
TITLE = {Towards a theory of recursive structures},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {633-645},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=633},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arimura-Shinohara-Otsuki/94,
AUTHOR = {Arimura, Hiroki and Shinohara, Takeshi and Otsuki, Setsuko},
TITLE = {Finding minimal generalizations for unions of pattern languages and its application to inductive inference from positive data},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {649-660},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=649},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mateescu-Salomaa/94,
AUTHOR = {Mateescu, Alexandru and Salomaa, Arto},
TITLE = {Nondeterminism in patterns},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {661-668},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=661},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dancik-Paterson/94,
AUTHOR = {Dan{\v{c}}{\'i}k, Vlado and Paterson, Mike},
TITLE = {Upper bounds for the expected length of a longest common subsequence of two binary sequences},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {669-678},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=669},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Petersen/94b,
AUTHOR = {Petersen, H.},
TITLE = {The ambiguity of primitive words},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {679-690},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=679},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lam/94a,
AUTHOR = {Lam, Nguyen Huong},
TITLE = {On codes having no finite completion},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {691-698},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=691},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lipton/94,
AUTHOR = {Lipton, Richard J.},
TITLE = {A new approach to information theory},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {699-708},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=699},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Le/94,
AUTHOR = {L{\^e}, Ng{\d{o}}c-Minh},
TITLE = {On Voronoi diagrams in the $L_p$-metric in higher dimensions},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {711-722},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=711},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kao/94,
AUTHOR = {Kao, Ming-Yang},
TITLE = {Total protection of analytic invariant information in cross tabulated tables},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {723-734},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=723},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dragan-Brandstadt/94,
AUTHOR = {Dragan, Feodor F. and Brandst{\"a}dt, Andreas},
TITLE = {Dominating cliques in graphs with hypertree structure},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {735-746},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=735},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Deogun-Kloks-Kratsch-Muller/94,
AUTHOR = {Deogun, J.S. and Kloks, T. and Kratsch, D. and M{\"u}ller, H.},
TITLE = {On vertex ranking for permutation and other graphs},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {747-758},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=747},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kloks-Kratsch/94,
AUTHOR = {Kloks, T. and Kratsch, D.},
TITLE = {Finding all minimal separators of a graph},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {759-768},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=759},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender-Jansen/94,
AUTHOR = {Bodlaender, Hans L. and Jansen, Klaus},
TITLE = {On the complexity of the maximum cut problem},
BOOKTITLE = {Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science, STACS'94 (Caen, France, February 24-26, 1994)},
SERIES = {LNCS},
VOLUME = {775},
PAGES = {769-780},
YEAR = {1994},
EDITOR = {Enjalbert, P. and Mayr, E.W. and Wagner, K.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=775&spage=769},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}