@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},
}