@incollection{Huet/87,
AUTHOR = {Huet, G{\'e}rard},
TITLE = {The calculus of constructions},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {372},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gurevich/87a,
AUTHOR = {Gurevich, Yuri},
TITLE = {Algebraic operational semantics},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {1-2},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Subramanian-Van-Siromoney/87,
AUTHOR = {Subramanian, K.G. and Van, Do Long and Siromoney, R.},
TITLE = {On ambiguity of DTOL systems},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {3-14},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Culik-Linna/87,
AUTHOR = {Culik II, K. and Linna, M.},
TITLE = {The equivalence problem for n-tape finite automata with simple cycles},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {15-25},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ibarra-Ravikumar/87,
AUTHOR = {Ibarra, O.H. and Ravikumar, B.},
TITLE = {Relating the degree of ambiguity of finite automata to the succinctnes of their representation},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {26-43},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Parigot/87,
AUTHOR = {Parigot, M.},
TITLE = {Automata, games, and positive monadic theories of trees},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {44-57},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Stewart/87a,
AUTHOR = {Stewart, I.A.},
TITLE = {An algorithm for colouring perfect planar graphs},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {58-64},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sastry-Jayakumar-Madhavan/87,
AUTHOR = {Sastry, P.S. and Jayakumar, N. and Madhavan, C.E. Veni},
TITLE = {Efficient algorithms for domination and Hamilton circuit problems on permutation graphs},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {65-78},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lingas-Proskurowski/87,
AUTHOR = {Lingas, A. and Proskurowski, A.},
TITLE = {Fast parallel algorithms for the subgraph homeomorphism and the subgraph isomorphism problem for classes of planar graphs},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {79-94},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=79},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Levcopoulos/87a,
AUTHOR = {Levcopoulos, C.},
TITLE = {Improved bounds for covering general polygons with rectangles},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {95-102},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Parrow/87,
AUTHOR = {Parrow, J.},
TITLE = {Submodule construction as equation solving in CCS},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {103-123},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=103},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bhaskar-Buckley/87,
AUTHOR = {Bhaskar, S. and Buckley, G.N.},
TITLE = {Computations in undistinguished networks},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {124-137},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=124},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bagrodia/87,
AUTHOR = {Bagrodia, R.},
TITLE = {A distributed algorithm to implement N-party rendezvous},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {138-152},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=138},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baeten-Glabbeek/87,
AUTHOR = {Baeten, J.C.M. and Glabbeek, R.J. van},
TITLE = {Merge and termination in process algebra},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {153-172},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=153},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chandy-Misra/87,
AUTHOR = {Chandy, K.M. and Misra, Jayadev},
TITLE = {Parallelism and programming},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {173-194},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=173},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gannett-Kothari-Yen/87,
AUTHOR = {Gannett, E. and Kothari, S.C. and Yen, H.-C.},
TITLE = {On optimal parallelization of sorting networks},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {195-206},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=195},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ogunyode/87,
AUTHOR = {Ogunyode, O.A.},
TITLE = {Parallel algorithms for approximate edge coloring of simple graphs},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {207-225},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=207},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rajasekaran-Tsantilas/87,
AUTHOR = {Rajasekaran, S. and Tsantilas, T.},
TITLE = {On optimal randomized routing algorithm for the mesh and a class of efficient mesh-like routing networks},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {226-241},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=226},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dublish-Maheshwari/87,
AUTHOR = {Dublish, P. and Maheshwari, S.N.},
TITLE = {An $O(n^2)$ algorithm for fan-out free query optimization},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {242-264},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=242},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hansdah-Patnaik/87,
AUTHOR = {Hansdah, R.C. and Patnaik, L.M.},
TITLE = {Weak consistency of read-only transactions},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {265-281},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=265},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pramanik-Vineyard/87,
AUTHOR = {Pramanik, S. and Vineyard, D.},
TITLE = {Optimizing join queries in distributed databases},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {282-304},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=282},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mohan-Srivas/87,
AUTHOR = {Mohan, C.K. and Srivas, M.K.},
TITLE = {Reasoning in systems of equations and inequations},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {305-325},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=305},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Naish/87,
AUTHOR = {Naish, Lee},
TITLE = {Specification = program + types},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {326-339},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=326},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Blair-Subrahmanian/87,
AUTHOR = {Blair, H.A. and Subrahmanian, V.S.},
TITLE = {Paraconsistent logic programming},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {340-360},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=340},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ramanujam/87,
AUTHOR = {Ramanujam, R.},
TITLE = {Semantics of distributed horn clause programs},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {361-371},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=361},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gries/87,
AUTHOR = {Gries, David},
TITLE = {Modules for Re-use},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {373-375},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=373},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Neilson/87,
AUTHOR = {Neilson, D.},
TITLE = {Hierarchical refinement of a Z specification},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {376-399},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=376},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Laville/87,
AUTHOR = {Laville, A.},
TITLE = {Lazy pattern matching in the ML language},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {400-419},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=400},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pettorossi/87a,
AUTHOR = {Pettorossi, A.},
TITLE = {Program development using lambda abstraction},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {420-434},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=420},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Santha/87a,
AUTHOR = {Santha, M.},
TITLE = {Relativized Arthur-Merlin versus Merlin-Arthur games},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {435-442},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=435},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arvind-Biswas/87a,
AUTHOR = {Arvind, V. and Biswas, S.},
TITLE = {On certain bandwidth restricted versions of the satisfiability problem of propositional CNF formulas},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {456-469},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=456},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kumar-Malhotra/87,
AUTHOR = {Kumar, A. and Malhotra, V.M.},
TITLE = {A lock-ahead interpreter for sequential prolog and its implementation},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {470-484},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=470},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sanyal-Biswas-Malhotra/87,
AUTHOR = {Sanyal, A. and Biswas, S. and Malhotra, V.M.},
TITLE = {Extension of weakest precondition formalism to a low level language},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {485-499},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=485},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nori-Kumar-Kumar/87,
AUTHOR = {Nori, K.V. and Kumar, S. and Kumar, M. Pavan},
TITLE = {Retrospection on the PQCC compiler structure},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {500-527},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=500},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Parikh/87,
AUTHOR = {Parikh, Rohit},
TITLE = {Some recent applications of knowledge},
BOOKTITLE = {Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'87 (Pune, India, December 17-19, 1987)},
SERIES = {LNCS},
VOLUME = {287},
PAGES = {528-539},
YEAR = {1987},
EDITOR = {Nori, Kesav V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=287&spage=528},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Babikov/87,
AUTHOR = {Babikov, G.V.},
TITLE = {On direct methods of realization of normal algorithms by Turing machines},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {41},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kuzjurin/87,
AUTHOR = {Kuzjurin, N.N.},
TITLE = {On one approximate algorithm for solving systems of linear inequalities with boolean variables},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {272},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Matijasevich/87,
AUTHOR = {Matijasevich, Yu.},
TITLE = {Diophantine complexity},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {301},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Taimanov/87,
AUTHOR = {Taimanov, V.A.},
TITLE = {On cartesian powers of $P_2$},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {435},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ablayev/87,
AUTHOR = {Ablayev, F.M.},
TITLE = {Possibilities of probabilistic on-line counting machines},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {1-4},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Agibalov/87,
AUTHOR = {Agibalov, G.P.},
TITLE = {Functional systems on semilattices},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {5-9},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alekseyev/87,
AUTHOR = {Alekseyev, V.B.},
TITLE = {Recognition of properties in $K$-valued logic and approximate algorithms},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {10-13},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alexanyan/87,
AUTHOR = {Alexanyan, A.A.},
TITLE = {Linearized disjunctive normal forms of boolean functions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {14-16},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alpin-Kotchkarev-Mubarakzianov/87,
AUTHOR = {Alpin, Ju.A. and Kotchkarev, B.S. and Mubarakzianov, R.G.},
TITLE = {On a stable generating of random sequences by probabilistic automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {17-20},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alyoshin/87,
AUTHOR = {Alyoshin, S.V.},
TITLE = {Automata classes induced by Post classes},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {21-23},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Andreev/87,
AUTHOR = {Andreev, A.E.},
TITLE = {Effective lower bounds for complexity of some classes of schemes},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {24-29},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Anisimov-Oleshchuk/87,
AUTHOR = {Anisimov, A.V. and Oleshchuk, V.A.},
TITLE = {Stable finite automata mappings and Church-Rosser systems},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {30-33},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arslanov/87,
AUTHOR = {Arslanov, M.M.},
TITLE = {The recursion theorem, approximations, and clasifying index sets of recursively enumerable sets},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {34-37},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Astakhov/87,
AUTHOR = {Astakhov, A.D.},
TITLE = {Duality of functions and data in algorithms description},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {38-40},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Babin/87,
AUTHOR = {Babin, D.N.},
TITLE = {Verbal operation on automaton},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {42-44},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Barashko/87,
AUTHOR = {Barashko, A.S.},
TITLE = {The new way of probabilistic compact testing},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {45-47},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baryshev-Zhiltzova-Markov/87,
AUTHOR = {Baryshev, M.Yu. and Zhil'tzova, L.P. and Markov, A.A.},
TITLE = {Computational problems in alphabetic coding theory},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {48-50},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bogomolov/87,
AUTHOR = {Bogomolov, S.A.},
TITLE = {On the synthesis of ``irredundant'' automata from a finite set of experiments},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {51-52},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bolotov/87,
AUTHOR = {Bolotov, A.A.},
TITLE = {On the equivalence problem of states for cellular automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {53-54},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Budach/87,
AUTHOR = {Budach, L.},
TITLE = {Arsenals and lower bounds},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {55-64},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bukharajev-Enikeev-Makarov/87,
AUTHOR = {Bukharajev, R.G. and Enikeev, A.I. and Makarov, I.I.},
TITLE = {Chain-like model of programs communication},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {65-67},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bukharajev-Nasirov/87,
AUTHOR = {Bukharajev, R.G. and Nasirov, I.R.},
TITLE = {Structor automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {68-73},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buyevich/87,
AUTHOR = {Buyevich, B.A.},
TITLE = {On $A$-completeness for some classes of bounded determinate functions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {74-77},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cejtlin-Jushchenko/87,
AUTHOR = {Cejtlin, G.E. and Jushchenko, E.L.},
TITLE = {Structure synthesis of parallel programs (methodology and tools)},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {78-81},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chlebus-Chrobak-Diks/87,
AUTHOR = {Chlebus, B.S. and Chrobak, M. and Diks, K.},
TITLE = {Saturating flows in networks},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {82-91},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cuhrov/87,
AUTHOR = {Cuhrov, I.P.},
TITLE = {On the number of DNF maximal relatively arbitrary measures of complexity},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {92-94},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=92},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dassow-Jurgensen/87,
AUTHOR = {Dassow, J. and J{\"u}rgensen, H.},
TITLE = {Soliton automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {95-102},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Enikeev/87,
AUTHOR = {Enikeev, A.I.},
TITLE = {On development of dialogue concurrent systems},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {103-108},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=103},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ermakov-Pokhodzey/87,
AUTHOR = {Ermakov, S.M. and Pokhodzey, B.B.},
TITLE = {Discrete analogue of the Neumann method is not optimal},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {109-112},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ermakov-Rasulov/87,
AUTHOR = {Ermakov, S.M. and Rasulov, A.S.},
TITLE = {A simplest probability model of asynchronous iterations},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {113-115},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=113},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ershov-Goncharov-Sviridenko/87,
AUTHOR = {Ershov, Yu.L. and Goncharov, S.S. and Sviridenko, D.I.},
TITLE = {Semantic foundations of programming},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {116-122},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=116},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Evtushenko/87,
AUTHOR = {Evtushenko, N.V.},
TITLE = {Conditions for existence of nontrivial parallel decompositions of sequential machines},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {123-126},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=123},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Frolov/87,
AUTHOR = {Frolov, A.B.},
TITLE = {On the digital system diagnostics under uncertainty},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {127-131},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=127},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gabbasov/87,
AUTHOR = {Gabbasov, N.Z.},
TITLE = {The implicating vector problem and its applications to probabilistic and linear automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {132-136},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=132},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gasanov/87,
AUTHOR = {Gasanov, E.E.},
TITLE = {Some asymptotic evaluations of complexity of information searching},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {137-139},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=137},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gashkov/87,
AUTHOR = {Gashkov, S.B.},
TITLE = {On the complexity of approximate realization of continuous functions by schemes and formulas in continuous bases},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {140-144},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=140},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gashkov-Sidelnikov/87,
AUTHOR = {Gashkov, I.B. and Sidelnikov, V.M.},
TITLE = {Codes, connected with a fraction linear functions group and their decoding},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {145-149},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=145},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geidmanis/87,
AUTHOR = {Geidmanis, D.},
TITLE = {On the capabilities of alternating and nondeterministic multitape automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {150-154},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=150},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gibbons-Rytter/87,
AUTHOR = {Gibbons, A. and Rytter, W.},
TITLE = {Fast parallel algorithms for optimal edge-colouring of some tree-structured graphs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {155-162},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=155},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Grinchuk/87,
AUTHOR = {Grinchuk, M.I.},
TITLE = {On the complexity of elementary periodical functions realized by switching circuits},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {163-166},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=163},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gronau/87,
AUTHOR = {Gronau, H.-D.O.F.},
TITLE = {Efficient algorithmic construction of designs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {167-171},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=167},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Grunsky/87,
AUTHOR = {Grunsky, I.S.},
TITLE = {A characterization of sequential machines by means of their behaviour fragments},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {180-184},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=180},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hartmanis/87,
AUTHOR = {Hartmanis, J.},
TITLE = {Some observations about $NP$ complete sets},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {185-196},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=185},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hemmerling/87,
AUTHOR = {Hemmerling, A.},
TITLE = {Three-dimensional traps and barrages for cooperating automata (extended abstract)},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {197-203},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=197},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Indermark-Klaeren/87,
AUTHOR = {Indermark, K. and Klaeren, H.},
TITLE = {Efficient implementation of structural recursion},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {204-213},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=204},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Iordanskii/87,
AUTHOR = {Iordanskii, M.A.},
TITLE = {Minimal numberings of the vertices of trees-approximate approach},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {214-217},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=214},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jantzen-Kudlek-Lange-Persen/87,
AUTHOR = {Jantzen, M. and Kudlek, M. and Lange, K.-J. and Persen, H.},
TITLE = {Dyck$_1$-reductions of context-free languages},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {218-227},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jukna/87,
AUTHOR = {Jukna, S.P.},
TITLE = {Information flow and width of branching programs (extended abstract)},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {228-230},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=228},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karahanjan-Sapozhenko/87,
AUTHOR = {Karahanjan, L.M. and Sapozhenko, A.A.},
TITLE = {On some operations of partial monotone boolean function simplifying},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {231-233},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karpova/87,
AUTHOR = {Karpova, N.A.},
TITLE = {On complexity of computations with limited memory},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {234-235},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=234},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kolyada/87,
AUTHOR = {Kolyada, K.V.},
TITLE = {On the problem of completeness for the regular mappings},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {236-238},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=236},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Korshunov/87,
AUTHOR = {Korshunov, A.D.},
TITLE = {The number and the structure of typical Sperner and $k$-non-separable families of subsets of a finite set},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {239-243},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=239},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kossovsky/87,
AUTHOR = {Kossovsky, N.K.},
TITLE = {A criterion of polynomial lower bounds of combinational complexity},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {244-245},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=244},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kotov-Cherkasova/87,
AUTHOR = {Kotov, V.E. and Cherkasova, L.A.},
TITLE = {On generalized process logic},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {246-250},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=246},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kowalczyk-Urzycyn/87,
AUTHOR = {Kowalczyk, W. and Urzycyn, P.},
TITLE = {Verification of programs with higher-order arrays},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {251-258},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=251},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kozlovskiy/87,
AUTHOR = {Kozlovskiy, V.A.},
TITLE = {On the complexity of analyzing experiments for checking local faults of an automaton},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {259-262},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=259},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kriegel-Waack/87,
AUTHOR = {Kriegel, K. and Waack, S.},
TITLE = {Exponential lower bounds for real-time branching programs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {263-267},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=263},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kudrjavtzev/87,
AUTHOR = {Kudrjavtzev, V.B.},
TITLE = {On the conditions of supplementicity in functional systems},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {268-271},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=268},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kuznetsov-Nurmeev-Salimov/87,
AUTHOR = {Kuznetsov, S.E. and Nurmeev, N.N. and Salimov, F.I.},
TITLE = {The problem of minimal implicating vector},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {273-278},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=273},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Latypov/87,
AUTHOR = {Latypov, R.Kh.},
TITLE = {Built-in self-testing of logic circuits using imperfect duplication},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {279-283},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=279},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Letichevsky/87,
AUTHOR = {Letichevsky, A.A.},
TITLE = {Algebrae with approximation and recursive data structures},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {284-287},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=284},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lomazova/87,
AUTHOR = {Lomazova, I.A.},
TITLE = {Procedural implementation of algebraic specifications of abstract data types},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {288-292},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=288},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lozkin-Koshkin/87,
AUTHOR = {Lozkin, S.A. and Koshkin, M.A.},
TITLE = {On the complexity of realizing some systems of the functions of the algebra of logic by contact and generalized contact circuits},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {293-296},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=293},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lozkin-Semenov/87,
AUTHOR = {Lozkin, S.A. and Semenov, A.A.},
TITLE = {On construction of a complete system of compression functions and on complexity of monotone realization of threshold boolean functions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {297-300},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=297},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meinel/87,
AUTHOR = {Meinel, C.},
TITLE = {The power of nondeterminism in polynomial-size bounded-width branching programs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {302-309},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=302},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Menshikov-Zuev/87,
AUTHOR = {Men'shikov, M.V. and Zuev, S.A.},
TITLE = {Estimation algorithms of infinite graphs percolation threshold},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {310-313},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=310},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mikhailov/87,
AUTHOR = {Mikhailov, V.Yu.},
TITLE = {A solving of problem on technological models},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {314-317},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=314},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mints/87,
AUTHOR = {Mints, G.E.},
TITLE = {Some formal systems of the logic programming},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {318-322},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=318},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Moshkov/87,
AUTHOR = {Moshkov, M.Iu.},
TITLE = {On the programs with finite development},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {323-327},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=323},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Movsisian-Margarian/87,
AUTHOR = {Movsisian, G.L. and Margarian, Zh.G.},
TITLE = {$D$-representing code problem solution},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {328-331},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=328},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mubarakzianov/87,
AUTHOR = {Mubarakzianov, R.G.},
TITLE = {Metric properties of random sequence},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {332-333},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=332},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mukhin/87,
AUTHOR = {Mukhin, V.I.},
TITLE = {Adaptive strategies for partially observable controlled random series},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {334-338},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=334},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nasyrov/87,
AUTHOR = {Nasyrov, Il.R.},
TITLE = {The degrees of nondeterminism in pushdown automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {339-342},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=339},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Noskov/87,
AUTHOR = {Noskov, V.N.},
TITLE = {Statistically effective algorithms for automata control},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {343-346},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=343},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pereyaslavsky/87,
AUTHOR = {Pereyaslavsky, V.I.},
TITLE = {Linear test procedures of recognition},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {347-348},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=347},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Perfilyeva/87,
AUTHOR = {Perfilyeva, I.G.},
TITLE = {Evaluation of cardinalities of some families of $\xi$-classes in $P{\aleph_0}$},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {349-353},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=349},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Podkolzin/87,
AUTHOR = {Podkolzin, A.S.},
TITLE = {On the temporal complexity of boolean mappings realizations in two-dimensional homogeneous automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {354-358},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=354},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Podlovcenko/87,
AUTHOR = {Podlov{\v{c}}enko, R.I.},
TITLE = {On approximate solution of the problem of equivalent transformations of programs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {359-363},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=359},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rajasekaran-Reif/87,
AUTHOR = {Rajasekaran, S. and Reif, J.H.},
TITLE = {Randomized parallel computation},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {364-376},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=364},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Redkin/87,
AUTHOR = {Redkin, N.P.},
TITLE = {On checking correctness of some classes of control systems},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {377-382},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=377},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rystsov/87,
AUTHOR = {Rystsov, I.K.},
TITLE = {The parallel complexity of some arithmetic and algebraic operations},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {383-385},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=383},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Safarian/87,
AUTHOR = {Safarian, A.A.},
TITLE = {On difficulties of solving a problem of decomposition of the system of boolean equations},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {386-388},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=386},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sapozhenko/87,
AUTHOR = {Sapozhenko, A.A.},
TITLE = {The number of fuzzy monotone functions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {389-390},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=389},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sazonov/87,
AUTHOR = {Sazonov, V.Yu.},
TITLE = {Bounded set theory and polynomial computability},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {391-395},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=391},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Selivanov/87,
AUTHOR = {Selivanov, V.L.},
TITLE = {Index sets of factor-objects of the Post numbering},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {396-400},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=396},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Shkalikova/87,
AUTHOR = {Shkalikova, N.A.},
TITLE = {On realization of boolean functions by schemes consisting of checked elements},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {401-405},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=401},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sholomov/87,
AUTHOR = {Sholomov, L.A.},
TITLE = {The complexity of the sequential choice mechanism},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {406-408},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=406},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Soloviev/87,
AUTHOR = {Soloviev, V.D.},
TITLE = {Nondeterministic finite algorithmic procedures as the models of abstract computability},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {409-411},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=409},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Solovieva/87,
AUTHOR = {Solovieva, V.R.},
TITLE = {The reducibility of random sequences by automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {412-413},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=412},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Stepanov-Shparlinskiy/87,
AUTHOR = {Stepanov, S.A. and Shparlinskiy, I.E.},
TITLE = {On structure complexity of normal basis of finite field},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {414-416},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=414},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Stetsenko/87,
AUTHOR = {Stetsenko, V.A.},
TITLE = {On comparison of boolean bases},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {417-419},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=417},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Stohr/87,
AUTHOR = {St{\"o}hr, E.},
TITLE = {A tradeoff between pagenumber and width of book embeddings of graphs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {420-423},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=420},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Strogalov/87,
AUTHOR = {Strogalov, A.S.},
TITLE = {On metric properties of automata and $\epsilon$-approximation of automaton mappings},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {424-427},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=424},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sumenkov/87,
AUTHOR = {Sumenkov, E.A.},
TITLE = {Algorithmization of obtaining the converse comparison theorems based on solving a logical equation},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {428-431},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=428},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sytnik/87,
AUTHOR = {Sytnik, A.A.},
TITLE = {Synthesis of universal finite automats},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {432-434},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=432},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Taimina/87,
AUTHOR = {Taimina, D.},
TITLE = {Complexity gaps of Turing machines on infinite words},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {436-439},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=436},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tel/87,
AUTHOR = {Tel, G.},
TITLE = {Distributed infimum approximation},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {440-447},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=440},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Thalheim/87,
AUTHOR = {Thalheim, B.},
TITLE = {On the number of keys in relational databases},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {448-455},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=448},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ugolnikov/87,
AUTHOR = {Ugol'nikov, A.B.},
TITLE = {Complexity and depths of formulas realizing functions from closed classes},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {456-461},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=456},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Uhlig/87,
AUTHOR = {Uhlig, D.},
TITLE = {Reliable networks from unreliable gates with almost minimal complexity},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {462-469},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=462},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Validov/87,
AUTHOR = {Validov, F.I.},
TITLE = {On the standard and pseudostandard star height of regular sets},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {470-471},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=470},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vassiljev/87,
AUTHOR = {Vassiljev, S.N.},
TITLE = {To automation of theorem synthesis},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {472-476},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=472},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vorobeva/87,
AUTHOR = {Vorobeva, E.G.},
TITLE = {On efficiency of prefix word-encoding of binary messages},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {477-478},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=477},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Voronkov/87,
AUTHOR = {Voronkov, A.A.},
TITLE = {Deductive program synthesis and Markov's principle},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {479-482},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=479},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Valiant/87,
AUTHOR = {Valiant, L.G.},
TITLE = {Recent developments in the theory of learning},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {563},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pitt-Smith/87,
AUTHOR = {Pitt, L. and Smith, C.H.},
TITLE = {Probability and plurality for aggregations of learning machines},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {1-10},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nait_Abdallah/87,
AUTHOR = {Nait Abdallah, M.A.},
TITLE = {Logic programming with ions},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {11-20},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dybjer/87,
AUTHOR = {Dybjer, P.},
TITLE = {Inverse image analysis},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {21-30},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Holldobler/87,
AUTHOR = {H{\"o}lldobler, S.},
TITLE = {A unification algorithm for confluent theories},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {31-41},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diekert/87a,
AUTHOR = {Diekert, V.},
TITLE = {On the Knuth-Bendix completion for concurrent processes},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {42-53},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hsiang-Rusinowitch/87,
AUTHOR = {Hsiang, J. and Rusinowitch, M.},
TITLE = {On word problems in equational theories},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {54-71},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Shyamasundar-Narayana-Pitassi/87,
AUTHOR = {Shyamasundar, R.K. and Narayana, K.T. and Pitassi, T.},
TITLE = {Semantics for nondeterministic asynchronous broadcast networks},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {72-83},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baeten-Glabbeek/87a,
AUTHOR = {Baeten, J.C.M. and Glabbeek, R.J. van},
TITLE = {Another look at abstraction in process algebra},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {84-94},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gerth-Boucher/87,
AUTHOR = {Gerth, R. and Boucher, A.},
TITLE = {A timed failures model for extended communicating processes},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {95-114},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Graf-Sifakis/87,
AUTHOR = {Graf, S. and Sifakis, J.},
TITLE = {Readiness semantics for regular processes with silent actions},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {115-125},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=115},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Larsen-Milner/87,
AUTHOR = {Larsen, K.G. and Milner, R.},
TITLE = {Verifying a protocol using relativized bisimulation},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {126-135},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karhumaki/87,
AUTHOR = {Karhum{\"a}ki, J.},
TITLE = {On recent trends in formal language theory},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {136-162},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=136},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Barrington-Therien/87,
AUTHOR = {Barrington, D.A. and Th{\'e}rien, D.},
TITLE = {Non-uniform automata over groups},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {163-173},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=163},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beauquier/87,
AUTHOR = {Beauquier, D.},
TITLE = {Minimal automaton of a rational cover},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {174-189},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=174},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Choffrut-Duboc/87,
AUTHOR = {Choffrut, C. and Duboc, C.},
TITLE = {A star-height problem in free monoids with partial commutations},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {190-201},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=190},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Johnson/87a,
AUTHOR = {Johnson, J.H.},
TITLE = {Single-valued finite transduction},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {202-211},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=202},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kuich/87,
AUTHOR = {Kuich, W.},
TITLE = {The Kleene and the Parikh theorem in complete semirings},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {212-225},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=212},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Metivier/87,
AUTHOR = {M{\'e}tivier, Y.},
TITLE = {An algorithm for computing asynchronous automata in the case of acyclic non-commutation graphs},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {226-236},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=226},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pin/87,
AUTHOR = {Pin, J.E.},
TITLE = {On the languages accepted by finite reversible automata},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {237-249},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=237},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Aalbersberg-Hoogeboom/87,
AUTHOR = {Aalbersberg, I.J. and Hoogeboom, H.J.},
TITLE = {Decision problems for regular trace languages},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {250-259},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=250},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chytil-Demner/87,
AUTHOR = {Chytil, M.P. and Demner, J.},
TITLE = {Panic mode without panic},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {260-268},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=260},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hafer-Thomas/87,
AUTHOR = {Hafer, T. and Thomas, W.},
TITLE = {Computation tree logic $CTL^*$ and path quantifiers in the monadic theory of the binary tree},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {269-279},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=269},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Josko/87,
AUTHOR = {Josko, B.},
TITLE = {Modelchecking of $CTL$ formulae under liveness assumptions},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {280-289},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=280},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lodaya-Thiagarajan/87,
AUTHOR = {Lodaya, K. and Thiagarajan, P.S.},
TITLE = {A modal logic for a subclass of event structures},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {290-303},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=290},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hagerup-Chrobak-Diks/87,
AUTHOR = {Hagerup, T. and Chrobak, M. and Diks, K.},
TITLE = {Parallel 5-colouring of planar graphs},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {304-313},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=304},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Landau-Schieber-Vishkin/87,
AUTHOR = {Landau, G.M. and Schieber, B. and Vishkin, U.},
TITLE = {Parallel construction of a suffix tree},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {314-325},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=314},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Li-Yesha/87,
AUTHOR = {Li, M. and Yesha, Y.},
TITLE = {The probabilistic and deterministic parallel complexity of symmetric functions},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {326-335},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=326},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ramesh-Verma-Krishnaprasad-Ramakrishnan/87,
AUTHOR = {Ramesh, R. and Verma, R.M. and Krishnaprasad, T. and Ramakrishnan, I.V.},
TITLE = {Term matching on parallel computers},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {336-346},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=336},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schwartz-Sharir/87,
AUTHOR = {Schwartz, J.T. and Sharir, M.},
TITLE = {On the bivariate function minimization problem and its applications to motion planning},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {357-363},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=357},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Edelsbrunner-Rote-Welzl/87,
AUTHOR = {Edelsbrunner, H. and Rote, G. and Welzl, E.},
TITLE = {Testing the necklace condition for shortest tours and optimal factors in the plane},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {364-375},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=364},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Levcopoulos-Lingas-Sack/87,
AUTHOR = {Levcopoulos, C. and Lingas, A. and Sack, J.-R.},
TITLE = {Nearly optimal heuristics for binary search trees with geometric generalizations},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {376-385},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=376},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paz-Schnorr/87,
AUTHOR = {Paz, A. and Schnorr, C.P.},
TITLE = {Approximating integer lattices by lattices with cyclic factor groups},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {386-393},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=386},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cai-Meyer/87,
AUTHOR = {Cai, J. and Meyer, G.E.},
TITLE = {On the complexity of graph critical uncolorability},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {394-403},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=394},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gambosi-Nesetril-Talamo/87,
AUTHOR = {Gambosi, G. and Ne{\v{s}}et{\v{r}}il, J. and Talamo, M.},
TITLE = {Posets, boolean representations and quick path searching},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {404-424},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=404},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Miyano/87b,
AUTHOR = {Miyano, S.},
TITLE = {The lexicographically first maximal subgraph problems: $P$-completeness and $NC$ algorithms},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {425-434},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=425},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Muller/87a,
AUTHOR = {M{\"u}ller, N.Th.},
TITLE = {Uniform computational complexity of Taylor series},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {435-444},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=435},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Marchetti-Spaccamela-Vercellis/87,
AUTHOR = {Marchetti-Spaccamela, A. and Vercellis, C.},
TITLE = {Efficient on-line algorithms for the knapsack problem},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {445-456},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=445},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dietzfelbinger/87,
AUTHOR = {Dietzfelbinger, M.},
TITLE = {Lower bounds for sorting of sums},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {457-466},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=457},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Aggarwal-Vitter/87,
AUTHOR = {Aggarwal, A. and Vitter, J.S.},
TITLE = {The I/O complexity of sorting and related problems},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {467-478},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=467},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mehlhorn-Naher-Alt/87,
AUTHOR = {Mehlhorn, K. and N{\"a}her, S. and Alt, H.},
TITLE = {A lower bound for the complexity of the union-split-find problem},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {479-488},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=479},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tsakalidis/87,
AUTHOR = {Tsakalidis, A.K.},
TITLE = {The nearest common ancestor in a dynamic tree},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {489-498},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=489},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Finkel/87,
AUTHOR = {Finkel, A.},
TITLE = {A generalization of the procedure of Karp and Miller to well structured transition systems},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {499-508},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=499},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Howell-Rosier/87,
AUTHOR = {Howell, R.R. and Rosier, L.E.},
TITLE = {Completeness results for reachability, containment, and equivalence with respect to conflict-free vector replacement systems},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {509-520},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=509},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kreowski/87,
AUTHOR = {Kreowski, H.-J.},
TITLE = {Partial algebras flow from algebraic specifications},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {521-530},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=521},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lange-Jenner-Kirsig/87,
AUTHOR = {Lange, K.-J. and Jenner, B. and Kirsig, B.},
TITLE = {The logarithmic alternation hierarchy collapses: $A\Sigma_2^{\cal L} = A\Pi_2^{\cal L}$},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {531-541},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=531},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beaudry/87,
AUTHOR = {Beaudry, M.},
TITLE = {Testing membership in commutative transformation semigroups},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {542-549},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=542},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ibarra-Jiang/87,
AUTHOR = {Ibarra, O.H. and Jiang, T.},
TITLE = {On the computing power of one-way cellular arrays},
BOOKTITLE = {Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)},
SERIES = {LNCS},
VOLUME = {267},
PAGES = {550-562},
YEAR = {1987},
EDITOR = {Ottmann, Th.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=550},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Girault-Chatelain-Haddad/87,
AUTHOR = {Girault, C. and Chatelain, C. and Haddad, S.},
TITLE = {Specification and properties of a cache coherence protocol model},
BOOKTITLE = {Advances in Petri nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {1-20},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Howell-Rosier/87b,
AUTHOR = {Howell, Rodney R. and Rosier, Louis E.},
TITLE = {Recent results on the complexity of problems related to Petri nets},
BOOKTITLE = {Advances in Petri nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {45-72},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Haddad-Girault/87,
AUTHOR = {Haddad, S. and Girault, C.},
TITLE = {Algebraic structure of flows of a regular coloured net},
BOOKTITLE = {Advances in Petri nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {73-88},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Janicki-Koutny/87,
AUTHOR = {Janicki, R. and Koutny, M.},
TITLE = {On equivalent execution semantics of concurrent systems},
BOOKTITLE = {Advances in Petri nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {89-103},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kruckeberg-Jaxy/87,
AUTHOR = {Kr{\"u}ckeberg, F. and Jaxy, M.},
TITLE = {Mathematical methods for calculating invariants in Petri nets},
BOOKTITLE = {Advances in Petri Nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {104-131},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=104},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ajmone_Marsan-Chiola/87,
AUTHOR = {Ajmone Marsan, M. and Chiola, G.},
TITLE = {On Petri nets with deterministic and exponentially distributed firing times},
BOOKTITLE = {Advances in Petri Nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {132-145},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=132},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ajmone_Marsan-Chiola-Fumagalli/87,
AUTHOR = {Ajmone Marsan, M. and Chiola, G. and Fumagalli, A.},
TITLE = {An accurate performance model of CSMA/CD bus LAN},
BOOKTITLE = {Advances in Petri Nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {146-161},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=146},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meijer/87,
AUTHOR = {Meijer, E.},
TITLE = {Petri net models for the $\lambda$-calculus},
BOOKTITLE = {Advances in Petri Nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {162-180},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=162},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Merceron/87,
AUTHOR = {Merceron, A.},
TITLE = {Fair processes},
BOOKTITLE = {Advances in Petri Nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {181-195},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=181},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Olderog/87,
AUTHOR = {Olderog, E.-R.},
TITLE = {Operational Petri net semantics for CCSP},
BOOKTITLE = {Advances in Petri Nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {196-223},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=196},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pelz/87,
AUTHOR = {Pelz, E.},
TITLE = {Infinitary languages of Petri nets and logical sentences},
BOOKTITLE = {Advances in Petri Nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {224-237},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=224},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reisig/87b,
AUTHOR = {Reisig, W.},
TITLE = {A strong part of concurrency},
BOOKTITLE = {Advances in Petri Nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {238-272},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=238},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Petri-Smith/87,
AUTHOR = {Petri, C.A. and Smith, E.},
TITLE = {Concurrency and continuity},
BOOKTITLE = {Advances in Petri Nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {273-292},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=273},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vautherin/87,
AUTHOR = {Vautherin, J.},
TITLE = {Parallel systems specifications with coloured Petri nets and algebraic specifications},
BOOKTITLE = {Advances in Petri Nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {293-308},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=293},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Drees-Gomm-Plunnecke-Reisig-Walter/87,
AUTHOR = {Drees, S. and Gomm, D. and Pl{\"u}nnecke, H. and Reisig, W. and Walter, R.},
TITLE = {Bibliography of Petri nets},
BOOKTITLE = {Advances in Petri Nets 1987},
SERIES = {LNCS},
VOLUME = {266},
PAGES = {309-451},
YEAR = {1987},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=266&spage=309},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jensen/87a,
AUTHOR = {Jensen, K.},
TITLE = {Computer tools for construction, modification and analysis of Petri nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {4-19},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Feldbrugge-Jensen/87,
AUTHOR = {Feldbrugge, F. and Jensen, K.},
TITLE = {Petri net tool overview 1986},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {20-61},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reisig/87a,
AUTHOR = {Reisig, W.},
TITLE = {Petri nets in software engineering},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {63-96},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Voss/87,
AUTHOR = {Voss, K.},
TITLE = {Nets in data bases},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {97-135},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diaz/87,
AUTHOR = {Diaz, M.},
TITLE = {Petri net based models in the specification and verification of protocols},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {135-170},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=135},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Oberquelle/87,
AUTHOR = {Oberquelle, H.},
TITLE = {Human-machine interaction and role/function/action-nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {171-190},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=171},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Valette/87,
AUTHOR = {Valette, R.},
TITLE = {Nets in production systems},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {191-217},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=191},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Valk/87a,
AUTHOR = {Valk, R.},
TITLE = {Nets in computer organization},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {218-233},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Voss/87a,
AUTHOR = {Voss, K.},
TITLE = {Nets in office automation},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {234-257},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=234},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baer/87,
AUTHOR = {Baer, J.L.},
TITLE = {Modelling architectural features with Petri nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {258-277},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=258},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mazurkiewicz/87,
AUTHOR = {Mazurkiewicz, A.},
TITLE = {Trace theory},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {279-324},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=279},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nielsen/87,
AUTHOR = {Nielsen, M.},
TITLE = {CCS - and its relationship to net theory},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {393-415},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=393},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Best/87a,
AUTHOR = {Best, E.},
TITLE = {COSY: Its relation to nets and to CSP},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {416-440},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=416},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Olderog/87a,
AUTHOR = {Olderog, E.R.},
TITLE = {TCSP: Theory of communicating sequential processes},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {441-465},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=441},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kluge/87,
AUTHOR = {Kluge, W.},
TITLE = {Reduction, data flow and control flow models of computation},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {466-498},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=466},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Petri/87a,
AUTHOR = {Petri, C.A.},
TITLE = {``Forgotten topics'' of net theory},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {500-514},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=500},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Petri/87,
AUTHOR = {Petri, C.A.},
TITLE = {Concurrence theory},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {4-24},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Thiagarajan/87,
AUTHOR = {Thiagarajan, P.S.},
TITLE = {Elementary net systems},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {26-59},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rozenberg/87,
AUTHOR = {Rozenberg, G.},
TITLE = {Behaviour of elementary net systems},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {60-94},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fernandez/87,
AUTHOR = {Fern{\'a}ndez, C.},
TITLE = {Non-sequential processes},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {95-115},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reisig/87,
AUTHOR = {Reisig, W.},
TITLE = {Place/transition systems},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {117-141},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=117},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lautenbach/87,
AUTHOR = {Lautenbach, K.},
TITLE = {Linear algebraic techniques for place/transition nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {142-167},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=142},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Best/87,
AUTHOR = {Best, E.},
TITLE = {Structure theory of Petri nets: the free choice hiatus},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {168-205},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=168},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Genrich/87,
AUTHOR = {Genrich, H.J.},
TITLE = {Predicate/transition nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {207-247},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=207},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jensen/87,
AUTHOR = {Jensen, K.},
TITLE = {Coloured Petri nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {248-299},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=248},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Memmi-Vautherin/87,
AUTHOR = {Memmi, G. and Vautherin, J.},
TITLE = {Analysing nets by the invariant method},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {300-336},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=300},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goltz/87,
AUTHOR = {Goltz, U.},
TITLE = {Synchronic distance},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {338-358},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=338},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berthelot/87,
AUTHOR = {Berthelot, G.},
TITLE = {Transformations and decompositions of nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {359-376},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=359},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Valk/87,
AUTHOR = {Valk, R.},
TITLE = {Infinite behaviour and fairness},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {377-396},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=377},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jantzen/87,
AUTHOR = {Jantzen, M.},
TITLE = {Language theory of Petri nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {397-412},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=397},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jantzen/87a,
AUTHOR = {Jantzen, M.},
TITLE = {Complexity of place/transition nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {413-434},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=413},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Roucairol/87a,
AUTHOR = {Roucairol, G.},
TITLE = {FIFO-nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {436-459},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=436},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pagnoni/87,
AUTHOR = {Pagnoni, A.},
TITLE = {Stochastic nets and performance evaluation},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {460-478},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=460},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@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{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},
}
@incollection{Korte-Mohring/87,
AUTHOR = {Korte, N. and M{\"o}hring, R.H.},
TITLE = {A simple linear-time algorithm to recognize interval graphs},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {1-16},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Widmayer/87,
AUTHOR = {Widmayer, P.},
TITLE = {On approximation algorithms for Steiner's problem in graphs},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {17-28},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaul/87,
AUTHOR = {Kaul, M.},
TITLE = {Specification of error distances for graphs by precedence graph grammars and fast recognition of similarity},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {29-40},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jackel/87,
AUTHOR = {Jackel, M.},
TITLE = {ADA concurrency specified by graph grammars},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {41-57},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dao-Habib-Richard-Tallot/87,
AUTHOR = {Dao, M. and Habib, M. and Richard, J.P. and Tallot, D.},
TITLE = {CABRI, an interactive system for graph manipulation},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {58-67},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vogler/87a,
AUTHOR = {Vogler, W.},
TITLE = {Behaviour preserving refinements of Petri nets},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {82-93},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Faigle-Gierz/87,
AUTHOR = {Faigle, U. and Gierz, G.},
TITLE = {The bandwidth of planar distributive lattices},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {94-105},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=94},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Klein-Wood/87,
AUTHOR = {Klein, R. and Wood, D.},
TITLE = {The node visit cost of brother trees},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {106-117},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abramowski-Muller/87,
AUTHOR = {Abramowski, St. and M{\"u}ller, H.},
TITLE = {Searching connected components in very large grid graphs},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {118-130},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=118},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dewangan-Pandu_Rangan/87,
AUTHOR = {Dewangan, Ramesh and Pandu Rangan, C.},
TITLE = {A simple implementation of Warshall's algorithm on a VLSI chip},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {131-145},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=131},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Syslo/87,
AUTHOR = {Sys{\l}o, M.M.},
TITLE = {On some generalizations of outerplanar graphs: Results and open problems},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {146-164},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=146},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wiegers/87,
AUTHOR = {Wiegers, M.},
TITLE = {Recognizing outerplanar graphs in linear time},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {165-176},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=165},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gutman/87,
AUTHOR = {Gutman, I.},
TITLE = {Graphs and graph polynomials of interest in chemistry},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {177-187},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=177},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Helmbold-Mayr/87,
AUTHOR = {Helmbold, D. and Mayr, E.},
TITLE = {Applications of parallel scheduling to perfect graphs},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {188-203},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=188},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wedde/87,
AUTHOR = {Wedde, H.F.},
TITLE = {A graph-theoretic approach for designing fair distributed resource scheduling algorithms},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {204-226},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=204},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schoone-Bodlaender-van_Leeuwen/87,
AUTHOR = {Schoone, A. and Bodlaender, H. and van Leeuwen, J.},
TITLE = {Improved diameter bounds for altered graphs},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {227-236},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dehne-Sack/87,
AUTHOR = {Dehne, F. and Sack, J.-R.},
TITLE = {Separability of sets of polygons},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {237-251},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=237},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tamassia-Tollis/87,
AUTHOR = {Tamassia, R. and Tollis, I.G.},
TITLE = {Centipede graphs and visibility on a cylinder},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {252-263},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=252},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Spirakis/87,
AUTHOR = {Spirakis, P.},
TITLE = {The diameter of connected components of random graphs},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {264-276},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=264},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Di_Battista-Nardelli/87,
AUTHOR = {Di Battista, G. and Nardelli, E.},
TITLE = {An algorithm for testing planarity of hierarchical graphs},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {277-289},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ruland/87,
AUTHOR = {Ruland, D.},
TITLE = {EDM - A data model for electronic CAD/CAM-applications},
BOOKTITLE = {Proceedings of the 12th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'86 (Bernried, Germany, June 17-19, 1986)},
SERIES = {LNCS},
VOLUME = {246},
PAGES = {290-305},
YEAR = {1987},
EDITOR = {Tinhofer, G. and Schmidt, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=246&spage=290},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}