@incollection{Courcelle/89a,
AUTHOR = {Courcelle, B.},
TITLE = {Monadic second-order logic and context-free graph-grammars},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {18-34},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Harel/89,
AUTHOR = {Harel, D.},
TITLE = {A thesis for bounded concurrency},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {35-48},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hartmanis-Ranjan/89,
AUTHOR = {Hartmanis, J. and Ranjan, D.},
TITLE = {Space bounded computations: Review and new separation results},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {49-66},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kotov-Cherkasova/89,
AUTHOR = {Kotov, V.E. and Cherkasova, L.A.},
TITLE = {Concurrent nondeterministic processes: Adequacy of structure and behaviour},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {67-87},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Olderog/89,
AUTHOR = {Olderog, E.-R.},
TITLE = {Correctness of concurrent processes},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {107-132},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=107},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Trakhtenbrot/89,
AUTHOR = {Trakhtenbrot, B.},
TITLE = {Understanding nets (abstract)},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {133-134},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=133},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Andreka-Nemeti-Sain/89,
AUTHOR = {Andr{\'e}ka, H. and N{\'e}meti, I. and Sain, I.},
TITLE = {On the strength of temporal proofs},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {135-144},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=135},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Andrews/89,
AUTHOR = {Andrews, J.H.},
TITLE = {Proof-theoretic characterisations of logic programming},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {145-154},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=145},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Badouel/89,
AUTHOR = {Badouel, E.},
TITLE = {Algebraically closed theories},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {155-164},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=155},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Boer-Kok-Palamidessi-Rutten/89,
AUTHOR = {de Boer, F.S. and Kok, J.N. and Palamidessi, C. and Rutten, J.J.M.M.},
TITLE = {Control flow versus logic: A denotational and declarative model for guarded Horn clauses},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {165-176},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=165},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Calude-Vaida/89,
AUTHOR = {Calude, C. and Vaida, D.},
TITLE = {Ehrenfeucht test set theorem and Hilbert basis theorem: A constructive glimpse},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {177-184},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=177},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chlebus-Diks-Rytter-Szymacha/89,
AUTHOR = {Chlebus, B. and Diks, K. and Rytter, W. and Szymacha, T.},
TITLE = {Parallel complexity of lexicographically first problems for tree-structured graphs (extended abstract)},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {185-195},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=185},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dassow-Hromkovic-Karhumaki-Rovan-Slobodova/89,
AUTHOR = {Dassow, J. and Hromkovi{\v{c}}, J. and Karhum{\"a}ki, J. and Rovan, B. and Slobodov{\'a}, A.},
TITLE = {On the power of synchronization in parallel computations},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {196-206},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=196},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diks-Hagerup-Rytter/89,
AUTHOR = {Diks, K. and Hagerup, T. and Rytter, W.},
TITLE = {Optimal parallel algorithms for the recognition and colouring outerplanar graphs},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {207-217},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=207},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Elkan/89,
AUTHOR = {Elkan, Ch.},
TITLE = {Logical characterizations of nonmonotonic TMSs},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {218-224},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Farres-Casals/89,
AUTHOR = {Farr{\'e}s-Casals, J.},
TITLE = {Proving correctness of constructor implementations},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {225-236},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=225},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{van_Glabbeek-Goltz/89,
AUTHOR = {van Glabbeek, R. and Goltz, U.},
TITLE = {Equivalence notions for concurrent systems and refinement of actions (extended abstract)},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {237-248},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=237},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gouda-Howell-Rosier/89,
AUTHOR = {Gouda, M.G. and Howell, R.R. and Rosier, L.E.},
TITLE = {System simulation and the sensitivity of self-stabilization (extended abstract)},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {249-258},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=249},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hemachandra-Hoene-Siefkes/89,
AUTHOR = {Hemachandra, L.A. and Hoene, A. and Siefkes, D.},
TITLE = {Polynomial-time functions generate SAT: on $P$-splinters},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {259-269},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=259},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Heuter/89,
AUTHOR = {Heuter, U.},
TITLE = {Generalized definite tree languages},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {270-280},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=270},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Holte-Rosier-Tulchinsky-Varvel/89,
AUTHOR = {Holte, R. and Rosier, L. and Tulchinsky, I. and Varvel, D.},
TITLE = {Pinwheel scheduling with two distinct numbers},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {281-290},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=281},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Iwanowski/89a,
AUTHOR = {Iwanowski, S.},
TITLE = {Testing approximate symmetry in the plane is $NP$-hard},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {291-304},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=291},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jousselin-Moskowitz/89,
AUTHOR = {Jousselin, C. and Moskowitz, J.-P.},
TITLE = {Memory and algebra},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {305-313},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=305},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Just/89,
AUTHOR = {Just, B.},
TITLE = {Integer relations among algebraic numbers},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {314-320},
YEAR = {1989},
}
@incollection{Kok/89,
AUTHOR = {Kok, J.N.},
TITLE = {An iterative metric fully abstract semantics for nondeterministic dataflow (extended abstract)},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {321-330},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=321},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kowalczyk/89,
AUTHOR = {Kowalczyk, W.},
TITLE = {Complexity of decision problems under incomplete information},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {331-337},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=331},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Manca-Salibra-Scollo/89,
AUTHOR = {Manca, V. and Salibra, A. and Scollo, G.},
TITLE = {On the nature of TELLUS (a typed equational logic look over uniform specification)},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {338-349},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=338},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meinel/89,
AUTHOR = {Meinel, Ch.},
TITLE = {Switching graphs and their complexity},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {350-359},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=350},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meyer-Vink/89,
AUTHOR = {Meyer, J.-J.Ch. and Vink, E.P. de},
TITLE = {Pomset semantics for true concurrency with synchronization and recursion (extended abstract)},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {360-369},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=360},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Barrington-McKenzie/89,
AUTHOR = {Barrington, D.A. Mix and McKenzie, P.},
TITLE = {Oracle branching programs and logspace versus $\P$ (extended abstract)},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {370-379},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=370},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ng-Oommen/89,
AUTHOR = {Ng, D.T.H. and Oommen, B.J.},
TITLE = {Generalizing singly-linked list reorganizing heuristics for doubly-linked lists},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {380-389},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=380},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Palko-Sykora-Vrto/89,
AUTHOR = {Palko, V. and S{\'y}kora, O. and Vr{\v{t}}o, I.},
TITLE = {Area complexity of merging},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {390-396},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=390},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Peladeau/89,
AUTHOR = {P{\'e}ladeau, P.},
TITLE = {Logically defined subsets of $N^k$},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {397-407},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=397},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Petermann/89,
AUTHOR = {Petermann, U.},
TITLE = {An extended Herbrand theorem for first-order theories with equality interpreted in partial algebras},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {408-417},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=408},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Petit/89,
AUTHOR = {Petit, A.},
TITLE = {Characterization of recognizable trace languages by distributed automata},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {418-430},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=418},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Regnier/89,
AUTHOR = {Regnier, M.},
TITLE = {Knuth-Morris-Pratt algorithm: An analysis},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {431-444},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=431},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Saoudi/89,
AUTHOR = {Saoudi, A.},
TITLE = {Pushdown automata on infinite trees and $\omega$-Kleene closure of context-free tree sets},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {445-457},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=445},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schmidt-Schwartzbach/89,
AUTHOR = {Schmidt, E.M. and Schwartzbach, M.I.},
TITLE = {An imperative type hierarchy with partial products},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {458-470},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=458},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Slusarek/89,
AUTHOR = {{\'S}lusarek, M.},
TITLE = {A coloring algorithm for interval graphs},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {471-480},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=471},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Steffen-Knoop/89,
AUTHOR = {Steffen, B. and Knoop, J.},
TITLE = {Finite constants: characterizations of a new decidable set of constants},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {481-491},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=481},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Steffen/89a,
AUTHOR = {Steffen, B.},
TITLE = {Optimal data flow analysis via observational equivalence},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {492-502},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=492},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Stetsenko/89,
AUTHOR = {Stetsenko, V.A.},
TITLE = {One more method for proving lower bounds on the formula complexity of boolean functions},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {503-510},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=503},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Szczepanska/89,
AUTHOR = {Szczepa{\'n}ska, D.},
TITLE = {The Hoare-like verification system for a language with an exception handling mechanism},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {511-522},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=511},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Weber/89,
AUTHOR = {Weber, A.},
TITLE = {On the lengths of values in a finite transducer},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {523-533},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=523},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Weil/89,
AUTHOR = {Weil, P.},
TITLE = {On varieties of languages closed under products with counter},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {534-544},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=534},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wiedermann/89,
AUTHOR = {Wiedermann, J.},
TITLE = {On the computational efficiency of symmetric neural networks},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {545-552},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=545},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Yoccoz/89,
AUTHOR = {Yoccoz, S.},
TITLE = {Constructive aspects of the $\omega$-rule: application to proof systems in computer science and algorithmic logic},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {553-565},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=553},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zaionc/89,
AUTHOR = {Zaionc, M.},
TITLE = {How to define functionals on free structures in typed lambda-calculus},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {566-576},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=566},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mazurkiewicz/89,
AUTHOR = {Mazurkiewicz, A.},
TITLE = {Concurrency, modularity and synchronization},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {577-598},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=577},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ablayev/89,
AUTHOR = {Ablayev, F.M.},
TITLE = {On comparing probabilistic and deterministic automata complexity of languages},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {599-605},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=599},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mehlhorn-Naher/89,
AUTHOR = {Mehlhorn, K. and N{\"a}her, S.},
TITLE = {A library of efficient data types and algorithms},
BOOKTITLE = {Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)},
SERIES = {LNCS},
VOLUME = {379},
PAGES = {886-106},
YEAR = {1989},
EDITOR = {Kreczmar, A. and Mirkowska, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=886},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}