@incollection{Czyzowicz-Rivera-Campo-Santoro-Urrutia-Zaks/91,
AUTHOR = {Czyzowicz, J. and Rivera-Campo, E. and Santoro, N. and Urrutia, J. and Zaks, J.},
TITLE = {Tight bounds for the rectangular art gallery problem},
BOOKTITLE = {Proceedings of the 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (Fischbachau, Germany, June 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {570},
PAGES = {105-112},
YEAR = {1991},
EDITOR = {Schmidt, G. and Berghammer, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=570&spage=105},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Guibas-Mitchell-Roos/91,
AUTHOR = {Guibas, Leonidas J. and Mitchell, Joseph S.B. and Roos, Thomas},
TITLE = {Voronoi diagrams of moving points in the plane},
BOOKTITLE = {Proceedings of the 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (Fischbachau, Germany, June 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {570},
PAGES = {113-125},
YEAR = {1991},
EDITOR = {Schmidt, G. and Berghammer, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=570&spage=113},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kedem-Palem-Pantziou-Spirakis-Zaroliagis/91,
AUTHOR = {Kedem, Zvi M. and Palem, Krishna V. and Pantziou, Grammati E. and Spirakis, Paul G. and Zaroliagis, Christos D.},
TITLE = {Fast parallel algorithms for coloring random graphs},
BOOKTITLE = {Proceedings of the 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (Fischbachau, Germany, June 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {570},
PAGES = {135-147},
YEAR = {1991},
EDITOR = {Schmidt, G. and Berghammer, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=570&spage=135},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Du-Lyuu-Hsu/91,
AUTHOR = {Du, Ding-Zhu and Lyuu, Yuh-Dauh and Hsu, D. Frank},
TITLE = {Line digraph iterations and the spread concept - with application to graph theory, fault tolerance, and routing},
BOOKTITLE = {Proceedings of the 17th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'91 (Fischbachau, Germany, June 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {570},
PAGES = {169-179},
YEAR = {1991},
EDITOR = {Schmidt, G. and Berghammer, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=570&spage=169},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
NOTE = {see Comments in IEEE Trans.~Comput.\ 45, 768},
}
@incollection{Blum/91b,
AUTHOR = {Blum, Manuel},
TITLE = {Program checking},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {1-9},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Blass-Gurevich/91,
AUTHOR = {Blass, Andreas and Gurevich, Yuri},
TITLE = {Randomizing reductions of search problems},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {10-24},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aceto-Engberg/91,
AUTHOR = {Aceto, Luca and Engberg, Uffe},
TITLE = {Failures semantics for a simple process language with refinement},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {89-108},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hungar/91,
AUTHOR = {Hungar, Hardi},
TITLE = {Correctness of programs over poor signatures},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {109-120},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Case-Jain-Sharma/91,
AUTHOR = {Case, John and Jain, Sanjay and Sharma, Arun},
TITLE = {Complexity issues for vacillatory function identification},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {121-140},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jiang-McDowell-Ravikumar/91a,
AUTHOR = {Jiang, Tao and McDowell, Edward and Ravikumar, B.},
TITLE = {The structure and complexity of minimal NFA's over a unary alphabet},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {152-171},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kim-McNaughton/91,
AUTHOR = {Kim, Sam and McNaughton, Robert},
TITLE = {Computing the order of a locally testable automaton},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {186-211},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Goldsmith-Hemachandra-Kunen/91,
AUTHOR = {Goldsmith, Judy and Hemachandra, Lane A. and Kunen, Kenneth},
TITLE = {On the structure and complexity of infinite sets with minimal perfect hash functions},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {212-223},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agrawal/91,
AUTHOR = {Agrawal, Manindra},
TITLE = {NP-hard sets and creativeness over constant time languages},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {224-241},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Furer-Raghavachari/91a,
AUTHOR = {F{\"u}rer, Martin and Raghavachari, Balaji},
TITLE = {Contracting planar graphs efficiently in parallel},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {319-335},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ghosh-Maheshwari-Pal-Saluja-Veni_Madhavan/91,
AUTHOR = {Ghosh, Subir Kumar and Maheshwari, Anil and Pal, Sudebkumar Prasant and Saluja, Sanjeev and Veni Madhavan, C.E.},
TITLE = {Computing the shortest path tree in a weak visibility polygon},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {369-389},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bhattacharya/91,
AUTHOR = {Bhattacharya, Binay K.},
TITLE = {Usefulness of angle-sweep over line-sweep},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {390-419},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fujita-Yamashita-Ae/91a,
AUTHOR = {Fujita, Satoshi and Yamashita, Masafumi and Ae, Tadashi},
TITLE = {Distributed $k$-mutual exclusion problem and $k$-coteries},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {22-31},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hsu-Ma/91,
AUTHOR = {Hsu, Wen-Lian and Ma, Tze-Heng},
TITLE = {Substitution decomposition on chordal graphs and applications},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {52-60},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Asano-Tokuyama/91,
AUTHOR = {Asano, Tetsuo and Tokuyama, Takeshi},
TITLE = {Circuit partitioning algorithms: Graph model versus geometry model},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {94-103},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boros-Hammer-Ibaraki-Kawakami/91,
AUTHOR = {Boros, E. and Hammer, P.L. and Ibaraki, T. and Kawakami, K.},
TITLE = {Identifying 2-monotonic positive Boolean functions in polynomial time},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {104-115},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hu-Tang-Lee/91,
AUTHOR = {Hu, T.H. and Tang, C.Y. and Lee, R.C.T.},
TITLE = {An average case analysis of Monien and Speckenmeyer's mechanical theorem proving algorithm},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {116-126},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chan-Lam/91,
AUTHOR = {Chan, Kwong-fai and Lam, Tak Wah},
TITLE = {An on-line algorithm for navigating in unknown terrain},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {127-136},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Janardan/91a,
AUTHOR = {Janardan, Ravi},
TITLE = {On maintaining the width and diameter of a planar point-set online},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {137-149},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Edelsbrunner/91,
AUTHOR = {Edelsbrunner, Herbert},
TITLE = {Optimal triangulations by retriangulating},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {150-150},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Guibas-Hershberger-Mitchell-Snoeyink/91,
AUTHOR = {Guibas, Leonidas J. and Hershberger, John E. and Mitchell, Joseph S.B. and Snoeyink, Jack Scott},
TITLE = {Approximating polygons and subdivisions with minimum link paths},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {151-162},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Benkouar-Manoussakis-Paschos-Saad/91,
AUTHOR = {Benkouar, A. and Manoussakis, Y.G. and Paschos, V.Th. and Saad, R.},
TITLE = {On the complexity of some Hamiltonian and Eulerian problems in edge-colored complete graphs},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {190-198},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Asano/91,
AUTHOR = {Asano, Takao},
TITLE = {Dynamic programming on intervals},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {199-207},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Guibas/91,
AUTHOR = {Guibas, Leonidas J.},
TITLE = {Combinatorics and algorithms of geometric arrangements},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {218-218},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hasegawa-Imai-Hakata/91,
AUTHOR = {Hasegawa, Susumu and Imai, Hiroshi and Hakata, Koji},
TITLE = {An analysis of randomized shear sort on the mesh computer},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {219-228},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chan-Chin-Poon/91,
AUTHOR = {Chan, M.Y. and Chin, F.Y.L. and Poon, C.K.},
TITLE = {Optimal specified root embedding of full binary trees in faulty hypercubes},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {241-250},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fleischer/91,
AUTHOR = {Fleischer, Rudolf},
TITLE = {A tight lower bound for the worst case of bottom-up-heapsort},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {251-262},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Andersson-Lai/91,
AUTHOR = {Andersson, Arne and Lai, Tony W.},
TITLE = {Comparison-efficient and write-optimal searching and sorting},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {273-282},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Estivill-Castro-Sherk/91,
AUTHOR = {Estivill-Castro, Vladimir and Sherk, Murray},
TITLE = {Competitiveness and response time in on-line algorithms},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {284-293},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ho/91a,
AUTHOR = {Ho, Jan-Ming},
TITLE = {A linear time optimal via assignment algorithm for three-dimensional channel routing},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {294-307},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hsu-Hwang-Ho-Tsai/91,
AUTHOR = {Hsu, Lih-Hsing and Hwang, J.Y. and Ho, T.Y. and Tsai, C.H.},
TITLE = {A linear time algorithm to recognize the double Euler trail for series-parallel networks},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {316-325},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hsu-Ramachandran/91a,
AUTHOR = {Hsu, Tsan-sheng and Ramachandran, Vijaya},
TITLE = {On finding a smallest augmentation to biconnect a graph},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {326-335},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_77},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kaufmann-Klar/91,
AUTHOR = {Kaufmann, Michael and Kl{\"a}r, Gerhard},
TITLE = {A faster algorithm for edge-disjoint paths in planar graphs},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {336-348},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chan-Friesen/91,
AUTHOR = {Chan, Ip-Wang and Friesen, Donald K.},
TITLE = {Parallel algorithms for some dominance problems based on a CREW PRAM},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {375-384},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Diks-Garrido-Lingas/91,
AUTHOR = {Diks, Krzysztof and Garrido, Oscar and Lingas, Andrzej},
TITLE = {Parallel algorithms for finding maximal $k$-dependent sets and maximal $f$-matchings},
BOOKTITLE = {Proceedings of the 2nd International Symposium on Algorithms, ISA'91 (Taipei, Republic of China, December 16-18, 1991)},
SERIES = {LNCS},
VOLUME = {557},
PAGES = {385-395},
YEAR = {1991},
EDITOR = {Hsu, W.L. and Lee, R.C.T.},
URL = {http://dx.doi.org/10.1007/3-540-54945-5_82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cellini-Gianni-Traverso/91,
AUTHOR = {Cellini, Paola and Gianni, Patrizia and Traverso, Carlo},
TITLE = {Algorithms for the shape of semialgebraic sets --- a new approach},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-9 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {1-18},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Janwa/91,
AUTHOR = {Janwa, H.},
TITLE = {On the parameters of algebraic geometric codes},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-9 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {19-28},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kaltofen-Saunders/91,
AUTHOR = {Kaltofen, Erich and Saunders, B. David},
TITLE = {On Wiedemann's method of solving sparse linear systems},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-9 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {29-38},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Becker/91,
AUTHOR = {Becker, Thomas},
TITLE = {Homogenity, pseudo-homogenity, and Gr{\"o}bner basis computations},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'91 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {65-73},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=539&spage=65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beth-Schaefer/91,
AUTHOR = {Beth, T. and Schaefer, F.},
TITLE = {Arithmetic on non supersingular elliptic curves},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-9 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {74-81},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Butler/91a,
AUTHOR = {Butler, Greg},
TITLE = {Implementing some algorithms of Kantor},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-9 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {82-93},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Canny/91,
AUTHOR = {Canny, J.F.},
TITLE = {Computing roadmaps of general semi-algebraic sets},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-9 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {94-107},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Canny/91a,
AUTHOR = {Canny, J.F.},
TITLE = {An improved sign determination algorithm},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-9 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {108-117},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chung/91,
AUTHOR = {Chung, Habong},
TITLE = {The 2-nd generalized Hamming weight of double-error correcting binary BCH codes and their dual codes},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-9 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {118-129},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Conti-Traverso/91b,
AUTHOR = {Conti, Pasqualina and Traverso, Carlo},
TITLE = {Buchberger algorithm and integer programming},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-9 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {130-139},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Diab/91a,
AUTHOR = {Diab, Menouer},
TITLE = {New systolic architectures for cyclic code encoding},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-9 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {140-151},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dinneen-Fellows-Faber/91,
AUTHOR = {Dinneen, Michael J. and Fellows, Michael R. and Faber, Vance},
TITLE = {Algebraic constructions of efficient broadcast networks},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-9 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {152-158},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gallo-Mishra-Ollivier/91,
AUTHOR = {Gallo, Giovanni and Mishra, Bhubaneswar and Ollivier, Fran{\c{c}}ois},
TITLE = {Some constructions in rings of differential polynomials},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-9 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {171-182},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Holmquist-Kinney/91,
AUTHOR = {Holmquist, Lawrence P. and Kinney, L.L.},
TITLE = {Concurrent error detection in sequential circuits using convolutional codes},
BOOKTITLE = {Proceedings of the 9th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-9 (New Orleans, LA, October 7-11, 1991)},
SERIES = {LNCS},
VOLUME = {539},
PAGES = {183-194},
YEAR = {1991},
EDITOR = {Mattson, H.F. and Mora, T. and Rao, T.R.N.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Allender-Gore/91,
AUTHOR = {Allender, Eric and Gore, Vivek},
TITLE = {On strong separations from $AC^0$},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {1-15},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Buchmann/91,
AUTHOR = {Buchmann, Johannes},
TITLE = {Number theoretic algorithms and cryptology},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {16-21},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Cai/91a,
AUTHOR = {Cai, Jin-yi},
TITLE = {Computations over infinite groups},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {22-32},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Heinrich/91,
AUTHOR = {Heinrich, Stefan},
TITLE = {Efficiency of Monte Carlo algorithms in numerical analysis},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {33-44},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Karpinski/91,
AUTHOR = {Karpinski, Marek},
TITLE = {Approximation algorithms for counting problems in finite fields},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {45-46},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Baier-Majster-Cederbaum/91,
AUTHOR = {Baier, Christel and Majster-Cederbaum, Mila E.},
TITLE = {The consistency of a nointerleaving and an interleaving model for full TCSP},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {105-120},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=105},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bank-Krick-Mandel-Solerno/91,
AUTHOR = {Bank, Bernd and Krick, Teresa and Mandel, Reinhard and Solern{\'o}, Pablo},
TITLE = {A geometrical bound for integer programming with polynomial constraints},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {121-125},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=121},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Barcucci-Pinzani-Rodella-Sprugnoli/91,
AUTHOR = {Barcucci, E. and Pinzani, R. and Rodella, E. and Sprugnoli, R.},
TITLE = {A characterization of binary search networks},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {126-135},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Beauqier-Nivat-Niwinski/91,
AUTHOR = {Beauqier, D. and Nivat, M. and Niwi{\'n}ski, D.},
TITLE = {About the effect of the number of successful paths in an infinite tree on the recognizability by a finite automaton with B{\"u}chi conditions},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {136-145},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=136},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Breveglieri-Citrini-Crespi_Reghizzi/91,
AUTHOR = {Breveglieri, Luca and Citrini, Claudio and Crespi Reghizzi, Stefano},
TITLE = {Deterministic dequeue automata and LL(1) parsing of breadth-depth grammars},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {146-156},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=146},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bruschi-Pighizzini/91,
AUTHOR = {Bruschi, Danilo and Pighizzini, Giovanni},
TITLE = {The complexity of computing maximal word functions},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {157-167},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=157},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Buntrock-Jenner-Lange-Rossmanith/91,
AUTHOR = {Buntrock, Gerhard and Jenner, Birgit and Lange, Klaus-J{\"o}rn and Rossmanith, Peter},
TITLE = {Unambiguity and fewness for logarithmic space},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {168-179},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=168},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Chardin/91,
AUTHOR = {Chardin, Marc},
TITLE = {Differential resultants and subresultants},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {180-189},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=180},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Chlebus-Vrto/91,
AUTHOR = {Chlebus, Bogdan S. and Vr{\u{t}}o, Imrich},
TITLE = {Unifying binary-search trees and permutations},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {190-199},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=190},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Dassow-Lange/91,
AUTHOR = {Dassow, J{\"u}rgen and Lange, Klaus-J{\"o}rn},
TITLE = {Computational complexity and hardest languages of automata with abstract storages},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {200-209},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=200},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Fachini-Monti-Napoli-Parente/91,
AUTHOR = {Fachini, E. and Monti, A. and Napoli, M. and Parente, D.},
TITLE = {Systolic Y-tree automata: Closure properties and decision problems},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {210-219},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=210},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Groger/91,
AUTHOR = {Gr{\"o}ger, Hans Dietmar},
TITLE = {A new partition lemma for planar graphs and its application to circuit complexity},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {220-229},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=220},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Hofmeister-Hohberg-Kohling/91a,
AUTHOR = {Hofmeister, Thomas and Hohberg, Walter and K{\"o}hling, Susanne},
TITLE = {Some notes on threshold circuits, and multiplication in depth 4},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {230-239},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=230},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Hromkovic/91,
AUTHOR = {Hromkovi{\v{c}}, Juraj},
TITLE = {Nonlinear lower bounds on the number of processors of circuits with sublinear separators},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {240-247},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=240},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Ibarra-Tran/91,
AUTHOR = {Ibarra, Oscar H. and Tr{\^a}n, Nicholas Q.},
TITLE = {On space-bounded synchronized alternating Turing machines},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {248-257},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=248},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Joux-Stern/91,
AUTHOR = {Joux, Antoine and Stern, Jacques},
TITLE = {Improving the critical density of the Lagarias-Odlyzko attack against subset sum problems},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {258-264},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=258},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Jukna/91,
AUTHOR = {Jukna, Stasys},
TITLE = {Optimal versus stable in Boolean formulae},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {265-274},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=265},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Kaib/91,
AUTHOR = {Kaib, Michael},
TITLE = {The Gau{\ss} lattice basis reduction algorithm succeeds with any norm},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {275-286},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=275},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Kaneps/91,
AUTHOR = {Ka{\c{n}}eps, J{\=a}nis},
TITLE = {Regularity of one-letter languages acceptable by 2-way finite probabilistic automata},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {287-296},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=287},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Knijnenburg-Kok/91,
AUTHOR = {Knijnenburg, Peter and Kok, Joost N.},
TITLE = {On the semantics of atomized statements --- the parallel-choice option},
BOOKTITLE = {Proceedings of the 8th International Conference on Fundamentals of Computation Theory (FCT '91) (Gosen, Germany, September 1991)},
SERIES = {LNCS},
VOLUME = {529},
PAGES = {297-306},
YEAR = {1991},
EDITOR = {Budach, L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=529&spage=297},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Andre/91,
AUTHOR = {Andr{\'e}, Charles},
TITLE = {Delays in synchronized elementary net systems},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {1-28},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bradfield/91,
AUTHOR = {Bradfield, J.C.},
TITLE = {Proving temporal properties of Petri nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {29-47},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Carstensen/91,
AUTHOR = {Carstensen, Heino},
TITLE = {The complexity of testing the equivalence of transition sequences},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {48-57},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chehaibar/91,
AUTHOR = {Chehaibar, Ghassan},
TITLE = {Use of reentrant nets in modular analysis of colored nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {58-77},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Desel/91,
AUTHOR = {Desel, J{\"o}rg},
TITLE = {On abstraction of nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {78-92},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dimitrovici-Hummert-Petrucci/91,
AUTHOR = {Dimitrovici, Cristian and Hummert, Udo and Petrucci, Laure},
TITLE = {Semantics, composition and net properties of algebraic high-level nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {93-117},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Esparza-Silva/91,
AUTHOR = {Esparza, Javier and Silva, Manuel},
TITLE = {Top-down synthesis of live and bounded free choice nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {118-139},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=118},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hopkins/91,
AUTHOR = {Hopkins, R.P.},
TITLE = {Distributable nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {161-187},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=161},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Itter-Relewicz/91,
AUTHOR = {Itter, F. and Relewicz, C.},
TITLE = {Computer supported design of Kanban controlled production},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {188-204},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=188},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Janicki-Koutny/91,
AUTHOR = {Janicki, Ryszard and Koutny, Maciej},
TITLE = {Optimal simulations, nets and reachibility graphs},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {205-226},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=205},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alessi-Barbanera/91,
AUTHOR = {Alessi, Fabio and Barbanera, Franco},
TITLE = {Strong conjunction and intersection types},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {64-73},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Astesiano-Cerioli/91,
AUTHOR = {Astesiano, Egidio and Cerioli, Maura},
TITLE = {Partial higher-order specifications},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {74-83},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bonnier/91,
AUTHOR = {Bonnier, Staffan},
TITLE = {Unification in incompletely specified theories. A case study},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {84-92},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boudol-Castellani-Hennessy-Kiehn/91,
AUTHOR = {Boudol, G. and Castellani, I. and Hennessy, M. and Kiehn, A.},
TITLE = {Observing localities},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {93-102},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Costa-Reggio/91,
AUTHOR = {Costa, Gerardo and Reggio, Gianna},
TITLE = {Abstract dynamic data types: A temporal logic approach},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {103-112},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=103},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cerny/91,
AUTHOR = {{\v{C}}ern{\'y}, Anton},
TITLE = {Generating words by cellular automata},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {113-120},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=113},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Degano-Gorrieri/91,
AUTHOR = {Degano, Pierpaolo and Gorrieri, Roberto},
TITLE = {Atomic refinement in process description languages},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {121-130},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=121},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diekert-Gastin-Petit/91,
AUTHOR = {Diekert, Volker and Gastin, Paul and Petit, Antoine},
TITLE = {Recognizable complex trace languages},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {131-140},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=131},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Domenjoud/91,
AUTHOR = {Domenjoud, Eric},
TITLE = {Solving systems of linear diophantine equations: An algebraic approach},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {141-150},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=141},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dowek/91,
AUTHOR = {Dowek, Gilles},
TITLE = {A second-order pattern matching algorithm for the cube of typed $\lambda$-calculi},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {151-160},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Egidi-Honsell-Roca/91,
AUTHOR = {Egidi, Lavinia and Honsell, Furio and Roca, Simona Ronchi della},
TITLE = {The lazy call-by-value $\lambda$-calculus},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {161-169},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=161},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gorrieri-Laneve/91,
AUTHOR = {Gorrieri, Roberto and Laneve, Cosimo},
TITLE = {The limit of $\mbox{split}_n$-bisimulations for CCS agents},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {170-180},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=170},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hansel-Krob-Michaux/91,
AUTHOR = {Hansel, Georges and Krob, Daniel and Michaux, Christian},
TITLE = {Stochastic automata and length distributions of rational languages},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {181-190},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=181},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hilken-Rydeheard/91,
AUTHOR = {Hilken, Barney P. and Rydeheard, David E.},
TITLE = {Towards a categorical semantics of type classes},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {191-201},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=191},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Howell-Jancar-Rosier/91,
AUTHOR = {Howell, Rodney R. and Jan{\v{c}}ar, Petr and Rosier, Louis E.},
TITLE = {Single-path Petri nets},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {202-210},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=202},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hromkovic-Monien/91,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Monien, Burkhard},
TITLE = {The bisection problem for graphs of degree 4 (configuring transputer systems)},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {211-220},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=211},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ibarra-Jiang-Wang/91a,
AUTHOR = {Ibarra, Oscar H. and Jiang, Tao and Wang, Hui},
TITLE = {Some results concerning 2-D on-line tessellation acceptors and 2-D alternating finite automata},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {221-230},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=221},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Inverardi-Nesi/91,
AUTHOR = {Inverardi, P. and Nesi, M.},
TITLE = {Infinite normal forms for non-linear term rewriting systems},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {231-239},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jokinen-Ukkonen/91,
AUTHOR = {Jokinen, Petteri and Ukkonen, Esko},
TITLE = {Two algorithms for approximate string matching in static texts},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {240-248},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=240},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karhumaki-Rytter-Jarominek/91,
AUTHOR = {Karhum{\"a}ki, Juhani and Rytter, Wojciech and Jarominek, Stefan},
TITLE = {Efficient constructions of test sets for regular and context-free languages},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {249-258},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=249},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kavadias-Kirousis-Spirakis/91a,
AUTHOR = {Kavadias, Dimitris and Kirousis, Lefteris M. and Spirakis, Paul},
TITLE = {The complexity of the reliable connectivity problem},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {259-266},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=259},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kesner/91,
AUTHOR = {Kesner, Delia},
TITLE = {Pattern matching in order-sorted languages},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {267-276},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=267},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Konikowska/91,
AUTHOR = {Konikowska, Beata},
TITLE = {Two over three: A two-valued logic for software specification and validation over a three-valued predicate calculus},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {277-286},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cunto-Munro-Poblete/91,
AUTHOR = {Cunto, Walter and Munro, J. Ian and Poblete, Patricio V.},
TITLE = {A case study in comparison based complexity: Finding the nearest value(s)},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {1-12},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028244},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aronov-Sharir/91,
AUTHOR = {Aronov, Boris and Sharir, Micha},
TITLE = {On the zone of a surface in a hyperplane arrangement},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {13-19},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028245},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dietz/91,
AUTHOR = {Dietz, Paul F.},
TITLE = {Finding level-ancestors in dynamic trees},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {32-40},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028247},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Devillers-Meiser-Teillaud/91,
AUTHOR = {Devillers, Olivier and Meiser, Stefan and Teillaud, Monique},
TITLE = {Fully dynamic Delaunay triangulation in logarithmic expected time per operation},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {42-53},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028249},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Djidjev-Lingas/91,
AUTHOR = {Djidjev, Hristo and Lingas, Andrzej},
TITLE = {On computing the Voronoi diagram for restricted planar figures},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {54-64},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028250},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Diaz-Gibbons-Paterson-Toran/91,
AUTHOR = {D{\'{i}}az, J. and Gibbons, A.M. and Paterson, M.S. and Tor{\'a}n, J.},
TITLE = {The MINSUMCUT problem},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {65-79},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028251},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Katoh-Iwano/91,
AUTHOR = {Katoh, Naoki and Iwano, Kazuo},
TITLE = {Efficient algorithms for the minimum range cut problems},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {80-91},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028252},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Akl/91,
AUTHOR = {Akl, Selim G.},
TITLE = {Memory access in models of parallel computation: From folklore to synergy and beyond},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {92-104},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028253},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agarwal-Matousek-Suri/91,
AUTHOR = {Agarwal, Pankaj K. and Matou{\v{s}}ek, Ji{\v{r}}{\'{i}} and Suri, Subhash},
TITLE = {Farthest neighbors, maximum spanning trees and related problems in higher dimensions},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {105-116},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028254},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aguilar-Datta-Ghosh/91,
AUTHOR = {Aguilar, Oscar R. and Datta, Ajoy Kumar and Ghosh, Sukumar},
TITLE = {Sharing memory in asynchronous message passing systems},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {129-140},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028256},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hanson/91,
AUTHOR = {Hanson, Eric N.},
TITLE = {The interval skip list: A data structure for finding all intervals that overlap a point},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {153-164},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028258},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arkin-Khuller-Mitchell/91,
AUTHOR = {Arkin, Esther M. and Khuller, Samir and Mitchell, Joseph S.B.},
TITLE = {Geometric knapsack problems},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {165-176},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028259},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Han/91a,
AUTHOR = {Han, Yijie},
TITLE = {A fast derandomization scheme and its applications},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {177-188},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028260},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Czyzowicz-Stojmenovic-Urrutia/91,
AUTHOR = {Czyzowicz, Jurek and Stojmenovic, Ivan and Urrutia, Jorge},
TITLE = {Immobilizing a polytope},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {214-227},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028264},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jacquet-Szpankowski/91,
AUTHOR = {Jacquet, Philippe and Szpankowski, Wojciech},
TITLE = {What can we learn about suffix trees from independent tries?},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {228-239},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028265},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Das-Narasimhan/91,
AUTHOR = {Das, Gautam and Narasimhan, Giri},
TITLE = {Geometric searching and link distance},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {261-272},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028268},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kant-Bodlaender/91,
AUTHOR = {Kant, Goos and Bodlaender, Hans L.},
TITLE = {Planar graph augmentation problems},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {286-298},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028270},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Frederickson/91c,
AUTHOR = {Frederickson, Greg N.},
TITLE = {Parametric search and locating supply centers in trees},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {299-319},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028271},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hershberger-Snoeyink/91,
AUTHOR = {Hershberger, John and Snoeyink, Jack},
TITLE = {Computing minimum length paths of a given homotopy class},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {331-342},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028273},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bar-Ilan-Peleg/91,
AUTHOR = {Bar-Ilan, Judit and Peleg, David},
TITLE = {Approximation algorithms for selecting network centers},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {343-354},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028274},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Carlsson-Nilsson-Ntafos/91,
AUTHOR = {Carlsson, Svante and Nilsson, Bengt J. and Ntafos, Simeon},
TITLE = {Optimum guard covers and $m$-watchmen routes for restricted polygons},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {367-378},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028276},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agarwal-Sharir/91a,
AUTHOR = {Agarwal, Pankaj K. and Sharir, Micha},
TITLE = {Applications of a new space partitioning technique},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {379-391},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Eppstein/91a,
AUTHOR = {Eppstein, David},
TITLE = {Offline algorithms for dynamic minimum spanning tree problems},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {392-399},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028278},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bhattacharya-Mukhopadhyay-Toussaint/91,
AUTHOR = {Bhattacharya, Binary K. and Mukhopadhyay, Asish and Toussaint, Godfried T.},
TITLE = {A linear time algorithm for computing the shortest line segment from which a polygon is weakly externally visible},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {412-424},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028280},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Heffernan-Mitchell/91,
AUTHOR = {Heffernan, Paul J. and Mitchell, Joseph S.B.},
TITLE = {An optimal algorithm for computing visibility in the plane},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {437-448},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028282},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Italiano-Sarnak/91,
AUTHOR = {Italiano, Giuseppe F. and Sarnak, Neil},
TITLE = {Fully persistent data structures for disjoint set union problems},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {449-460},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028283},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kapoor-Ramesh/91,
AUTHOR = {Kapoor, Sanjiv and Ramesh, H.},
TITLE = {Algorithms for generating all spanning trees of undirected, directed and weighted graphs},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {461-472},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028284},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abrahamson-Adler-Higham-Kirkpatrick/91,
AUTHOR = {Abrahamson, Karl and Adler, Andrew and Higham, Lisa and Kirkpatrick, David},
TITLE = {Probabilistic leader election on rings of known size},
BOOKTITLE = {Proceedings of the 2nd Workshop on Algorithms and Data Structures, WADS'91 (Ottawa, Canada, August 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {519},
PAGES = {481-495},
YEAR = {1991},
EDITOR = {Dehne, F. and Sack, J.-R. and Santoro, N.},
URL = {http://dx.doi.org/10.1007/BFb0028286},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gabbrielli-Levi/91,
AUTHOR = {Gabbrielli, M. and Levi, G.},
TITLE = {On the semantics of logic programs},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {1-19},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Chen-Hsiang/91,
AUTHOR = {Chen, Hong and Hsiang, Jieh},
TITLE = {Logic programming with recurrence domains},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {20-34},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bucciarelli-Ehrhard/91,
AUTHOR = {Bucciarelli, A. and Ehrhard, T.},
TITLE = {Extensional embedding of a strongly stable model of PCF},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {35-46},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Ernoult-Mycroft/91,
AUTHOR = {Ernoult, C. and Mycroft, A.},
TITLE = {Uniform ideals and strictness analysis},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {47-59},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Breazu-Tannen-Subrahmanyam/91,
AUTHOR = {Breazu-Tannen, V. and Subrahmanyam, R.},
TITLE = {Logical and computational aspects of programming with sets/bags/lists},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {60-75},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bouajjani-Fernandez-Graf-Rodriguez-Sifakis/91,
AUTHOR = {Bouajjani, A. and Fern{\'a}ndez, J.C. and Graf, S. and Rodr{\'i}guez, C. and Sifakis, J.},
TITLE = {Safety for branching time semantics},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {76-92},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Fix-Francez-Grumberg/91,
AUTHOR = {Fix, L. and Francez, N. and Grumberg, O.},
TITLE = {Program composition and modular verification},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {93-114},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Alur-Courcoubetis-Dill/91,
AUTHOR = {Alur, R. and Courcoubetis, C. and Dill, D.},
TITLE = {Model-checking for probabilistic real-time systems},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {115-126},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=115},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Cleaveland-Steffen/91,
AUTHOR = {Cleaveland, R. and Steffen, B.},
TITLE = {Computing behavioural relations, logically},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {127-138},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=127},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Ben-Asher-Peleg-Ramaswami-Schuster/91a,
AUTHOR = {Ben-Asher, Y. and Peleg, D. and Ramaswami, R. and Schuster, A.},
TITLE = {The power of reconfiguration},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {139-150},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=139},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Fouks/91,
AUTHOR = {Fouks, J.-D.},
TITLE = {General resolution of Tseitin formulas is hard},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {151-162},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Kannan-Yao/91,
AUTHOR = {Kannan, S. and Yao, A.},
TITLE = {Program checkers for probability generation},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {163-173},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=163},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Kaneps-Freivalds/91,
AUTHOR = {Kaneps, J. and Freivalds, R.},
TITLE = {Running time to recognize nonregular languages by 2-way probabilistic automata},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {174-185},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=174},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Casas-Diaz-Martinez/91,
AUTHOR = {Casas, R. and D{\'i}az, J. and Mart{\'i}nez, C.},
TITLE = {Statistics on random trees},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {186-203},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=186},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Diekert-Ochmanski-Reinhardt/91,
AUTHOR = {Diekert, V. and Ochmanski, E. and Reinhardt, K.},
TITLE = {On confluent semi-commutations-decidability and complexity results},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {229-241},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=229},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Duchamp-Krob/91,
AUTHOR = {Duchamp, G. and Krob, D.},
TITLE = {Lazard's factorizations of free partially commutative monoids},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {242-253},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=242},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Gastin-Petit-Zielonka/91,
AUTHOR = {Gastin, P. and Petit, A. and Zielonka, W.},
TITLE = {A Kleene theorem for infinite trace languages},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {254-266},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=254},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Dershowitz/91,
AUTHOR = {Dershowitz, N.},
TITLE = {Canonical sets of Horn clauses},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {267-278},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=267},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Curien-Cosmo/91,
AUTHOR = {Curien, P.-L. and Cosmo, R. Di},
TITLE = {A confluent reduction for the $\lambda$-calculus with surjective pairing and terminal object},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {291-302},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=291},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Fernando/91,
AUTHOR = {Fernando, T.},
TITLE = {Provably recursive programs and program extraction},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {303-313},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=303},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Djidjev-Pantziou-Zaroliagis/91,
AUTHOR = {Djidjev, H.N. and Pantziou, G.E. and Zaroliagis, C.D.},
TITLE = {Computing shortest paths and distances in planar graphs},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {327-338},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=327},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Galil-Italiano/91,
AUTHOR = {Galil, Z. and Italiano, G.F.},
TITLE = {Maintaining biconnected components of dynamic planar graphs},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {339-350},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=339},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Hemachandra-Hoene/91a,
AUTHOR = {Hemachandra, L.A. and Hoene, A.},
TITLE = {Collapsing degrees via strong computation},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {393-404},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=393},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Hagerup/91,
AUTHOR = {Hagerup, T.},
TITLE = {Fast parallel generation of random permutations},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {405-416},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=405},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Jung-Serna-Spirakis/91,
AUTHOR = {Jung, H. and Serna, M. and Spirakis, P.},
TITLE = {A parallel algorithm for two processors precedence constraint scheduling},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {417-428},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=417},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Furer-Raghavachari/91,
AUTHOR = {F{\"u}rer, M. and Raghavachari, B.},
TITLE = {An efficient NC algorithm for finding Hamiltonian cycles in dense directed graphs},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {429-440},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=429},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Jouannaud-Okada/91,
AUTHOR = {Jouannaud, J.-P. and Okada, M.},
TITLE = {Satisfiability of systems of ordinal notations with the subterm property is decidable},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {455-468},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=455},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Comon/91,
AUTHOR = {Comon, H.},
TITLE = {Complete axiomatizations of some quotient term algebras},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {469-480},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=469},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bol-Groote/91,
AUTHOR = {Bol, R. and Groote, J.F.},
TITLE = {The meaning of negative premises in transition system specifications},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {481-494},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=481},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Aceto-Hennessy/91,
AUTHOR = {Aceto, L. and Hennessy, M.},
TITLE = {Adding action refinement to a finite process algebra},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {506-519},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=506},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bini-Gemignani-Pan/91,
AUTHOR = {Bini, D. and Gemignani, L. and Pan, V.},
TITLE = {Improved parallel computations with matrices and polynomials},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {520-531},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=520},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bodlaender-Kloks/91,
AUTHOR = {Bodlaender, H.L. and Kloks, T.},
TITLE = {Better algorithms for the pathwidth and treewidth of graphs},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {544-555},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=544},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Cucker-Torrecillas/91,
AUTHOR = {Cucker, F. and Torrecillas, A.},
TITLE = {Two $P$-complete problems in the theory of the reals},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {556-565},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=556},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Honkala-Salomaa/91,
AUTHOR = {Honkala, J. and Salomaa, A.},
TITLE = {L morphisms: Bounded delay and regularity of ambiguity},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {566-574},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=566},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bruyere-De_Felice/91,
AUTHOR = {Bruyere, V. and De Felice, C.},
TITLE = {Degree and decomposability of variable-length codes},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {575-587},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr'iguez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=575},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Culik-Dube/91,
AUTHOR = {Culik II, K. and Dube, S.},
TITLE = {Balancing order and chaos in image generation},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {600-614},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=600},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Gurevich/91,
AUTHOR = {Gurevich, Y.},
TITLE = {Average case complexity},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {615-628},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=615},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Jiang-Ravikumar/91a,
AUTHOR = {Jiang, Tao and Ravikumar, B.},
TITLE = {Minimal NFA problems are hard},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {629-640},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=629},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Hashiguchi/91,
AUTHOR = {Hashiguchi, K.},
TITLE = {Algorithms for determining the smallest number of nonterminals (states) sufficient for generating (accepting) a regular language},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {641-648},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=641},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bhattacharya-Toussaint/91,
AUTHOR = {Bhattacharya, B. and Toussaint, G.},
TITLE = {Computing shortest transversals},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {649-660},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=649},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Chazelle-Edelsbrunner-Grigni-Guibas-Hershberger-Sharir-Snoeyink/91,
AUTHOR = {Chazelle, B. and Edelsbrunner, H. and Grigni, M. and Guibas, L. and Hershberger, J. and Sharir, M. and Snoeyink, J.},
TITLE = {Ray shooting in polygons using geodesic triangulations},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {661-673},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=661},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Bern-Eppstein-Yao/91,
AUTHOR = {Bern, M. and Eppstein, D. and Yao, F.},
TITLE = {The expected extremes in a Delaunay triangulation},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {674-685},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=674},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Chazelle/91,
AUTHOR = {Chazelle, B.},
TITLE = {Computational geometry for the gourmet: Old fare and new dishes},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {686-696},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=686},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Duris-Galil/91,
AUTHOR = {{\v{D}}uri{\u{s}}, P. and Galil, Z.},
TITLE = {On the power of multiple reads in a chip},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {697-706},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=697},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Groger-Turan/91,
AUTHOR = {Gr{\"o}ger, H.D. and Tur{\'a}n, G.},
TITLE = {On linear decision trees computing Boolean functions},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {707-718},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=707},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Galil-Margalit/91,
AUTHOR = {Galil, Z. and Margalit, O.},
TITLE = {An almost linear-time algorithm for the dense subset-sum problem},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {719-727},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=719},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Khuller-Mitchell-Vazirani/91,
AUTHOR = {Khuller, S. and Mitchell, S.G. and Vazirani, V.V.},
TITLE = {On-line algorithms for weighted bipartite matching and stable marriages},
BOOKTITLE = {Proceedings of the 18th International Colloquium on Automata, Languages and Programming, ICALP'91 (Madrid, Spain, July 8-12, 1991)},
SERIES = {LNCS},
VOLUME = {510},
PAGES = {728-738},
YEAR = {1991},
EDITOR = {Leach Albert, Javier and Artalejo, Mario Rodr{\'i}guez},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=510&spage=728},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Cohen/91b,
AUTHOR = {Cohen, G{\'{e}}rard D.},
TITLE = {Covering radius and writing on memories.},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {1-10},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Heintz-Krick-Roy-Solerno/91,
AUTHOR = {Heintz, Joos and Krick, Teresa and Roy, Marie-Fran{\c{c}}oise and Solern{\'{o}}, Pablo},
TITLE = {Geometric problems solvable in single exponential time.},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {11-23},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ahn-Sakaniwa-Rao/91,
AUTHOR = {Ahn, Tae Nam and Sakaniwa, Kohichi and Rao, T.R.N.},
TITLE = {A construction method for $m$-ary unidirectional error control codes --- Application for $m$-ary Berger check to asymmetric error control codes},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {71-85},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kohno-Yim-Imai/91,
AUTHOR = {Kohno, Ryuji and Yim, Choonsik and Imai, Hideki},
TITLE = {Trellis coded modulation based on time-varying mapping and encoders for utilizing a channel intersymbol interference},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {132-143},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abbott/91,
AUTHOR = {Abbott, John},
TITLE = {Some ideas about fault-tolerant Chinese remaindering},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {155-163},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Heintz-Roy-Solerno/91,
AUTHOR = {Heintz, Joos and Roy, Marie-Francoise and Solern{\'{o}}, Pablo},
TITLE = {Single exponential path finding in semialgebraic sets --- Part I: The case of a regular bounded hypersurface},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {180-196},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alonso-Mora-Raimondo/91,
AUTHOR = {Alonso, M.E. and Mora, T. and Raimondo, M.},
TITLE = {On the complexity of algebraic power series},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {197-207},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alonso-Mora-Raimondo/91a,
AUTHOR = {Alonso, Maria Emilia and Mora, Teo and Raimondo, Mario},
TITLE = {Local decomposition algorithms},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {208-221},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kalkbrener/91,
AUTHOR = {Kalkbrener, Michael},
TITLE = {Implicitization of rational parametric curves and surfaces},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {249-259},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Glesser-Mignotte/91,
AUTHOR = {Glesser, Philippe and Mignotte, Maurice},
TITLE = {An inequality about irreducible factors of integer polynomials (II)},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {260-266},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beneteau/91,
AUTHOR = {Beneteau, L.},
TITLE = {The symplectic trilinear mappings; An algorithmic approach of the classification; Case of the field $GF(3)$},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {267-279},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Giusti/91,
AUTHOR = {Giusti, Marc},
TITLE = {Complexity of standard bases in projective dimension zero II},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {322-328},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Diab/91,
AUTHOR = {Diab, Menouer},
TITLE = {Systolic architectures for multiplication over finite field $GF(2^m)$},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {329-340},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cooperman-Finkelstein-Sarawagi/91,
AUTHOR = {Cooperman, G. and Finkelstein, L. and Sarawagi, N.},
TITLE = {Applications of Cayley graphs},
BOOKTITLE = {Proceedings of the 8th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-8 (Tokyo, Japan, August 20-24, 1990)},
SERIES = {LNCS},
VOLUME = {508},
PAGES = {367-378},
YEAR = {1991},
EDITOR = {Sakata, Shojiro},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Janicki-Koutny/91a,
AUTHOR = {Janicki, Ryszard and Koutny, Maciej},
TITLE = {Invariants and paradigms of concurrency theory},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {59-74},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and J. {van Leeuwen} and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alonso-Pena/91,
AUTHOR = {Alonso, Luis M. and Pe{\~n}a, Ricardo},
TITLE = {Acceptance automata: A framework for specifying and verifying TCSP parallel systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {75-91},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=75},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fanchon-Millot/91,
AUTHOR = {Fanchon, J. and Millot, D.},
TITLE = {Models for dynamically placed concurrent processes},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {92-109},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=92},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bouge/91,
AUTHOR = {Boug{\'e}, Luc},
TITLE = {On the semantics of languages for massively parallel SIMD architectures},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {166-183},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=166},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hooman/91,
AUTHOR = {Hooman, Jozef},
TITLE = {A denotational real-time semantics for shared processors},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {184-201},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=184},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Haridi-Palamidessi/91,
AUTHOR = {Haridi, Seif and Palamidessi, Catuscia},
TITLE = {Structural operational semantics for {K}ernel {A}ndorra {P}rolog},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {238-253},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=238},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jagannathan/91,
AUTHOR = {Jagannathan, Suresh},
TITLE = {Customization of first-class tuple-spaces in a higher-order language},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {254-276},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=254},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Factor/91,
AUTHOR = {Factor, Michael},
TITLE = {A formal specification of the process trellis},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {277-294},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Autant-Belmesk-Schnoebelen/91,
AUTHOR = {Autant, C. and Belmesk, Z. and Schnoebelen, Ph.},
TITLE = {Strong bisimilarity on nets revisited},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {295-312},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=295},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gaudiot-Lin/91,
AUTHOR = {Gaudiot, Jean-Luc and Lin, Chih-Ming},
TITLE = {Chaotic linear system solvers in a variable-grain data-driven multiprocessor system},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {331-348},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=331},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hankin/91,
AUTHOR = {Hankin, Chris},
TITLE = {Static analysis of term graph rewriting systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {367-384},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=367},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Briat-Favre-Geyer-Kergommeaux/91,
AUTHOR = {Briat, J. and Favre, M. and Geyer, C. and Kergommeaux, J. Chassin de},
TITLE = {Scheduling of OR-parallel {P}rolog on a scalable, reconfigurable, distributed-memory multiprocessor},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {385-402},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=385},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beaumont-Raman-Szeredi-Warren/91,
AUTHOR = {Beaumont, Anthony and Raman, S. Muthu and Szeredi, P{\'e}ter and Warren, David H.D.},
TITLE = {Flexible scheduling of OR-parallelism in {A}urora: The {B}ristol scheduler},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {403-420},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=403},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hwang-Hu-Sun-Gao/91,
AUTHOR = {Hwang, Zhiyi and Hu, Shouren and Sun, Chengzheng and Gao, Yaoqing},
TITLE = {Reduction of code space in parallel logic programming systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {454-470},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=454},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fujita-Yamashita-Ae/91,
AUTHOR = {Fujita, Satoshi and Yamashita, Masafumi and Ae, Tadashi},
TITLE = {Search level parallel processing of production systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {471-488},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=471},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Johnsson/91a,
AUTHOR = {Johnsson, Thomas},
TITLE = {Parallel evaluation of functional programs: The $\langle\nu,G\rangle$-machine approach},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {1-5},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hum-Gao/91a,
AUTHOR = {Hum, Herbert H.J. and Gao, Guang R.},
TITLE = {A novel high-speed memory organization for fine-grain multi-thread computing},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {34-51},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Filloque-Gautrin-Pottier/91,
AUTHOR = {Filloque, Jean Marie and Gautrin, Eric and Pottier, Bernard},
TITLE = {Efficient global computations on a processor network with programmable logic},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {69-82},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hoogvorst-Keryell-Matherat-Paris/91,
AUTHOR = {Hoogvorst, Philippe and Keryell, Ronan and Matherat, Philippe and Paris, Nicolas},
TITLE = {POMP or how to design a massively parallel machine with small developments},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {83-100},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baumslag-Heydemann-Opatrny-Sotteau/91,
AUTHOR = {Baumslag, M. and Heydemann, M.C. and Opatrny, J. and Sotteau, D.},
TITLE = {Embeddings of shuffle-like graphs in hypercubes},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {179-190},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=179},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ferianc-Sykora/91,
AUTHOR = {Ferianc, Pavel and S{\'y}kora, Ondrej},
TITLE = {Area complexity of multilective merging},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {209-218},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=209},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Das-Horng/91,
AUTHOR = {Das, Sajal K. and Horng, Wen-Bing},
TITLE = {Managing a parallel heap efficiently},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {270-287},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=270},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alvarez-Balcazar-Gabarro-Santha/91,
AUTHOR = {{\`A}lvarez, Carme and Balc{\'a}zar, Jos{\'e} L. and Gabarr{\'o}, Joaquim and S{\'a}ntha, Mikl{\'o}s},
TITLE = {Parallel complexity in the design and analysis of concurrent systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {288-303},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=288},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hagerup-Schmitt-Seidl/91,
AUTHOR = {Hagerup, T. and Schmitt, A. and Seidl, H.},
TITLE = {FORK: A high-level language for PRAMs},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {304-320},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=304},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hurson-Jin-Pakzad/91,
AUTHOR = {Hurson, A.R. and J{\'i}n, B. and Pakzad, S.H.},
TITLE = {Neural network-based decision making for large incomplete databases},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {321-337},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=321},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gao-Hum-Monti/91,
AUTHOR = {Gao, Guang R. and Hum, Herbert H.J. and Monti, Jean-Marc},
TITLE = {Towards an efficient hybrid dataflow architecture model},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {355-371},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=355},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Govindarajan-Yu/91,
AUTHOR = {Govindarajan, R. and Yu, Sheng},
TITLE = {Data flow implementation of generalized guarded commands},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {372-389},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=372},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Duato/91b,
AUTHOR = {Duato, J.},
TITLE = {On the design of deadlock-free adaptive routing algorithms for multicomputers: Design methodologies},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {390-405},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=390},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ilmberger-Thurmel/91,
AUTHOR = {Ilmberger, Hermann and Th{\"u}rmel, Sabine},
TITLE = {A toolkit for debugging parallel Lisp programs},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~I: Parallel Architectures and Algorithms, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {505},
PAGES = {406-422},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=505&spage=406},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Das-Chen-Lewis-Prasad/91,
AUTHOR = {Das, Sajal K. and Chen, Calvin C.-Y. and Lewis, Gene and Prasad, Sushil},
TITLE = {Some fast parallel algorithms for parentheses matching},
BOOKTITLE = {Proceedings of the International Conference on Computing and Information. Advances in Computing and Information, ICCI'91 (Ottawa, Canada, May 1991)},
SERIES = {LNCS},
VOLUME = {497},
PAGES = {443-454},
YEAR = {1991},
EDITOR = {Dehne, F. and Fiala, F. and Koczkodaj, W.W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=497&spage=443},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Giloi-Hastedt-Schon-Schroder-Preikschat/91,
AUTHOR = {Giloi, W.K. and Hastedt, C. and Sch{\"o}n, F. and Schr{\"o}der-Preikschat, W.},
TITLE = {A distributed implementation of shared virtual memory with strong and weak coherence},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {23-31},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Borrmann-Istavrinos/91,
AUTHOR = {Borrmann, L. and Istavrinos, P.},
TITLE = {Store coherency in a parallel distributed-memory machine},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {32-41},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hammer-Henties/91,
AUTHOR = {Hammer, C. and Henties, T.},
TITLE = {Using a weak coherency model for a parallel Lisp},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {42-51},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gerndt/91,
AUTHOR = {Gerndt, M.},
TITLE = {Parallelization of multigrid programs in SUPERB},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {62-72},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chretienne-Lamour/91,
AUTHOR = {Chr{\'e}tienne, P. and Lamour, F.},
TITLE = {Mapping graphs onto a partially reconfigurable architecture},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {73-79},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fernandez-Llaberia-Navarro-Valero-Garcia/91,
AUTHOR = {Fern{\'a}ndez, A. and Llaber{\'i}a, J.M. and Navarro, J.J. and Valero-Garc{\'i}a, M.},
TITLE = {Interleaving partitions of systolic algorithms for programming distributed memory multiprocessors},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {90-99},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=90},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chaumette-Counilh/91,
AUTHOR = {Chaumette, S. and Counilh, M.C.},
TITLE = {A development environment for distributed systems},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {110-119},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=110},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bemmerl-Bode/91,
AUTHOR = {Bemmerl, T. and Bode, A.},
TITLE = {An integrated environment for programming distributed memory multiprocessors},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {130-142},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=130},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hofestadt-Klein-Reyzl/91,
AUTHOR = {Hofest{\"a}dt, H. and Klein, A. and Reyzl, E.},
TITLE = {Performance benefits from locally adaptive interval routing in dynamically switched interconnection networks},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {193-202},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=193},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Corporaal-Olk/91,
AUTHOR = {Corporaal, H. and Olk, J.G.E.},
TITLE = {A scalable communication processor design supporting systolic communication},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {213-223},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=213},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Getov-Jesshope/91,
AUTHOR = {Getov, V.S. and Jesshope, C.R.},
TITLE = {Simulation facility of distributed memory system with ``mad postman'' communication network},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {224-233},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=224},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Duato/91,
AUTHOR = {Duato, J.},
TITLE = {On the design of deadlock-free adaptive routing algorithms for multicomputers: Theoretical aspects},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {234-243},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=234},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bemmerl-Graf-Knodlseder/91,
AUTHOR = {Bemmerl, T. and Graf, U. and Kn{\"o}dlseder, R.},
TITLE = {Experiences in parallelizing an existing CFD algorithm},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {254-263},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=254},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bacchelli_Montefusco-Guerrini/91,
AUTHOR = {Bacchelli Montefusco, L. and Guerrini, C.},
TITLE = {A domain decomposition method for scattered data approximation on a distributed memory multiprocessor},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {274-282},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=274},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Couvert-Pedrono-Raynal/91,
AUTHOR = {Couvert, A. and Pedrono, R. and Raynal, M.},
TITLE = {Implementation and evaluation of distributed synchronization on a distributed memory parallel machine},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {304-314},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=304},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Corporaal/91,
AUTHOR = {Corporaal, H.},
TITLE = {Distributed heapmanagement using reference weights},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {325-336},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=325},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Giavitto-Germain-Fowler/91,
AUTHOR = {Giavitto, J.-L. and Germain, C. and Fowler, J.},
TITLE = {OAL: An implementation of an actor language on a massively parallel message-passing architecture},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {347-360},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=347},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cheese/91,
AUTHOR = {Cheese, A.},
TITLE = {Implementing committed-choice logic programming languages on distributed memory computers},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {361-370},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=361},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Delgado-Rannauro-Dorochevsky-Schuerman-Veron-Xu/91,
AUTHOR = {Delgado-Rannauro, S.A. and Dorochevsky, M. and Schuerman, K. and V{\'e}ron, A. and Xu, J.},
TITLE = {A shared environment parallel logic programming system on distributed memory architectures},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {371-380},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=371},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gomm-Heckner-Lange-Riedle/91,
AUTHOR = {Gomm, D. and Heckner, M. and Lange, K.-J. and Riedle, G.},
TITLE = {On the design of parallel programs for machines with distributed memory},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {381-391},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=381},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Clauss/91,
AUTHOR = {Clauss, P.},
TITLE = {Mapping systolic algorithms on distributed memory computers},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {402-411},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=402},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Herrmann-Philippe/91,
AUTHOR = {Herrmann, B. and Philippe, L.},
TITLE = {Multicomputers UNIX based on CHORUS},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {440-449},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=440},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bruening-Giloi-Schroder-Preikschat/91,
AUTHOR = {Bruening, U. and Giloi, W.K. and Schr{\"o}der-Preikschat, W.},
TITLE = {The architecture of the European MIMD supercomputer GENESIS},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {450-462},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=450},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fraigniaud/91,
AUTHOR = {Fraigniaud, P.},
TITLE = {Fault-tolerant gossiping on hypercube multicomputers},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {463-472},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=463},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Annaratone-Bonsen-Fillo-Halbherr-Ruhl-Steiner-Viredaz/91,
AUTHOR = {Annaratone, M. and Bonsen, G. zur and Fillo, M. and Halbherr, M. and R{\"u}hl, R. and Steiner, P. and Viredaz, M.},
TITLE = {Architecture, implementation and system software of K2},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {473-484},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=473},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bauch-Braam-Maehle/91,
AUTHOR = {Bauch, A. and Braam, R. and Maehle, E.},
TITLE = {DAMP - A dynamic reconfigurable multiprocessor system with a distributed switching network},
BOOKTITLE = {Proceedings of the 2nd European Conference on Distributed Memory Computing, EDMCC2 (Munich, Germany, April 1991)},
SERIES = {LNCS},
VOLUME = {487},
PAGES = {495-504},
YEAR = {1991},
EDITOR = {Bode, Arndt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=487&spage=495},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bodlaender/91b,
AUTHOR = {Bodlaender, Hans L.},
TITLE = {On the complexity of some coloring games},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {30-40},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=484&spage=30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Huckenbeck-Ruland/91,
AUTHOR = {Huckenbeck, Ulrich and Ruland, Detlev},
TITLE = {A generalized best-first search method in graphs},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {41-60},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=484&spage=41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Damaschke/91,
AUTHOR = {Damaschke, Peter},
TITLE = {Induced subgraph isomorphism for cographs is $NP$-complete},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {72-78},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=484&spage=72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Aurenhammer-Hagauer/91,
AUTHOR = {Aurenhammer, Franz and Hagauer, Johann},
TITLE = {Recognizing binary Hamming graphs in $O(n^2\log n)$ time},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {90-98},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=484&spage=90},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ihler/91,
AUTHOR = {Ihler, Edmund},
TITLE = {Bounds on the quality of approximate solutions to the group Steiner problem},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {109-118},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=484&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arbib/91,
AUTHOR = {Arbib, Claudio},
TITLE = {Two polynomial problems in PLA folding},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {119-129},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=484&spage=119},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Formann-Wagner/91,
AUTHOR = {Formann, Michael and Wagner, Frank},
TITLE = {The VLSI layout problem in various embedding models},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {130-139},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Choi-Esfahanian/91,
AUTHOR = {Choi, Hyeong-Ah and Esfahanian, Abdol-Hossein},
TITLE = {On complexity of a message-routing strategy for multicomputer systems},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {170-181},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=484&spage=170},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Das-Thulasiraman/91,
AUTHOR = {Das, A. and Thulasiraman, K.},
TITLE = {Diagnosis of t/s-diagnosable systems},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {193-205},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=484&spage=193},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Biran-Moran-Zaks/91,
AUTHOR = {Biran, Ofer and Moran, Shlomo and Zaks, Shmuel},
TITLE = {Deciding 1-solvability of distributed task is $NP$-hard},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {206-220},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=484&spage=206},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Habib-Morvan-Rampon/91,
AUTHOR = {Habib, Michel and Morvan, Michel and Rampon, Jean-Xavier},
TITLE = {Remarks on some concurrency measures},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {221-238},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=484&spage=221},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hoffmann-Kaufmann/91,
AUTHOR = {Hoffmann, Frank and Kaufmann, Michael},
TITLE = {On the rectilinear art gallery problem - algorithmic aspects},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {239-250},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=484&spage=239},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fischer-Simon/91,
AUTHOR = {Fischer, Paul and Simon, Hans Ulrich},
TITLE = {Separation problems and circular arc systems},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {251-259},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=484&spage=251},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Caucal-Monfort/91,
AUTHOR = {Caucal, Didier and Monfort, Roland},
TITLE = {On the transition graphs of automata and grammars},
BOOKTITLE = {Proceedings of the 16th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'90 (Berlin, Germany, June 20-22, 1990)},
SERIES = {LNCS},
VOLUME = {484},
PAGES = {311-337},
YEAR = {1991},
EDITOR = {M{\"o}hring, R.H.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=484&spage=311},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jouannaud/91,
AUTHOR = {Jouannaud, Jean-Pierre},
TITLE = {Executable higher-order algebraic specifications},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {16-25},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=16},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Frougny-Sakarovitch/91,
AUTHOR = {Frougny, Christiane and Sakarovitch, Jacques},
TITLE = {Rational relations with bounded delay},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {50-63},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=50},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Guaiana-Restivo-Salemi/91,
AUTHOR = {Guaiana, Giovanna and Restivo, Antonio and Salemi, Sergio},
TITLE = {On aperiodic trace languages},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {76-88},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=76},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Gastin/91,
AUTHOR = {Gastin, Paul},
TITLE = {Recognizable and rational languages of finite and infinite traces},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {89-104},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=89},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Diekert/91,
AUTHOR = {Diekert, Volker},
TITLE = {On the concatenation of infinite traces},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {105-117},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=105},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Godau/91,
AUTHOR = {Godau, Michael},
TITLE = {A natural metric for curves - computing the distance for polygonal chains and approximation algorithms},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {127-136},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=127},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Gilleron/91,
AUTHOR = {Gilleron, R{\'e}mi},
TITLE = {Decision problems for term rewriting systems and recognizable tree languages},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {148-159},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=148},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Baude-Vidal-Naquet/91,
AUTHOR = {Baude, Fran{\c{c}}oise and Vidal-Naquet, Guy},
TITLE = {Actors as a parallel programming model},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {184-195},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=184},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Albert-Casas-Fages-Torrecillas-Zimmermann/91,
AUTHOR = {Albert, Luc and Casas, Rafael and Fages, Fran{\c{c}}ois and Torrecillas, Antonio and Zimmermann, Paul},
TITLE = {Average case analysis of unification algorithms},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {196-213},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=196},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Brassard-Crepeau-Laplante-Leger/91,
AUTHOR = {Brassard, Gilles and Cr{\'e}peau, Claude and Laplante, Sophie and L{\'e}ger, Christian},
TITLE = {Computationally convincing proofs of knowledge},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {251-262},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=251},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Fortnow-Lund/91,
AUTHOR = {Fortnow, Lance and Lund, Carsten},
TITLE = {Interactive proof systems and alternating time-space complexity},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {263-274},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=263},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Baum-Waidner-Pfitzmann-Waidner/91,
AUTHOR = {Baum-Waidner, Birgit and Pfitzmann, Birgit and Waidner, Michael},
TITLE = {Unconditional Byzantine agreement with good majority},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {285-295},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=285},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Carlsson-Mattsson-Poblete-Bengtsson/91,
AUTHOR = {Carlsson, Svante and Mattsson, Christer and Poblete, Patricio V. and Bengtsson, Mats},
TITLE = {A new compacting garbage-collection algorithm with a good average-case performance},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {296-308},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=296},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Jeron/91,
AUTHOR = {Jeron, Thierry},
TITLE = {Testing for unboundedness of FIFO channels},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {322-333},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=322},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Beauquier-Choquet-Petit-Vidal-Naquet/91,
AUTHOR = {Beauquier, Joffroy and Choquet, Annie and Petit, Antoine and Vidal-Naquet, Guy},
TITLE = {Detection of deadlocks in an infinite family of nets},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {334-347},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=334},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Buss-Goldsmith/91,
AUTHOR = {Buss, Jonathan F. and Goldsmith, Judy},
TITLE = {Nondeterminism within P},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {348-359},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=348},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Buntrock-Damm-Hertrampf-Meinel/91,
AUTHOR = {Buntrock, Gerhard and Damm, Carsten and Hertrampf, Ulrich and Meinel, Christoph},
TITLE = {Structure and importance of logspace-MOD-classes},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {360-371},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=360},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Desel-Esparza/91,
AUTHOR = {Desel, J{\"o}rg and Esparza, Javier},
TITLE = {Reachability in reversible free choice systems},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {384-397},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=384},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Best-Cherkasova-Desel/91,
AUTHOR = {Best, Eike and Cherkasova, Ludmila and Desel, J{\"o}rg},
TITLE = {Compositional generation of home states in free choice systems},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {398-409},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=398},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Buhrman-Spaan-Torenvliet/91,
AUTHOR = {Buhrman, Harry and Spaan, Edith and Torenvliet, Leen},
TITLE = {Bounded reductions},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {410-421},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=410},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Alvarez-Balcazar-Jenner/91,
AUTHOR = {{\'A}lvarez, Carme and Balc{\'a}zar, Jos{\'e} L. and Jenner, Birgit},
TITLE = {Functional oracle queries as a measure of parallel time},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {422-433},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=422},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Condon/91a,
AUTHOR = {Condon, Anne},
TITLE = {The complexity of the max word problem},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {456-465},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=456},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Gradel/91,
AUTHOR = {Gr{\"a}del, Erich},
TITLE = {The expressive power of second order Horn logic},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {466-477},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=466},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Hartmann/91,
AUTHOR = {Hartmann, Joachim},
TITLE = {The random testability of the $n$-input AND gate},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {488-498},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=488},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Denis-Delahaye/91,
AUTHOR = {Denis, Fran{\c{c}}oise and Delahaye, Jean-Paul},
TITLE = {Unfolding, procedural and fixpoint semantics of logic programs},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {511-522},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=511},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Balbiani/91,
AUTHOR = {Balbiani, Philippe},
TITLE = {A modal semantics for the negation as failure and the closed world assumption rules},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {523-534},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=523},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Berghammer-Schmidt/91,
AUTHOR = {Berghammer, Rudolf and Schmidt, Gunther},
TITLE = {The RELVIEW system},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {535-536},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=535},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Biryalcev-Gusenkov-Nasyrov-Saveliev/91,
AUTHOR = {Biryalcev, E.V. and Gusenkov, A.M. and Nasyrov, Ildar R. and Saveliev, A.A.},
TITLE = {Geometry models design system $\Gamma$POM},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {537-538},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=537},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Hoffmann-Krieg-Bruckner/91,
AUTHOR = {Hoffmann, Berthold and Krieg-Br{\"u}ckner, Bernd},
TITLE = {The PROSPECTRA system},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {539-540},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=539},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}
@incollection{Jeron/91a,
AUTHOR = {Jeron, Thierry},
TITLE = {Prototype of a verification tool},
BOOKTITLE = {Proceedings of the 8th Annual Symposium on Theoretical Aspects of Computer Science, STACS'91 (Hamburg, Germany, February 14-16, 1991)},
SERIES = {LNCS},
VOLUME = {480},
PAGES = {541-542},
YEAR = {1991},
EDITOR = {Choffrut, C. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=480&spage=541},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-G{\"o}ttingen-Heidelberg-New York},
}