@incollection{Lassez-Maher-Marriott/91,
AUTHOR = {Lassez, J.-L. and Maher, M. and Marriott, K.},
TITLE = {Elimination of negation in term algebras},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {1-16},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lescanne/91,
AUTHOR = {Lescanne, Pierre},
TITLE = {Rewrite orderings and termination of rewrite systems},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {17-27},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Manna-Pnueli/91a,
AUTHOR = {Manna, Zohar and Pnueli, Amir},
TITLE = {On the faithfulness of formal models},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {28-42},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nielsen/91,
AUTHOR = {Nielsen, Mogens},
TITLE = {Models for concurrency},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {43-46},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Salwicki/91,
AUTHOR = {Salwicki, Andrzej},
TITLE = {On a hierarchy of file types and a tower of their theories},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {47-63},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alessi-Barbanera/91,
AUTHOR = {Alessi, Fabio and Barbanera, Franco},
TITLE = {Strong conjunction and intersection types},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {64-73},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Astesiano-Cerioli/91,
AUTHOR = {Astesiano, Egidio and Cerioli, Maura},
TITLE = {Partial higher-order specifications},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {74-83},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bonnier/91,
AUTHOR = {Bonnier, Staffan},
TITLE = {Unification in incompletely specified theories. A case study},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {84-92},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boudol-Castellani-Hennessy-Kiehn/91,
AUTHOR = {Boudol, G. and Castellani, I. and Hennessy, M. and Kiehn, A.},
TITLE = {Observing localities},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {93-102},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Costa-Reggio/91,
AUTHOR = {Costa, Gerardo and Reggio, Gianna},
TITLE = {Abstract dynamic data types: A temporal logic approach},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {103-112},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=103},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cerny/91,
AUTHOR = {{\v{C}}ern{\'y}, Anton},
TITLE = {Generating words by cellular automata},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {113-120},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=113},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Degano-Gorrieri/91,
AUTHOR = {Degano, Pierpaolo and Gorrieri, Roberto},
TITLE = {Atomic refinement in process description languages},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {121-130},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=121},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diekert-Gastin-Petit/91,
AUTHOR = {Diekert, Volker and Gastin, Paul and Petit, Antoine},
TITLE = {Recognizable complex trace languages},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {131-140},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=131},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Domenjoud/91,
AUTHOR = {Domenjoud, Eric},
TITLE = {Solving systems of linear diophantine equations: An algebraic approach},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {141-150},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=141},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dowek/91,
AUTHOR = {Dowek, Gilles},
TITLE = {A second-order pattern matching algorithm for the cube of typed $\lambda$-calculi},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {151-160},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Egidi-Honsell-Roca/91,
AUTHOR = {Egidi, Lavinia and Honsell, Furio and Roca, Simona Ronchi della},
TITLE = {The lazy call-by-value $\lambda$-calculus},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {161-169},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=161},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gorrieri-Laneve/91,
AUTHOR = {Gorrieri, Roberto and Laneve, Cosimo},
TITLE = {The limit of $\mbox{split}_n$-bisimulations for CCS agents},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {170-180},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=170},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hansel-Krob-Michaux/91,
AUTHOR = {Hansel, Georges and Krob, Daniel and Michaux, Christian},
TITLE = {Stochastic automata and length distributions of rational languages},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {181-190},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=181},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hilken-Rydeheard/91,
AUTHOR = {Hilken, Barney P. and Rydeheard, David E.},
TITLE = {Towards a categorical semantics of type classes},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {191-201},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=191},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Howell-Jancar-Rosier/91,
AUTHOR = {Howell, Rodney R. and Jan{\v{c}}ar, Petr and Rosier, Louis E.},
TITLE = {Single-path Petri nets},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {202-210},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=202},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hromkovic-Monien/91,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Monien, Burkhard},
TITLE = {The bisection problem for graphs of degree 4 (configuring transputer systems)},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {211-220},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=211},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ibarra-Jiang-Wang/91a,
AUTHOR = {Ibarra, Oscar H. and Jiang, Tao and Wang, Hui},
TITLE = {Some results concerning 2-D on-line tessellation acceptors and 2-D alternating finite automata},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {221-230},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=221},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Inverardi-Nesi/91,
AUTHOR = {Inverardi, P. and Nesi, M.},
TITLE = {Infinite normal forms for non-linear term rewriting systems},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {231-239},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jokinen-Ukkonen/91,
AUTHOR = {Jokinen, Petteri and Ukkonen, Esko},
TITLE = {Two algorithms for approximate string matching in static texts},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {240-248},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=240},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karhumaki-Rytter-Jarominek/91,
AUTHOR = {Karhum{\"a}ki, Juhani and Rytter, Wojciech and Jarominek, Stefan},
TITLE = {Efficient constructions of test sets for regular and context-free languages},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {249-258},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=249},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kavadias-Kirousis-Spirakis/91a,
AUTHOR = {Kavadias, Dimitris and Kirousis, Lefteris M. and Spirakis, Paul},
TITLE = {The complexity of the reliable connectivity problem},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {259-266},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=259},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kesner/91,
AUTHOR = {Kesner, Delia},
TITLE = {Pattern matching in order-sorted languages},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {267-276},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=267},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Konikowska/91,
AUTHOR = {Konikowska, Beata},
TITLE = {Two over three: A two-valued logic for software specification and validation over a three-valued predicate calculus},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {277-286},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kounalis-Lugiez-Pottier/91,
AUTHOR = {Kounalis, Emmanuel and Lugiez, Denis and Pottier, Loic},
TITLE = {A solution of the complement problem in associative-commutative theories},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {287-297},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=287},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Krishnan/91,
AUTHOR = {Krishnan, Padmanabhan},
TITLE = {A model for real-time systems},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {298-307},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=298},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lam-Van/91,
AUTHOR = {Lam, Nguyen Huong and Van, Do Long},
TITLE = {On strict codes},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {308-317},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=308},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Leiss-Henglein/91,
AUTHOR = {Lei{\ss}, Hans and Henglein, Fritz},
TITLE = {A decidable case of the semi-unification problem},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {318-327},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=318},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Leopold/91,
AUTHOR = {Leopold, Claudia},
TITLE = {Maintaining dictionaries in a hierarchical memory},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {328-336},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=328},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meinel-Waack/91a,
AUTHOR = {Meinel, Christoph and Waack, Stephan},
TITLE = {Upper and lower bounds for certain graph-accessibility-problems on bounded alternating $\omega$-branching programs},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {337-345},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=337},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Montanari-Sassone/91,
AUTHOR = {Montanari, Ugo and Sassone, Vladimiro},
TITLE = {CCS dynamic bisimulation is progressing},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {346-356},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=346},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nait_Abdallah/91,
AUTHOR = {Nait Abdallah, M.A.},
TITLE = {Syntax and semantics of a monotonic framework for non-monotonic reasoning},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {357-366},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=357},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Niwinski/91,
AUTHOR = {Niwi{\'n}ski, Damian},
TITLE = {On the cardinality of sets of infinite trees recognizable by finite automata},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {367-376},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=367},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paech/91,
AUTHOR = {Paech, Barbara},
TITLE = {Extending temporal logic by explicit concurrency},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {377-386},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=377},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pino_Perez/91,
AUTHOR = {Pino Perez, Ram{\'o}n},
TITLE = {An extensional partial combinatory algebra based on $\lambda$-terms},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {387-396},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=387},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Poigne/91,
AUTHOR = {Poign{\'e}, Axel},
TITLE = {Once more on order-sorted algebras},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {397-405},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=397},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Roos-Wacrenier/91,
AUTHOR = {Roos, Y. and Wacrenier, P.A.},
TITLE = {Composition of two semi commutations},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {406-414},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=406},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ruzicka/91,
AUTHOR = {Ru{\v{z}}i{\v{c}}ka, Peter},
TITLE = {An efficient decision algorithm for the uniform semi-unification problem},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {415-425},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=415},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Shvachko/91,
AUTHOR = {Shvachko, Konstantin V.},
TITLE = {Different modifications of pointer machines and their computational power},
BOOKTITLE = {Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS'91 (Kazimierz Dolny, Poland, September 9-13, 1991)},
SERIES = {LNCS},
VOLUME = {520},
PAGES = {426-435},
YEAR = {1991},
EDITOR = {Tarlecki, A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=520&spage=426},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}