@incollection{Huynh-Joskowicz-Lassez-Lassez/90,
AUTHOR = {Huynh, Tien and Joskowicz, Leo and Lassez, Catherine and Lassez, Jean-Louis},
TITLE = {Reasoning about linear constraints using parametric queries},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {1-20},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Yuan-You/90,
AUTHOR = {Yuan, Li Yan and You, Jia-Huai},
TITLE = {Discriminant circumscription},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {21-32},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Subrahmanyam/90,
AUTHOR = {Subrahmanyam, Ramesh},
TITLE = {Complexity of algebraic specifications},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {33-47},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Treinen/90,
AUTHOR = {Treinen, Ralf},
TITLE = {A new method for undecidability proofs of first order theories},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {48-62},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Masseron-Tollu-Vauzeilles/90,
AUTHOR = {Masseron, M. and Tollu, C. and Vauzeilles, J.},
TITLE = {Generating plans in linear logic},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {63-75},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Culik-Dube/90a,
AUTHOR = {Culik II, Karel and Dube, Simant},
TITLE = {Automata-theoretic techniques for image generation and compression},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {76-90},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Saoudi-Muller-Schupp/90a,
AUTHOR = {Saoudi, A. and Muller, D.E. and Schupp, P.E.},
TITLE = {Recognizable infinite tree sets and their complexity},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {91-103},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Vinay-Chandru/90,
AUTHOR = {Vinay, V. and Chandru, V.},
TITLE = {The expressibility of nondeterministic auxiliary stack automata and its relation to treesize bounded alternating auxiliary pushdown automata},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {104-114},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Lewington/90,
AUTHOR = {Lewington, Christopher P.},
TITLE = {Towards constructive program derivation in VDM},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {115-132},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Kapur-Sivakumar-Zhang/90,
AUTHOR = {Kapur, Deepak and Sivakumar, G. and Zhang, Hantao},
TITLE = {A new method for proving termination of AC-rewrite systems},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {133-148},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Reif-Tyagi/90,
AUTHOR = {Reif, John and Tyagi, Akhilesh},
TITLE = {Efficient parallel algorithms for optical computing with the DFT primitive},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {149-160},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Raman/90,
AUTHOR = {Raman, Rajeev},
TITLE = {The power of collision: Randomized parallel algorithms for chaining and integer sorting},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {161-175},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Lin-Olariu/90b,
AUTHOR = {Lin, R. and Olariu, S.},
TITLE = {Fast parallel algorithms for cographs},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {176-189},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Case-Rajan-Shende/90,
AUTHOR = {Case, John and Rajan, Dayanand S. and Shende, Anil M.},
TITLE = {Optimally representing Euclidean space discretely for analogically simulating physical phenomena},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {190-203},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Levcopoulos-Lingas-Petersson-Rytter/90,
AUTHOR = {Levcopoulos, Christos and Lingas, Andrzej and Petersson, Ola and Rytter, Wojciech},
TITLE = {Optimal parallel algorithms for testing isomorphism of trees and outerplanar graphs},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {204-214},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Rajasekaran/90,
AUTHOR = {Rajasekaran, Sanguthevar},
TITLE = {Randomized parallel selection},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {215-224},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Pearson-Vazirani/90,
AUTHOR = {Pearson, David and Vazirani, Vijay},
TITLE = {A fast parallel algorithm for finding a maximal bipartite set},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {225-231},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Kosaraju/90,
AUTHOR = {Kosaraju, S. Rao},
TITLE = {On the parallel evaluation of classes of circuits},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {232-237},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Fu-Lee/90,
AUTHOR = {Fu, Jyh-Jong and Lee, R.C.T.},
TITLE = {Voronoi diagrams of moving points in the plane},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {238-254},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Nandy-Bhattacharya-Ray/90,
AUTHOR = {Nandy, Subhas C. and Bhattacharya, Bhargab B. and Ray, Sibabrata},
TITLE = {Efficient algorithms for identifying all maximal isothetic empty rectangles in VLSI layout design},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {255-269},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Datta-Ramkumar/90,
AUTHOR = {Datta, Amitava and Ramkumar, G.D.S.},
TITLE = {On some largest empty orthoconvex polygons in a point set},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {270-285},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Kwiatkowska/90a,
AUTHOR = {Kwiatkowska, Marta Z.},
TITLE = {Defining process fairness for non-interleaving concurrency},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {286-300},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{De_Nicola-Ferrari/90,
AUTHOR = {De Nicola, Rocco and Ferrari, Gian Luigi},
TITLE = {Observational logics and concurrency models},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {301-315},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Arora-Gouda/90,
AUTHOR = {Arora, Anish and Gouda, Mohamed},
TITLE = {Distributed reset},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {316-331},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Gronning-Nielsen-Lovengreen/90,
AUTHOR = {Gr{\o}nning, Peter and Nielsen, Thomas Qvist and L{\o}vengreen, Hans Henrik},
TITLE = {Refinement and composition of transition-based rely-guarantee specifications with auxiliary variables},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {332-348},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Juang-Venkatesan/90,
AUTHOR = {Juang, Tony T-Y. and Venkatesan, S.},
TITLE = {Efficient algorithms for crash recovery in distributed systems},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {349-361},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Reggio/90,
AUTHOR = {Reggio, Gianna},
TITLE = {A non-standard inductive semantics},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {362-372},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Sieber/90,
AUTHOR = {Sieber, Kurt},
TITLE = {Relating full abstraction results for different programming languages},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {373-387},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Chandrasekaran-Narayanan/90,
AUTHOR = {Chandrasekaran, B. and Narayanan, N. Hari},
TITLE = {Towards a theory of commonsense visual reasoning},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {388-409},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Bharati-Sangal-Chaitanya/90,
AUTHOR = {Bharati, Akshar and Sangal, Rajeev and Chaitanya, Vineet},
TITLE = {Natural language processing, complexity theory and logic},
BOOKTITLE = {Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)},
SERIES = {LNCS},
VOLUME = {472},
PAGES = {410-420},
YEAR = {1990},
EDITOR = {Nori, K.V. and Madhavan, C.E. Veni},
URL = {http://dx.doi.org/10.1007/3-540-53487-3_60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona},
}
@incollection{Borger/90,
AUTHOR = {B{\"o}rger, E.},
TITLE = {A logical operational semantics of full Prolog},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {1-14},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jouannaud/90,
AUTHOR = {Jouannaud, J.-P.},
TITLE = {Syntactic theories},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {15-25},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kozen/90,
AUTHOR = {Kozen, D.},
TITLE = {On Kleene algebras and closed semirings},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {26-47},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Krajicek-Pudlak-Sgall/90,
AUTHOR = {Kraj{\'i}{\v{c}}ek, J. and Pudl{\'a}k, P. and Sgall, J.},
TITLE = {Interactive computations of optimal solutions},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {48-60},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meinel/90,
AUTHOR = {Meinel, Ch.},
TITLE = {Restricted branching programs and their computational power},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {61-75},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meyer_auf_der_Heide/90,
AUTHOR = {Meyer auf der Heide, F.},
TITLE = {Dynamic hashing strategies},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {76-87},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Selman/90,
AUTHOR = {Selman, A.L.},
TITLE = {One-way functions in complexity theory},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {88-104},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=88},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tiuryn/90,
AUTHOR = {Tiuryn, J.},
TITLE = {Type inference problems: A survey},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {105-120},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=105},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Toran/90,
AUTHOR = {Tor{\'a}n, J.},
TITLE = {Counting the number of solutions},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {121-134},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=121},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vree/90,
AUTHOR = {Vree, W.G.},
TITLE = {Implementation of parallel graph reduction by explicit annotation and program transformation},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {135-151},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=135},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alberts/90,
AUTHOR = {Alberts, M.},
TITLE = {Interrogative complexity of $\omega$-languages' recognition},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {152-157},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=152},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Allender-Hertrampf/90,
AUTHOR = {Allender, E. and Hertrampf, U.},
TITLE = {On the power of uniform families of constant depth threshold circuits},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {158-164},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=158},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{dAmore-Franciosa/90,
AUTHOR = {d'Amore, F. and Franciosa, P.G.},
TITLE = {Separating sets of hyperrectangles},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {165-172},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=165},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baruah-Howell-Rosier/90,
AUTHOR = {Baruah, S.K. and Howell, R.R. and Rosier, L.E.},
TITLE = {On preemptive scheduling of periodic, real-time tasks on one processor},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {173-179},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=173},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Bruin-Vink/90,
AUTHOR = {de Bruin, A. and Vink, E.P. de},
TITLE = {Retractions in comparing Prolog semantics},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {180-186},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=180},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buntrock-Hemachandra-Siefkes/90,
AUTHOR = {Buntrock, G. and Hemachandra, L.A. and Siefkes, D.},
TITLE = {Using inductive counting to simulate nondeterministic computation},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {187-194},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=187},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cerna/90,
AUTHOR = {{\v{C}}ern{\'a}, I.},
TITLE = {Some properties of zerotesting bounded one-way multicounter machines},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {195-201},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=195},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chrobak-Larmore/90,
AUTHOR = {Chrobak, M. and Larmore, L.L.},
TITLE = {On fast algorithms for two servers},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {202-208},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=202},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Clerbout-Gonzales/90,
AUTHOR = {Clerbout, M. and Gonzales, D.},
TITLE = {Decomposition of semi commutations},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {209-216},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=209},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Crochemore-Rytter/90,
AUTHOR = {Crochemore, M. and Rytter, W.},
TITLE = {Parallel constructions of minimal suffix and factor automata},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {217-223},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=217},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Culik-Dube/90,
AUTHOR = {Culik II, K. and Dube, S.},
TITLE = {Affine automata: A technique to generate complex images},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {224-231},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=224},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Damm/90,
AUTHOR = {Damm, C.},
TITLE = {The complexity of symmetric functions in parity normal forms},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {232-238},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=232},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Darondeau-Degano/90,
AUTHOR = {Darondeau, P. and Degano, P.},
TITLE = {Event structures, causal trees, and refinements},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {239-245},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=239},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dublish-Maheshwari/90,
AUTHOR = {Dublish, P. and Maheshwari, S.N.},
TITLE = {Query languages which express all PTIME queries for trees and unicyclic graphs},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {246-253},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=246},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fachini-Schettini-Sangiorgi/90,
AUTHOR = {Fachini, E. and Schettini, A. Maggiolo and Sangiorgi, D.},
TITLE = {Comparisons among classes of Y-tree systolic automata},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {254-260},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=254},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gasarch-Hemachandra-Hoene/90,
AUTHOR = {Gasarch, W.I. and Hemachandra, L.A. and Hoene, A.},
TITLE = {On checking versus evaluation of multiple queries},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {261-268},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=261},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gavalda-Torenvliet-Watanabe-Balcazar/90,
AUTHOR = {Gavald{\`a}, R. and Torenvliet, L. and Watanabe, O. and Balc{\'a}zar, J.L.},
TITLE = {Generalized Kolmogorov complexity in relativized separations},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {269-276},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=269},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gavilanes-Franco/90,
AUTHOR = {Gavilanes-Franco, A.},
TITLE = {A first-order logic for partial recursive functions},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {277-284},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geffert/90,
AUTHOR = {Geffert, V.},
TITLE = {Speed-up theorem without tape compression},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {285-291},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=285},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geidmanis/90,
AUTHOR = {Geidmanis, D.},
TITLE = {On possibilities of one-way synchronized and alternating automata},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {292-299},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=292},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goerdt/90,
AUTHOR = {Goerdt, A.},
TITLE = {Unrestricted resolution versus N-resolution},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {300-305},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=300},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gold-Vogler/90,
AUTHOR = {Gold, R. and Vogler, W.},
TITLE = {Quality criteria for partial order semantics of place/transition-nets},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {306-312},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=306},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Golubski-Lippe/90,
AUTHOR = {Golubski, W. and Lippe, W.-M.},
TITLE = {Tree-stack automata},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {313-321},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=313},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hansen-Chao-Chen/90,
AUTHOR = {Hansen, M.R. and Chao-Chen, Z.},
TITLE = {Specification and verification of higher order processes},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {322-328},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=322},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hinz/90,
AUTHOR = {Hinz, F.},
TITLE = {The membership problem for context-free chain code picture languages},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {329-336},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=329},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hromkovic-Jeschke-Monien/90,
AUTHOR = {Hromkovi{\v{c}}, J. and Jeschke, C.-D. and Monien, B.},
TITLE = {Optimum algorithms for dissemination of information in some interconnection networks},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {337-346},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=337},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jonsson/90,
AUTHOR = {Jonsson, B.},
TITLE = {A hierarchy of compositional models of I/O-automata},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {347-354},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=347},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaneps-Freivalds/90,
AUTHOR = {Ka{\c{n}}eps, J. and Freivalds, R.},
TITLE = {Minimal nontrivial space complexity of probabilistic one-way Turing machines},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {355-361},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=355},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karpinski-Meyer_auf_der_Heide/90,
AUTHOR = {Karpinski, M. and Meyer auf der Heide, F.},
TITLE = {On the complexity of genuinely polynomial computation},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {362-368},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=362},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kounalis/90,
AUTHOR = {Kounalis, E.},
TITLE = {Pumping lemmas for tree languages generated by rewrite systems},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {369-377},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=369},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kowaluk-Wagner/90,
AUTHOR = {Kowaluk, M. and Wagner, K.W.},
TITLE = {Vector language: Simple description of hard instances},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {378-384},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=378},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Krause/90,
AUTHOR = {Krause, M.},
TITLE = {Separating $\oplus L$ from $L$, $NL$, co-$NL$ and $AL (= P)$ for oblivious Turing machines of linear access time},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {385-391},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=385},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Krivanek/90,
AUTHOR = {K{\v{r}}iv{\'a}nek, M.},
TITLE = {The use of graphs of elliptical influence in visual hierarchical clustering},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {392-398},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=392},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lange-Rossmanith/90,
AUTHOR = {Lange, K.-J. and Rossmanith, P.},
TITLE = {Characterizing unambiguous augmented pushdown automata by circuits},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {399-406},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=399},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Latteux-Timmerman/90,
AUTHOR = {Latteux, M. and Timmerman, E.},
TITLE = {Rational $\omega$-transductions},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {407-415},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=407},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Levcopoulos-Petersson/90a,
AUTHOR = {Levcopoulos, Ch. and Petersson, O.},
TITLE = {Splitsort - An adaptive sorting algorithm},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {416-422},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=416},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Manca-Salibra/90,
AUTHOR = {Manca, V. and Salibra, A.},
TITLE = {Equational calculi for many-sorted algebras with empty carrier sets},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {423-429},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=423},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ochmanski/90,
AUTHOR = {Ochma{\'n}ski, E.},
TITLE = {Semi-commutation and deterministic Petri nets},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {430-438},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=430},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Parigot/90,
AUTHOR = {Parigot, M.},
TITLE = {Internal labellings in Lambda-Calculus},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {439-445},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=439},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pasztor/90,
AUTHOR = {Pasztor, A.},
TITLE = {A sup-preserving completion of ordered partial algebras},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {446-456},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=446},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Piotrow/90,
AUTHOR = {Piotr{\'o}w, M.},
TITLE = {ATIME($n$) is closed under counting},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {457-463},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=457},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pliuskevicius/90,
AUTHOR = {Pliu{\v{s}}kevi{\v{c}}ius, R.},
TITLE = {Investigation of finitary calculi for the temporal logics by means of infinitary calculi},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {464-469},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=464},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Poigne/90,
AUTHOR = {Poign{\'e}, A.},
TITLE = {Typed Horn logic},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {470-477},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=470},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sain/90,
AUTHOR = {Sain, I.},
TITLE = {Results on the glory of the past},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {478-484},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=478},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Uyen/90,
AUTHOR = {Uyen, P.H.},
TITLE = {A stronger version of Parikh theorem},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {485-491},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=485},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Waack/90,
AUTHOR = {Waack, S.},
TITLE = {The parallel complexity of some constructions in combinatorial group theory},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {492-498},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=492},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Walukiewicz/90,
AUTHOR = {Walukiewicz, I.},
TITLE = {Gentzen type axiomatization for PAL},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {499-507},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=499},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Weber/90a,
AUTHOR = {Weber, A.},
TITLE = {Distance automata having large finite distance or finite ambiguity},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {508-515},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=508},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wegener/90,
AUTHOR = {Wegener, I.},
TITLE = {Bottom up-heap sort, a new variant of heap sort beating on average quick sort},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {516-522},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=516},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wegener-Wurm-Yi/90,
AUTHOR = {Wegener, I. and Wurm, N. and Yi, S.-Z.},
TITLE = {Symmetric functions in $AC^0$ can be computed in constant depth with very small size},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {523-529},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=523},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wiegers/90,
AUTHOR = {Wiegers, M.},
TITLE = {The $k$-section of treewidth restricted graphs},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {530-537},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=530},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zeugmann/90,
AUTHOR = {Zeugmann, T.},
TITLE = {Computing large polynomial powers very fast in parallel},
BOOKTITLE = {Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Bansk{\'a} Bystrica, Czechoslovakia, August 27-31, 1990)},
SERIES = {LNCS},
VOLUME = {452},
PAGES = {538-544},
YEAR = {1990},
EDITOR = {Rovan, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=452&spage=538},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Galil/90,
AUTHOR = {Galil, Zvi},
TITLE = {Recent progress in string algorithms},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {1-1},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Pippenger/90,
AUTHOR = {Pippenger, Nicholas},
TITLE = {Selection networks},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {2-11},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Nagamochi-Ibaraki/90a,
AUTHOR = {Nagamochi, Hiroshi and Ibaraki, Toshihide},
TITLE = {Computing edge-connectivity in multiple and capacitated graphs},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {12-20},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Imai-Iwano/90,
AUTHOR = {Imai, Hiroshi and Iwano, Kazuo},
TITLE = {Efficient sequential and parallel algorithms for planar minimum cost flow},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {21-30},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Watanabe-Toda/90,
AUTHOR = {Watanabe, Osamu and Toda, Seinosuke},
TITLE = {Structural analyses on the complexity of inverting functions},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {31-38},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Allender/90,
AUTHOR = {Allender, Eric},
TITLE = {Oracles versus proof techniques that do not relativize},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {39-52},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Chang-Tang-Lee/90,
AUTHOR = {Chang, Maw Shang and Tang, C.Y. and Lee, R.C.T.},
TITLE = {20-relative neighborhood graphs are Hamiltonian},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {53-65},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Su-Chang/90,
AUTHOR = {Su, Tung-Hsin and Chang, Ruei-Chuan},
TITLE = {The $k$-Gabriel graphs and their applications},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {66-75},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Djokic-Miyakawa-Sekiguchi-Semba-Stojmenovic/90,
AUTHOR = {Djoki{\'c}, Borivoje and Miyakawa, Masahiro and Sekiguchi, Satoshi and Semba, Ichiro and Stojmenovi{\'c}, Ivan},
TITLE = {Parallel algorithms for generating subsets and set partitions},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {76-85},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Han/90,
AUTHOR = {Han, Yijie},
TITLE = {Parallel algorithms for linked list and beyond},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {86-100},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Hell-Bang-Jensen-Huang/90,
AUTHOR = {Hell, Pavol and Bang-Jensen, J{\o}rgen and Huang, Jing},
TITLE = {Local tournaments and proper circular arc graphs},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {101-108},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Tsai-Hsu/90,
AUTHOR = {Tsai, Kuo-Hui and Hsu, Wen-Lian},
TITLE = {Fast algorithms for the dominating set problem on permutation graphs},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {109-117},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Fernandez_de_la_Vega-Kannan-Santha/90,
AUTHOR = {Fernandez de la Vega, Wenceslas and Kannan, Sampath and Santha, Miklos},
TITLE = {Two probabilistic results on merging},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {118-127},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Feige-Peleg-Raghavan-Upfal/90a,
AUTHOR = {Feige, Uriel and Peleg, David and Raghavan, Prabhakar and Upfal, Eli},
TITLE = {Randomized broadcast in networks},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {128-137},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Klein-Mehlhorn-Meiser/90,
AUTHOR = {Klein, R. and Mehlhorn, K. and Meiser, S.},
TITLE = {On the construction of abstract Voronoi diagrams, II},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {138-154},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Chazelle/90c,
AUTHOR = {Chazelle, Bernard},
TITLE = {Searching in higher dimension},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {155-155},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Kirkpatrick-Gao/90,
AUTHOR = {Kirkpatrick, David G. and Gao, Feng},
TITLE = {Finding extrema with unary predicates},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {156-164},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Dobkin-Hershberger-Kirkpatrick-Suri/90,
AUTHOR = {Dobkin, David and Hershberger, John and Kirkpatrick, David and Suri, Subhash},
TITLE = {Implicitly searching convolutions and computing depth of collision},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {165-180},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Itoh/90,
AUTHOR = {Itoh, Toshiya},
TITLE = {Characterization for a family of infinitely many irreducible equally spaced polynomials},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {181-190},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Cosnard-Philippe/90,
AUTHOR = {Cosnard, Michel and Philippe, Jean-Laurent},
TITLE = {Distributed algorithms for deciphering},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {191-200},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Iwano-Yeh/90,
AUTHOR = {Iwano, Kazuo and Yeh, Susan},
TITLE = {An efficient algorithm for optimal loop parallelization},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {201-210},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Pijls-de_Bruin/90,
AUTHOR = {Pijls, Wim and de Bruin, Arie},
TITLE = {Another view on the SSS* algorithm},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {211-220},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Hemachandra/90,
AUTHOR = {Hemachandra, Lane A.},
TITLE = {Algorithms from complexity theory: Polynomial-time operations for complex sets},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {221-231},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Schoning/90,
AUTHOR = {Sch{\"o}ning, Uwe},
TITLE = {Complexity cores and hard problem instances},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {232-240},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Tan-Hirata-Inagaki/90,
AUTHOR = {Tan, Xue-Hou and Hirata, Tomio and Inagaki, Yasuyoshi},
TITLE = {Spatial point location and its applications},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {241-250},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Carlsson-Levcopoulos-Petersson/90,
AUTHOR = {Carlsson, Svante and Levcopoulos, Christos and Petersson, Ola},
TITLE = {Sublinear merging and natural merge sort},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {251-260},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Guibas-Salesin-Stolfi/90,
AUTHOR = {Guibas, Leonidas and Salesin, David and Stolfi, Jorge},
TITLE = {Constructing strongly convex approximate hulls with inaccurate primitives},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {261-270},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_75},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Murota/90b,
AUTHOR = {Murota, Kazuo},
TITLE = {Computing Puiseux-series solutions to determinatal equations via combinatorial relaxation},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {271-280},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Klawe-Leighton/90,
AUTHOR = {Klawe, Maria and Leighton, Tom},
TITLE = {A tight lower bound on the size of planar permutation networks},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {281-287},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_77},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Hassin/90,
AUTHOR = {Hassin, Refael},
TITLE = {Simultaneous solution of families of problems},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {288-299},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Asano-Tokuyama/90,
AUTHOR = {Asano, Tetsuo and Tokuyama, Takeshi},
TITLE = {Algorithms for projecting points to give the most uniform distribution with applications to hashing},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {300-309},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_79},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Anagnostou-Guibas-GPolimenis/90,
AUTHOR = {Anagnostou, Efthymios G. and Guibas, Leonidas J. and G.Polimenis, Vassilios},
TITLE = {Topological sweeping in three dimensions},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {310-317},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Chan-Lam/90,
AUTHOR = {Chan, Kwong-fai and Lam, Tak-wah},
TITLE = {Finding least-weight subsequences with fewer processors},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {318-327},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Han-Igarashi/90a,
AUTHOR = {Han, Yijie and Igarashi, Yoshihide},
TITLE = {Derandomization by exploiting redundancy and mutual independence},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {328-337},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Gazit-Miller/90,
AUTHOR = {Gazit, Hillel and Miller, Gary L.},
TITLE = {Planar separators and the Euclidean norm},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {338-347},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Avis/90,
AUTHOR = {Avis, David},
TITLE = {On the complexity of isometric embedding in the hypercube},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {348-357},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Santoro-Widmayer/90,
AUTHOR = {Santoro, Nicola and Widmayer, Peter},
TITLE = {Distributed function evaluation in the presence of transmission faults},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {358-367},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Bitan-Zaks/90,
AUTHOR = {Bitan, Sara and Zaks, Shmuel},
TITLE = {Optimal linear broadcast},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {368-377},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_86},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Watanabe-Higashi-Nakamura/90,
AUTHOR = {Watanabe, Toshimasa and Higashi, Yasuhiko and Nakamura, Akira},
TITLE = {Graph augmentation problems for a specified set of vertices},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {378-387},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_87},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Wang-Cheng/90a,
AUTHOR = {Wang, Qingzhou and Cheng, Kam Hoi},
TITLE = {A heuristic algorithm for the $k$-center problem with vertex weight},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {388-396},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_88},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Alnuweiri-Prasanna_Kumar/90,
AUTHOR = {Alnuweiri, Hussein M. and Prasanna Kumar, V.K.},
TITLE = {Parallel convexity algorithms for digitized images on a linear array of processors},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {397-406},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Hsu-Lin/90,
AUTHOR = {Hsu, Wen-Jing and Lin, Xiaola},
TITLE = {Parallel algorithms for labeling image components},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {407-418},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_90},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Edelsbrunner-Sharir/90,
AUTHOR = {Edelsbrunner, Herbert and Sharir, Micha},
TITLE = {A hyperplane incidence problem with applications to counting distances},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {419-428},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_91},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Numata-Tokuyama/90,
AUTHOR = {Numata, Kazumiti and Tokuyama, Takeshi},
TITLE = {Splitting a configuration in a simplex},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {429-438},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_92},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Pach-Pollack-Welzl/90,
AUTHOR = {Pach, J. and Pollack, R. and Welzl, E.},
TITLE = {Weaving patterns of lines and line segments in space},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {439-446},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Lingas/90,
AUTHOR = {Lingas, Andrezej},
TITLE = {Efficient parallel algorithms for path problems in planar directed graphs},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {447-457},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_94},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Suzuki-Yamanaka-Nishizeki/90,
AUTHOR = {Suzuki, Hitoshi and Yamanaka, Chiseko and Nishizeki, Takao},
TITLE = {Parallel algorithms for finding Steiner forests in planar graphs},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {458-467},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Tsotras-Gopinath-Hart/90a,
AUTHOR = {Tsotras, Vassilis J. and Gopinath, B. and Hart, George W.},
TITLE = {Optimally managing the history of an evolving forest},
BOOKTITLE = {Proceedings of the International Symposium on Algorithms, SIGAL'90 (Tokyo, Japan, August 16-18, 1990)},
SERIES = {LNCS},
VOLUME = {450},
PAGES = {468-478},
YEAR = {1990},
EDITOR = {Asano, T. and Ibaraki, T. and Imai, H. and Nishizeki, T.},
URL = {http://dx.doi.org/10.1007/3-540-52921-7_96},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Barcelona},
}
@incollection{Hartmanis-Chang-Ranjan-Rohatgi/90b,
AUTHOR = {Hartmanis, Juris and Chang, Richard and Ranjan, Desh and Rohatgi, Pankaj},
TITLE = {Structural complexity theory: Recent surprises},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {1-12},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boppana-Halldorsson/90,
AUTHOR = {Boppana, Ravi and Halld{\'o}rsson, Magn{\'u}s M.},
TITLE = {Approximating maximum independent sets by excluding subgraphs},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {13-25},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Althofer-Das-Dobkin-Joseph/90,
AUTHOR = {Alth{\"o}fer, Ingo and Das, Gautam and Dobkin, David and Joseph, Deborah},
TITLE = {Generating sparse spanners for weighted graphs},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {26-37},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_75},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Eppstein/90b,
AUTHOR = {Eppstein, David},
TITLE = {Finding the $k$ smallest spanning trees},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {38-47},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kant-van_Leeuwen/90,
AUTHOR = {Kant, Goos and van Leeuwen, Jan},
TITLE = {The file distribution problem for processor networks},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {48-59},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_77},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Berg/90,
AUTHOR = {de Berg, Mark},
TITLE = {Translating polygons with applications to hidden surface removal},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {60-70},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Preparata-Vitter-Yvinec/90,
AUTHOR = {Preparata, Franco P. and Vitter, Jeffrey Scott and Yvinec, Mariette},
TITLE = {Output-sensitive generation of the perspective view of isothetic parallelepipeds},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {71-84},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_79},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pocchiola/90,
AUTHOR = {Pocchiola, Michel},
TITLE = {Graphics in flatland revisited},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {85-96},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vegter/90,
AUTHOR = {Vegter, Gert},
TITLE = {The visibility diagram: A data structure for visibility problems and motion planning},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {97-110},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Andersson-Lai/90,
AUTHOR = {Andersson, Arne and Lai, Tony W.},
TITLE = {Fast updating of well-balanced trees},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {111-121},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ottmann-Wood/90,
AUTHOR = {Ottmann, Thomas and Wood, Derick},
TITLE = {How to update a balanced binary tree with a constant number of rotations},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {122-131},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bent/90,
AUTHOR = {Bent, W. Samuel},
TITLE = {Ranking trees generated by rotations},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {132-142},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baeza-Yates-Gonnet-Ziviani/90,
AUTHOR = {Baeza-Yates, Ricardo and Gonnet, Gaston H. and Ziviani, Nivio},
TITLE = {Expected behaviour analysis of AVL trees},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {143-159},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Papadakis-Munro-Poblete/90,
AUTHOR = {Papadakis, Thomas and Munro, J. Ian and Poblete, Patricio V.},
TITLE = {Analysis of the expected search cost in skip lists},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {160-172},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_86},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dietz-Zhang/90,
AUTHOR = {Dietz, Paul F. and Zhang, Ju},
TITLE = {Lower bounds for monotonic list labeling},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {173-180},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_87},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Levcopoulos-Petersson/90b,
AUTHOR = {Levcopoulos, Christos and Petersson, Ola},
TITLE = {Sorting shuffled monotone sequences},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {181-191},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_88},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Atallah/90,
AUTHOR = {Atallah, Mikhail J.},
TITLE = {A faster parallel algorithm for a matrix searching problem},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {192-200},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Richards-Salowe/90,
AUTHOR = {Richards, Dana S. and Salowe, Jeffrey S.},
TITLE = {A rectilinear Steiner minimal tree algorithm for convex point sets},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {201-212},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_90},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Berg-van_Kreveld-Nilsson-Overmars/90,
AUTHOR = {de Berg, Mark and van Kreveld, Marc J. and Nilsson, Bengt J. and Overmars, Mark H.},
TITLE = {Finding shortest paths in the presence of orthogonal obstacles using a combined $L_1$ and link metric},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {213-224},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_91},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Friedman-Hershberger-Snoeyink/90,
AUTHOR = {Friedman, Joseph and Hershberger, John and Snoeyink, Jack},
TITLE = {Input-sensitive compliant motion in the plane},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {225-237},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_92},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Levcopoulos-Lingas/90,
AUTHOR = {Levcopoulos, Christos and Lingas, Andrzej},
TITLE = {Fast algorithms for greedy triangulation},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {238-250},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Agarwal-Aronov-ORourke-Schevon/90,
AUTHOR = {Agarwal, Pankaj K. and Aronov, Boris and O'Rourke, Joseph and Schevon, Catherine A.},
TITLE = {Star unfolding of a polytope with applications},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {251-263},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_94},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fernandez-Baca/90,
AUTHOR = {Fern{\'a}ndez-Baca, David},
TITLE = {Space-sweep algorithms for parametric optimization},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {264-275},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Korneenko-Martini/90,
AUTHOR = {Korneenko, N.M. and Martini, H.},
TITLE = {Approximating finite weighted point sets by hyperplanes},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {276-286},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_96},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Johnson/90c,
AUTHOR = {Johnson, David S.},
TITLE = {Data structures for Traveling Salesmen},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {287-287},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pantziou-Spirakis-Zaroliagis/90a,
AUTHOR = {Pantziou, Grammati E. and Spirakis, Paul G. and Zaroliagis, Christos D.},
TITLE = {Efficient parallel algorithms for shortest paths in planar graphs},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {288-300},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_98},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bodlaender-Mohring/90,
AUTHOR = {Bodlaender, Hans L. and M{\"o}hring, Rolf H.},
TITLE = {The pathwidth and treewidth of cographs},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {301-309},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_99},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arnborg-Proskurowski/90,
AUTHOR = {Arnborg, Stefan and Proskurowski, Andrzej},
TITLE = {Canonical representations of partial 2- and 3-trees},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {310-319},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_100},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fernandez-Baca-Williams/90,
AUTHOR = {Fern{\'a}ndez-Baca, David and Williams, Mark A.},
TITLE = {On matroids and hierarchical graphs},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {320-331},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_101},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baeza-Yates-Regnier/90,
AUTHOR = {Baeza-Yates, Ricardo and R{\'e}gnier, Mireille},
TITLE = {Fast algorithms for two dimensional and multiple pattern matching},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {332-347},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_102},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tarhio-Ukkonen/90,
AUTHOR = {Tarhio, Jorma and Ukkonen, Esko},
TITLE = {Boyer-Moore approach to approximate string matching},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {348-359},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_103},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Grape/90,
AUTHOR = {Grape, Per},
TITLE = {Complete problems with $L$-samplable distributions},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {360-367},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_104},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hershberger/90a,
AUTHOR = {Hershberger, John},
TITLE = {Upper envelope onion peeling},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {368-379},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_105},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hershberger-Suri/90,
AUTHOR = {Hershberger, John and Suri, Subhash},
TITLE = {Applications of a semi-dynamic convex hull algorithm},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {380-392},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{van_Kreveld-Overmars-Agarwal/90,
AUTHOR = {van Kreveld, Marc and Overmars, Mark and Agarwal, Pankaj K.},
TITLE = {Intersection queries in sets of disks},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {393-403},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_107},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schipper-Overmars/90,
AUTHOR = {Schipper, Haijo and Overmars, Mark H.},
TITLE = {Dynamic partition trees},
BOOKTITLE = {Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, SWAT'90 (Bergen, Norway, July 11-14, 1990)},
SERIES = {LNCS},
VOLUME = {447},
PAGES = {404-417},
YEAR = {1990},
EDITOR = {Gilbert, J.R. and Karlsson, R.},
URL = {http://dx.doi.org/10.1007/3-540-52846-6_108},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Naher-Mehlhorn/90,
AUTHOR = {N{\"a}her, Stefan and Mehlhorn, Kurt},
TITLE = {Leda},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {1-5},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dietzfelbinger-Meyer_auf_der_Heide/90c,
AUTHOR = {Dietzfelbinger, Martin and Meyer auf der Heide, Friedhelm},
TITLE = {A new universal class of hash functions and dynamic hashing in real time},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {6-19},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=6},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Riecke/90,
AUTHOR = {Riecke, Jon G.},
TITLE = {A complete and decidable proof system for call-by-value equalities},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {20-31},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=20},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schwartzbach/90,
AUTHOR = {Schwartzbach, Michael I.},
TITLE = {Static correctness of hierarchical procedures},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {32-45},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=32},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Malecki/90,
AUTHOR = {Malecki, Sophie},
TITLE = {Generic terms having no polymorphic types},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {46-59},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=46},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Krob/90,
AUTHOR = {Krob, Daniel},
TITLE = {A complete system of B-rational identities},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {60-73},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=60},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Luca-Varricchio/90,
AUTHOR = {de Luca, Aldo and Varricchio, Stefano},
TITLE = {On non-counting regular classes},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {74-87},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=74},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Anselmo/90,
AUTHOR = {Anselmo, M.},
TITLE = {Two-way automata with multiplicities},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {88-102},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=88},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kuich/90,
AUTHOR = {Kuich, Werner},
TITLE = {$\omega$-continuous semirings, algebraic systems and pushdown automata},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {103-110},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=103},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geffert/90a,
AUTHOR = {Geffert, Viliam},
TITLE = {Nondeterministic computations in sublogarithmic space and space constructibility},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {111-124},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=111},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wiedermann/90,
AUTHOR = {Wiedermann, Juraj},
TITLE = {Normalizing and accelerating RAM computations and the problem of reasonable space measures},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {125-138},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=125},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Watanabe/90,
AUTHOR = {Watanabe, Osamu},
TITLE = {A formal study of learning via queries},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {139-152},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=139},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jain-Sharma/90,
AUTHOR = {Jain, Sanjay and Sharma, Arun},
TITLE = {Language learning by a ``team''},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {153-166},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=153},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Milner/90,
AUTHOR = {Milner, Robin},
TITLE = {Functions as processes},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {167-180},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=167},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jagadeesan-Panangaden/90,
AUTHOR = {Jagadeesan, Radha and Panangaden, Prakash},
TITLE = {A domain-theoretic model for a higher-order process calculus},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {181-194},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=181},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Droste/90,
AUTHOR = {Droste, Manfred},
TITLE = {Concurrency, automata and domains},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {195-208},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=195},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hennessy-Ingolfsdottir/90,
AUTHOR = {Hennessy, M. and Ing{\^o}lfsd{\'o}ttir, A.},
TITLE = {A theory of communicating processes with value-passing},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {209-219},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=209},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Flajolet-Sipala-Steyaert/90,
AUTHOR = {Flajolet, Philippe and Sipala, Paolo and Steyaert, Jean-Marc},
TITLE = {Analytic variations on the common subexpresion problem},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {220-234},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=220},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Razborov/90a,
AUTHOR = {Razborov, A.A.},
TITLE = {On the distributional complexity of disjointness},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {249-253},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=249},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kranakis-Krizanc-Berg/90,
AUTHOR = {Kranakis, Evangelos and Krizanc, Danny and Berg, Jacob van den},
TITLE = {Computing boolean functions oon anonymous networks},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {254-267},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=254},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goldreich-Krawczyk/90,
AUTHOR = {Goldreich, Oded and Krawczyk, Hugo},
TITLE = {On the composition of zero-knowledge proof systems},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {268-282},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=268},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Book-Lutz-Tang/90,
AUTHOR = {Book, Ronald V. and Lutz, Jack H. and Tang, Shouwen},
TITLE = {Additional queries to random and pseudorandom oracles},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {283-293},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=283},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rabinovich-Trakhtenbrot/90,
AUTHOR = {Rabinovich, A. and Trakhtenbrot, B.A.},
TITLE = {Communication among relations},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {294-307},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=294},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Panangaden-Shanbhogue-Stark/90,
AUTHOR = {Panangaden, Prakash and Shanbhogue, Vasant and Stark, Eugene W.},
TITLE = {Stability and sequentiality in dataflow networks},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {308-321},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=308},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alur-Dill/90,
AUTHOR = {Alur, Rajeev and Dill, David},
TITLE = {Automata for modeling real-time systems},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {322-335},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=322},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Courcoubetis-Yannakakis/90,
AUTHOR = {Courcoubetis, Costas and Yannakakis, Mihalis},
TITLE = {Markov decision processes and regular events},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {336-349},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=336},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Klop/90,
AUTHOR = {Klop, Jan Willem},
TITLE = {Term rewriting systems},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {350-369},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=350},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Verma-Ramakrishnan/90,
AUTHOR = {Verma, Rakesh M. and Ramakrishnan, I.V.},
TITLE = {Nonoblivious normalization algorithms for nonlinear rewrite systems},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {370-385},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=370},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Palamidessi/90,
AUTHOR = {Palamidessi, Catuscia},
TITLE = {Algebraic properties of idempotent substitutions},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {386-399},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=386},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dobkin-Kirkpatrick/90,
AUTHOR = {Dobkin, David P. and Kirkpatrick, David G.},
TITLE = {Determining the separation of preprocessed polyhedra},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {400-413},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=400},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Guibas-Knuth-Sharir/90,
AUTHOR = {Guibas, Leonidas J. and Knuth, Donald E. and Sharir, Micha},
TITLE = {Randomized incremental construction of Delaunay and Voronoi diagrams},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {414-431},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=414},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cole-Goodrich-ODunlaing/90,
AUTHOR = {Cole, Richard and Goodrich, Michael T. and O'D{\'u}nlaing, Colm},
TITLE = {Merging free trees in parallel for efficient Voronoi diagram construction},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {432-445},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=432},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Johnson/90,
AUTHOR = {Johnson, David S.},
TITLE = {Local optimization and the traveling salesman problem},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {446-461},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=446},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jerrum-Sinclair/90b,
AUTHOR = {Jerrum, Mark and Sinclair, Alistair},
TITLE = {Polynomial-time approximation algorithms for the Ising model},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {462-475},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=462},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Savage-Wloka/90,
AUTHOR = {Savage, John E. and Wloka, Markus G.},
TITLE = {On parallelizing graph-partitioning heuristics},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {476-489},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=476},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Choffrut/90,
AUTHOR = {Choffrut, Christian},
TITLE = {Iterated substitutions and locally catenative systems},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {490-500},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=490},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Clerbout-Latteux-Roos/90,
AUTHOR = {Clerbout, Mireille and Latteux, Michel and Roos, Yves},
TITLE = {Decomposition of partial commutations},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {501-511},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=501},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pelletier/90,
AUTHOR = {Pelletier, Maryse},
TITLE = {Boolean closure and unambiguity of rational sets},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {512-525},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=512},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Larsen-Xinxin/90,
AUTHOR = {Larsen, Kim G. and Xinxin, Liu},
TITLE = {Compositionality through an operational semantics of contexts},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {526-539},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=526},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Parrow/90,
AUTHOR = {Parrow, Joachim},
TITLE = {Structural and behavioural equivalences of networks},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {540-552},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=540},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Peled-Pnueli/90,
AUTHOR = {Peled, Doron and Pnueli, Amir},
TITLE = {Proving partial order liveness properties},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {553-571},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=553},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Boer/90,
AUTHOR = {de Boer, F.S.},
TITLE = {A proof system for the parallel object-oriented language POOL},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {572-585},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=572},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Blum/90d,
AUTHOR = {Blum, Norbert},
TITLE = {A new approach to maximum matching in general graphs},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {586-597},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=586},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Di_Battista-Tamassia/90,
AUTHOR = {Di Battista, Giuseppe and Tamassia, Roberto},
TITLE = {On-line graph algorithms with SPQR-trees},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {598-611},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=598},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pan-Reif/90,
AUTHOR = {Pan, Victor and Reif, John},
TITLE = {On the bit-complexity of discrete solutions of PDEs},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {612-625},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=612},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Groote-Vaandrager/90,
AUTHOR = {Groote, Jan Friso and Vaandrager, Frits},
TITLE = {An efficient algorithm for branching bisimulation an stuttering equivalence},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {626-638},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=626},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jones/90a,
AUTHOR = {Jones, Neil D.},
TITLE = {Partial evaluation, self-application and types},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {639-659},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=639},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tucker-Wainer-Zucker/90,
AUTHOR = {Tucker, J.V. and Wainer, S.S. and Zucker, J.J.},
TITLE = {Provable computable functions on abstract data types},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {660-673},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=660},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Comon/90a,
AUTHOR = {Comon, Hubert},
TITLE = {Equational formulas in order-sorted algebras},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {674-688},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=674},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goodrich-Atallah-Overmars/90,
AUTHOR = {Goodrich, Michael T. and Atallah, Mikhail J. and Overmars, Mark H.},
TITLE = {An input-size/output-size trade-off in the time-complexity of rectilinear hidden surface removal},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {689-702},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=689},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alt-Blomer-Godau-Wagener/90,
AUTHOR = {Alt, Helmut and Bl{\"o}mer, Johannes and Godau, Michael and Wagener, Hubert},
TITLE = {Approximation of convex polygons},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {703-716},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=703},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hoffmann/90a,
AUTHOR = {Hoffmann, Frank},
TITLE = {On the rectilinear art gallery problem},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {717-728},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=717},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Matias-Vishkin/90a,
AUTHOR = {Matias, Yossi and Vishkin, Uzi},
TITLE = {On parallel hashing and integer sorting},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {729-743},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=729},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ragde/90,
AUTHOR = {Ragde, Prabhakar},
TITLE = {The parallel simplicity of compaction and chaining},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {744-751},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=744},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Moller/90,
AUTHOR = {Moller, Faron},
TITLE = {The importance of the left merge operator in process algebras},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {752-764},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=752},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Prasad-Giacalone-Mishra/90,
AUTHOR = {Prasad, Sanjiva and Giacalone, Alessandro and Mishra, Prateek},
TITLE = {Operational and algebraic semantics for Facile},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {765-780},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=765},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Allender-Beigel-Hertrampf-Homer/90,
AUTHOR = {Allender, E. and Beigel, R. and Hertrampf, U. and Homer, S.},
TITLE = {A note on the almost-everywhere hierarchy for nondeterministic time},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {1-11},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Allouche-Shallit/90,
AUTHOR = {Allouche, J.-P. and Shallit, J.},
TITLE = {The ring of $k$-regular sequences},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {12-23},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=12},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ambos-Spies-Homer-Soare/90,
AUTHOR = {Ambos-Spies, K. and Homer, S. and Soare, R.I.},
TITLE = {Minimal pairs and complete problems},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {24-36},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=24},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beaver-Feigenbaum/90,
AUTHOR = {Beaver, D. and Feigenbaum, J.},
TITLE = {Hiding instances in multioracle queries},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {37-48},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=37},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beigel-Gill-Hertrampf/90,
AUTHOR = {Beigel, R. and Gill, J. and Hertrampf, U.},
TITLE = {Counting classes: Thresholds, parity, mods, and fewness},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {49-57},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=49},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cai-Condon-Lipton/90,
AUTHOR = {Cai, J. and Condon, A. and Lipton, R.J.},
TITLE = {Playing games of incomplete information},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {58-69},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=58},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chytil-Monien/90,
AUTHOR = {Chytil, M.P. and Monien, B.},
TITLE = {Caterpillars and context-free languages},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {70-81},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=70},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Clerbout-Roos/90,
AUTHOR = {Clerbout, M. and Roos, Y.},
TITLE = {Semi-commutations and algebraic languages},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {82-94},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=82},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Corradini-Montanari/90,
AUTHOR = {Corradini, A. and Montanari, U.},
TITLE = {Towards a process semantics in the logic programming style},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {95-108},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=95},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Crochemore-Rytter/90a,
AUTHOR = {Crochemore, M. and Rytter, W.},
TITLE = {Parallel computations on strings and arrays},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {109-125},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=109},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Das-Joseph/90,
AUTHOR = {Das, G. and Joseph, D.},
TITLE = {Minimum vertex hulls for polyhedral domains},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {126-137},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=126},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diekert/90,
AUTHOR = {Diekert, V.},
TITLE = {Combinatorial rewriting on traces},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {138-151},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=138},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Joseph-Sitharam/90,
AUTHOR = {Joseph, D. and Sitharam, M.},
TITLE = {Kolmogorov complexity, restricted nondeterminism and generalized spectra},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {152-164},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=152},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kreowski-Qian/90,
AUTHOR = {Kreowski, H.-J. and Qian, Z.},
TITLE = {Relation-sorted algebraic specifications with built-in coercers: Basic notions and results},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {165-175},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=165},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kutylowski/90,
AUTHOR = {Kuty{\l}owski, M.},
TITLE = {Computational power of one-way multihead finite automata},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {176-187},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=176},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lai-Wood/90,
AUTHOR = {Lai, T.W. and Wood, D.},
TITLE = {Updating almost complete trees or One level makes all the difference},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {188-194},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=188},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lambert/90,
AUTHOR = {Lambert, J.-L.},
TITLE = {Sorting the sums $(x_i + y_j)$ in $O(n^2)$ comparisons},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {195-206},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=195},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lipton/90,
AUTHOR = {Lipton, R.J.},
TITLE = {Efficient checking of computations},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {207-215},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=207},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Longpre-Selman/90,
AUTHOR = {Longpr{\'e}, L. and Selman, A.L.},
TITLE = {Hard promise problems and nonuniform complexity},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {216-226},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=216},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mehlhorn-Meiser-ODunlaing/90,
AUTHOR = {Mehlhorn, K. and Meiser, St. and O'D{\'u}nlaing, C.},
TITLE = {On the construction of abstract Voronoi diagrams},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {227-239},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=227},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schwarzkopf-Fuchs-Rote-Welzl/90,
AUTHOR = {Schwarzkopf, O. and Fuchs, U. and Rote, G. and Welzl, E.},
TITLE = {Approximation of convex figures by pairs of rectangles},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {240-249},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=240},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schwill/90,
AUTHOR = {Schwill, A.},
TITLE = {Nonblocking graphs: Greedy algorithms to compute disjoint paths},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {250-262},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=250},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Thomas/90a,
AUTHOR = {Thomas, W.},
TITLE = {Infinite trees and automaton definable relations over $\omega$-words},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {263-277},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=263},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Viennot/90,
AUTHOR = {Viennot, G.},
TITLE = {Enumerative combinatorics and computer science},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {278-284},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=278},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vogler/90,
AUTHOR = {Vogler, W.},
TITLE = {Failures semantics based on interval semiwords is a congruence for refinement},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {285-297},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=285},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Yannakakis/90,
AUTHOR = {Yannakakis, M.},
TITLE = {The analysis of local search problems and their heuristics},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {298-311},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=298},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}