@incollection{Bertling-Ganzinger-Baumeister/87,
AUTHOR = {Bertling, H. and Ganzinger, H. and Baumeister, H.},
TITLE = {CEC},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {470},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=47},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bidoit-Capy-Choppy-Choquet-Kaplan-Schlienger-Voisin/87,
AUTHOR = {Bidoit, M. and Capy, F. and Choppy, C. and Choquet, M.-A. and Kaplan, S. and Schlienger, F. and Voisin, F.},
TITLE = {ASSPEGIQUE - an integrated specification environment},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {471},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=47},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Girard/87a,
AUTHOR = {Girard, N.},
TITLE = {An interactive, incremental and portable computer algebra system for $\lambda$-calculus and combinatory logic based on video edition and rewriting techniques},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {474},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=47},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goldsmith-Cox-Barrett/87,
AUTHOR = {Goldsmith, M. and Cox, A. and Barrett, G.},
TITLE = {An algebraic transformation system for OCCAM programs},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {481},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=48},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Book/87a,
AUTHOR = {Book, R.V.},
TITLE = {Towards a theory of relativizations: Positive relativizations},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {1-21},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kahn/87,
AUTHOR = {Kahn, G.},
TITLE = {Natural semantics},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {22-39},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=22},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mehlhorn-Kaufmann/87,
AUTHOR = {Mehlhorn, K. and Kaufmann, M.},
TITLE = {On local routing of two-terminal nets},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {40-52},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=40},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Aurenhammer-Imai/87,
AUTHOR = {Aurenhammer, F. and Imai, H.},
TITLE = {Geometric relations among Voronoi diagrams},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {53-65},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=53},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brock/87,
AUTHOR = {Brock, J.D.},
TITLE = {Finding the largest empty rectangle on a grated surface},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {66-75},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=66},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Doshi-Varman/87,
AUTHOR = {Doshi, K. and Varman, P.},
TITLE = {Efficient graph algorithms using limited communication on a fixed-size array of processors},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {76-87},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=76},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ravikumar-Ganesan-Lakshmanan/87,
AUTHOR = {Ravikumar, B. and Ganesan, K. and Lakshmanan, K.B.},
TITLE = {On selecting the largest element in spite of erroneous information},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {88-99},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=88},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lengauer-Wagner/87a,
AUTHOR = {Lengauer, T. and Wagner, K.W.},
TITLE = {The correlation between the complexities of the non-hierarchical and hierarchical versions of graph problems},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {100-113},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=100},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schoning/87,
AUTHOR = {Sch{\"o}ning, U.},
TITLE = {Graph isomorphism is in the low hierarchy},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {114-124},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=114},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geske-Huynh-Selman/87,
AUTHOR = {Geske, J.G. and Huynh, D.T. and Selman, A.L.},
TITLE = {A hierarchy theorem for almost everywhere complex sets with application to polynomial complexity degrees},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {125-135},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=125},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Balcazar/87,
AUTHOR = {Balc{\'a}zar, J.L.},
TITLE = {Self-reducibility},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {136-147},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=136},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cai/87,
AUTHOR = {Cai, J.},
TITLE = {Probability one separation of the Boolean hierarchy},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {148-158},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=148},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hromkovic/87a,
AUTHOR = {Hromkovi{\v{c}}, J.},
TITLE = {Reversal complexity of multicounter and multihead machines},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {159-168},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=159},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bertoni-Goldwurm-Sabadini/87,
AUTHOR = {Bertoni, A. and Goldwurm, M. and Sabadini, N.},
TITLE = {Computing the counting function of context-free languages},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {169-179},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=169},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Keranen/87,
AUTHOR = {Ker{\"a}nen, V.},
TITLE = {On the $k$-freeness of morphisms on free monoids},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {180-188},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=180},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schmidt/87a,
AUTHOR = {Schmidt, U.},
TITLE = {Avoidable patterns on 2 letters},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {189-197},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=189},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arfi/87,
AUTHOR = {Arfi, M.},
TITLE = {Polynomial operations on rational languages},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {198-206},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=198},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Habel-Kreowski/87,
AUTHOR = {Habel, A. and Kreowski, H.J.},
TITLE = {Some structural aspects of hypergraph languages generated by hyperedge replacement},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {207-219},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=207},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaplan-Pnueli/87,
AUTHOR = {Kaplan, S. and Pnueli, A.},
TITLE = {Specification and implementation of concurrently accessed data structures: An abstract data type approach},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {220-244},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=220},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beierle-Voss/87,
AUTHOR = {Beierle, C. and Vo{\ss}, A.},
TITLE = {On implementations of loose abstract data type specifications and their vertical composition},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {245-259},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=245},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diekert/87,
AUTHOR = {Diekert, V.},
TITLE = {Some remarks on presentations by finite Church-Rosser Thue systems},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {272-285},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=272},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ganzinger/87,
AUTHOR = {Ganzinger, H.},
TITLE = {Ground term confluence in parametric conditional equational specifications},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {286-298},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=286},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Astesiano-Reggio/87,
AUTHOR = {Astesiano, E. and Reggio, G.},
TITLE = {Comparing direct and continuation semantics styles for concurrent languages},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {311-322},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=311},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arvind-Biswas/87,
AUTHOR = {Arvind, V. and Biswas, S.},
TITLE = {Expressibility of first order logic with a nondeterministic inductive operator},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {323-335},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=323},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{van_Glabbeek/87,
AUTHOR = {van Glabbeek, R.J.},
TITLE = {Bounded nondeterminism and the approximation induction principle in process algebra},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {336-347},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=336},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Taubner-Vogler/87,
AUTHOR = {Taubner, D. and Vogler, W.},
TITLE = {The step failure semantics},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {348-359},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=348},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Howell-Huynh-Rosier-Yen/87,
AUTHOR = {Howell, R.R. and Huynh, D.T. and Rosier, L.E. and Yen, H.C.},
TITLE = {On the complexity of containment, equivalence and reachibility for finite and 2-dimensional vector addition systems with states},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {360-370},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=360},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pelz/87a,
AUTHOR = {Pelz, E.},
TITLE = {Closure properties of deterministic Petri nets},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {371-382},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=371},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Priese-Rehrmann-Willecke-Klemme/87,
AUTHOR = {Priese, L. and Rehrmann, R. and Willecke-Klemme, U.},
TITLE = {Some results on fairnes: the regular case},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {383-395},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=383},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Carstensen/87,
AUTHOR = {Carstensen, H.},
TITLE = {Decidability questions for fairness in Petri nets},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {396-407},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=396},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kunde/87a,
AUTHOR = {Kunde, M.},
TITLE = {Optimal sorting on multi-dimensionally mesh-connected computers},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {408-419},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=408},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Molitor/87,
AUTHOR = {Molitor, P.},
TITLE = {On the contact-minimization problem},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {420-431},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=420},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bar-Yehuda-Kutten-Wolfstahl-Zaks/87,
AUTHOR = {Bar-Yehuda, R. and Kutten, S. and Wolfstahl, Y. and Zaks, S.},
TITLE = {Making distributed spanning tree algorithms fault-resilient},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {432-444},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=432},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tel-Tan-van_Leeuwen/87,
AUTHOR = {Tel, G. and Tan, R.B. and van Leeuwen, J.},
TITLE = {The derivation of on-the-fly garbage collection algorithms from distributed termination detection protocols},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {445-455},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=445},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Santoro-Sidney-Sidney/87,
AUTHOR = {Santoro, N. and Sidney, J.B. and Sidney, S.J.},
TITLE = {On the expected complexity of distributed selection},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {456-467},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=456},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bert-Drabik-Echahed/87,
AUTHOR = {Bert, D. and Drabik, P. and Echahed, R.},
TITLE = {LPG: A generic, logic and functional programming language},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {468-469},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=468},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bousdira-Remy/87,
AUTHOR = {Bousdira, W. and Remy, J.-L.},
TITLE = {REVEUR4: A laboratory for conditional rewriting},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {472-473},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=472},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hussmann/87,
AUTHOR = {Hussmann, H.},
TITLE = {The Passau RAP system: Rapid prototyping for algebraic specifications},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {475-476},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=475},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lemoine-Jacquart-Zanon/87,
AUTHOR = {Lemoine, M. and Jacquart, R. and Zanon, G.},
TITLE = {SPRAC: A software engineering environment},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {477-478},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=477},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fribourg/87,
AUTHOR = {Fribourg, L.},
TITLE = {SLOG - a logic interpreter for equational clauses},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {479-480},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=479},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lescanne/87,
AUTHOR = {Lescanne, P.},
TITLE = {REVE a rewrite rule laboratory},
BOOKTITLE = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, STACS'87 (Passau, Germany, February 19-21, 1987)},
SERIES = {LNCS},
VOLUME = {247},
PAGES = {482-483},
YEAR = {1987},
EDITOR = {Brandenburg, F.J. and Vidal-Naquet, G. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=247&spage=482},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}