@incollection{Leszczylowski-Wirsing/91,
AUTHOR = {Leszczy{\l}owski, Jacek and Wirsing, Martin},
TITLE = {Polymorphism, parameterization and typing: An algebraic specification perspective},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {1-15},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Jouannaud/91,
AUTHOR = {Jouannaud, Jean-Pierre},
TITLE = {Executable higher-order algebraic specifications},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {16-25},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=16},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Vitter/91,
AUTHOR = {Vitter, Jeffrey S.},
TITLE = {Efficient memory access in large-scale computation},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {26-41},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=26},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Roth/91,
AUTHOR = {Roth, Peter},
TITLE = {$l$-occurrences of avoidable patterns},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {42-49},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=42},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Frougny-Sakarovitch/91,
AUTHOR = {Frougny, Christiane and Sakarovitch, Jacques},
TITLE = {Rational relations with bounded delay},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {50-63},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=50},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Schmidt/91a,
AUTHOR = {Schmidt, Martin},
TITLE = {On the power of several queues},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {64-75},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=64},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Guaiana-Restivo-Salemi/91,
AUTHOR = {Guaiana, Giovanna and Restivo, Antonio and Salemi, Sergio},
TITLE = {On aperiodic trace languages},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {76-88},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=76},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Gastin/91,
AUTHOR = {Gastin, Paul},
TITLE = {Recognizable and rational languages of finite and infinite traces},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {89-104},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=89},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Diekert/91,
AUTHOR = {Diekert, Volker},
TITLE = {On the concatenation of infinite traces},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {105-117},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=105},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Serna-Spirakis/91,
AUTHOR = {Serna, Mar{\'i}a and Spirakis, Paul},
TITLE = {Tight RNC approximations to max flow},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {118-126},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=118},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Godau/91,
AUTHOR = {Godau, Michael},
TITLE = {A natural metric for curves - computing the distance for polygonal chains and approximation algorithms},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {127-136},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=127},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Wegener/91,
AUTHOR = {Wegener, Ingo},
TITLE = {The worst case complexity of the McDiarmid and Reed's variant of BOTTOM-UP-HEAP SORT is less than $n\log n + 1.1n$},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {137-147},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=137},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Gilleron/91,
AUTHOR = {Gilleron, R{\'e}mi},
TITLE = {Decision problems for term rewriting systems and recognizable tree languages},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {148-159},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=148},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Madlener-Otto/91,
AUTHOR = {Madlener, Klaus and Otto, Friedrich},
TITLE = {Decidable sentences for context-free groups},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {160-171},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=160},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Rossmanith/91,
AUTHOR = {Rossmanith, Peter},
TITLE = {The owner concept for PRAMs},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {172-183},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=172},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Baude-Vidal-Naquet/91,
AUTHOR = {Baude, Fran{\c{c}}oise and Vidal-Naquet, Guy},
TITLE = {Actors as a parallel programming model},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {184-195},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=184},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Albert-Casas-Fages-Torrecillas-Zimmermann/91,
AUTHOR = {Albert, Luc and Casas, Rafael and Fages, Fran{\c{c}}ois and Torrecillas, Antonio and Zimmermann, Paul},
TITLE = {Average case analysis of unification algorithms},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {196-213},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=196},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Wang-Shyamasundar/91,
AUTHOR = {Wang, Bal and Shyamasundar, Rudraprasad K.},
TITLE = {Methodology for proving the termination of logic programs},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {214-227},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=214},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Santha-Wilson/91,
AUTHOR = {Santha, Miklos and Wilson, Christopher},
TITLE = {Polynomial size constant depth circuits with a limited number of negations},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {228-237},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=228},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Tarui/91,
AUTHOR = {Tarui, Jun},
TITLE = {Randomized polynomials, threshold circuits, and the polynomial hierarchy},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {238-250},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=238},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Brassard-Crepeau-Laplante-Leger/91,
AUTHOR = {Brassard, Gilles and Cr{\'e}peau, Claude and Laplante, Sophie and L{\'e}ger, Christian},
TITLE = {Computationally convincing proofs of knowledge},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {251-262},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=251},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Fortnow-Lund/91,
AUTHOR = {Fortnow, Lance and Lund, Carsten},
TITLE = {Interactive proof systems and alternating time-space complexity},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {263-274},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=263},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Schmeltz/91,
AUTHOR = {Schmeltz, Bernd},
TITLE = {Optimal tradeoffs between time and bit complexity in distributed synchronous rings},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {275-284},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=275},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Baum-Waidner-Pfitzmann-Waidner/91,
AUTHOR = {Baum-Waidner, Birgit and Pfitzmann, Birgit and Waidner, Michael},
TITLE = {Unconditional Byzantine agreement with good majority},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {285-295},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=285},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Carlsson-Mattsson-Poblete-Bengtsson/91,
AUTHOR = {Carlsson, Svante and Mattsson, Christer and Poblete, Patricio V. and Bengtsson, Mats},
TITLE = {A new compacting garbage-collection algorithm with a good average-case performance},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {296-308},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=296},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Vogler/91b,
AUTHOR = {Vogler, Walter},
TITLE = {Bisimulation and action refinement},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {309-321},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=309},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Jeron/91,
AUTHOR = {Jeron, Thierry},
TITLE = {Testing for unboundedness of FIFO channels},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {322-333},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=322},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Beauquier-Choquet-Petit-Vidal-Naquet/91,
AUTHOR = {Beauquier, Joffroy and Choquet, Annie and Petit, Antoine and Vidal-Naquet, Guy},
TITLE = {Detection of deadlocks in an infinite family of nets},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {334-347},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=334},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Buss-Goldsmith/91,
AUTHOR = {Buss, Jonathan F. and Goldsmith, Judy},
TITLE = {Nondeterminism within P},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {348-359},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=348},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Buntrock-Damm-Hertrampf-Meinel/91,
AUTHOR = {Buntrock, Gerhard and Damm, Carsten and Hertrampf, Ulrich and Meinel, Christoph},
TITLE = {Structure and importance of logspace-MOD-classes},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {360-371},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=360},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Rutenburg/91,
AUTHOR = {Rutenburg, Vladislav},
TITLE = {Complexity classification of truth maintenance systems},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {372-383},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=372},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Desel-Esparza/91,
AUTHOR = {Desel, J{\"o}rg and Esparza, Javier},
TITLE = {Reachability in reversible free choice systems},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {384-397},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=384},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Best-Cherkasova-Desel/91,
AUTHOR = {Best, Eike and Cherkasova, Ludmila and Desel, J{\"o}rg},
TITLE = {Compositional generation of home states in free choice systems},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {398-409},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=398},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Buhrman-Spaan-Torenvliet/91,
AUTHOR = {Buhrman, Harry and Spaan, Edith and Torenvliet, Leen},
TITLE = {Bounded reductions},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {410-421},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=410},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Alvarez-Balcazar-Jenner/91,
AUTHOR = {{\'A}lvarez, Carme and Balc{\'a}zar, Jos{\'e} L. and Jenner, Birgit},
TITLE = {Functional oracle queries as a measure of parallel time},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {422-433},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=422},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Pitsch-Schomer/91,
AUTHOR = {Pitsch, Gisela and Sch{\"o}mer, Elmar},
TITLE = {Optimal parallel recognition of bracket languages on hypercubes},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {434-443},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=434},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Rajasekaran-Overholt/91,
AUTHOR = {Rajasekaran, Sanguthevar and Overholt, Richard},
TITLE = {Constant queue routing on a mesh},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {444-455},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=444},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Condon/91a,
AUTHOR = {Condon, Anne},
TITLE = {The complexity of the max word problem},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {456-465},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=456},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Gradel/91,
AUTHOR = {Gr{\"a}del, Erich},
TITLE = {The expressive power of second order Horn logic},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {466-477},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=466},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{de_Santis-Persiano/91,
AUTHOR = {de Santis, Alfredo and Persiano, Giuseppe},
TITLE = {Tight bounds on the path length of binary trees},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {478-487},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=478},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Hartmann/91,
AUTHOR = {Hartmann, Joachim},
TITLE = {The random testability of the $n$-input AND gate},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {488-498},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=488},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Schoett/91,
AUTHOR = {Schoett, Oliver},
TITLE = {An observational subset of first-order logic cannot specify the behaviour of a counter},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {499-510},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=499},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Denis-Delahaye/91,
AUTHOR = {Denis, Fran{\c{c}}oise and Delahaye, Jean-Paul},
TITLE = {Unfolding, procedural and fixpoint semantics of logic programs},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {511-522},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=511},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Balbiani/91,
AUTHOR = {Balbiani, Philippe},
TITLE = {A modal semantics for the negation as failure and the closed world assumption rules},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {523-534},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=523},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Berghammer-Schmidt/91,
AUTHOR = {Berghammer, Rudolf and Schmidt, Gunther},
TITLE = {The RELVIEW system},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {535-536},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=535},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Biryalcev-Gusenkov-Nasyrov-Saveliev/91,
AUTHOR = {Biryalcev, E.V. and Gusenkov, A.M. and Nasyrov, Ildar R. and Saveliev, A.A.},
TITLE = {Geometry models design system $\Gamma$POM},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {537-538},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=537},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Hoffmann-Krieg-Bruckner/91,
AUTHOR = {Hoffmann, Berthold and Krieg-Br{\"u}ckner, Bernd},
TITLE = {The PROSPECTRA system},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {539-540},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=539},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Jeron/91a,
AUTHOR = {Jeron, Thierry},
TITLE = {Prototype of a verification tool},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {541-542},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=541},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Kroger-Schmitz/91,
AUTHOR = {Kr{\"o}ger, J{\"o}rg and Schmitz, Lothar},
TITLE = {IPG - An interactive parser generator},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {543-544},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=543},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Pimont/91,
AUTHOR = {Pimont, Simone},
TITLE = {A placement system for constrained blocks with flexible shapes},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {545-546},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=545},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Rayko-Vershinin-Romanenko/91,
AUTHOR = {Rayko, D. and Vershinin, Kirill and Romanenko, I.},
TITLE = {Algebraic program interpreter APREX2},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {547-548},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=547},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}