@incollection{Eiter-Gottlob/97,
AUTHOR = {Eiter, Thomas and Gottlob, Georg},
TITLE = {The complexity class $\Theta^p_2$: Recent results and applications in AI and modal logic},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {1-18},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Hennicker-Wirsing/97,
AUTHOR = {Hennicker, Rolf and Wirsing, Martin},
TITLE = {Proof systems for structured algebraic specifications: An overview},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {19-37},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Li-Vitanyi/97,
AUTHOR = {Li, Ming and Vit{\'{a}}nyi, Paul},
TITLE = {Average-case analysis via incompressibility},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {38-50},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Mazurkiewicz/97a,
AUTHOR = {Mazurkiewicz, Antoni},
TITLE = {Locally computable enumerations},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {51-66},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Spielman/97,
AUTHOR = {Spielman, Daniel A.},
TITLE = {The complexity of error-correcting codes},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {67-84},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Upfal/97,
AUTHOR = {Upfal, Eli},
TITLE = {Stochastic analysis of dynamic processes},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {85-92},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Avermiddig-Kunde-Osterloh/97,
AUTHOR = {Avermiddig, Alfons and Kunde, Manfred and Osterloh, Andre},
TITLE = {$k-k$-sorting on the multi-mesh},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {93-104},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Best-Thielke/97a,
AUTHOR = {Best, Eike and Thielke, Thomas},
TITLE = {Refinement of coloured Petri nets},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {105-116},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Badouel-Darondeau/97,
AUTHOR = {Badouel, Eric and Darondeau, Philippe},
TITLE = {Stratified Petri nets},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {117-128},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Calabrese/97,
AUTHOR = {Calabrese, Antonio},
TITLE = {Distributed acyclic orientation of asynchronous anonymous networks},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {129-137},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Choffrut-Guerra/97,
AUTHOR = {Choffrut, Christian and Guerra, Leucio},
TITLE = {Generalized rational relations and their logical difinability},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {138-149},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Ciebiera-Malinowski/97,
AUTHOR = {Ciebiera, Krzysztof and Malinowski, Adam},
TITLE = {A note on broadcasting with linearly bounded transmission faults in constant degree networks},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {150-156},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Cucker-Meer/97,
AUTHOR = {Cucker, Felipe and Meer, Klaus},
TITLE = {Logics which capture complexity classes over the reals},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {157-167},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Drewes-Kreowski-Lapoire/97,
AUTHOR = {Drewes, Frank and Kreowski, Hans-J{\"o}rg and Lapoire, Denis},
TITLE = {Criteria to disprove context-freeness of collage languages},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {169-178},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Frid/97,
AUTHOR = {Frid, Anna E.},
TITLE = {The subword complexity of fixed points of binary uniform morphisms},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {179-187},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Gasieniec-Indyk/97,
AUTHOR = {G{\c{a}}sieniec, Leszek and Indyk, Piotr},
TITLE = {Efficient parallel computing with memory faults},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {188-197},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Gruska/97,
AUTHOR = {Gruska, Damas P.},
TITLE = {Bounded concurrency},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {198-209},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Hammar-Nilsson/97,
AUTHOR = {Hammar, Mikael and Nilsson, Bengt J.},
TITLE = {Concerning the time bounds of existing shortest watchman route algortihms},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {210-221},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Hemaspaandra-Hemaspaandra-Hempel/97c,
AUTHOR = {Hemaspaandra, Edith and Hemaspaandra, Lane A. and Hempel, Harald},
TITLE = {Query order in the polynomial hierarchy},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {222-232},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Hertrampf/97b,
AUTHOR = {Hertrampf, Ulrich},
TITLE = {Polynomial time machines equipped with word problems over algebraic strutctures as their acceptance criteria},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {233-244},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Karhumaki-Plandowski-Rytter/97,
AUTHOR = {Karhum{\"a}ki, Juhani and Plandowski, Wojciech and Rytter, Wojciech},
TITLE = {Pattern-matching problems for 2-dimensional images described by finite automata},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {245-256},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Koppenhagen-Mayr/97,
AUTHOR = {Koppenhagen, Ulla and Mayr, Ernst W.},
TITLE = {The complexity of the coverability, the containment, and the equivalence problems for commutative semigroups},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {257-268},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Kudlek-Marcus-Mateescu/97,
AUTHOR = {Kudlek, Manfred and Marcus, Solomon and Mateescu, Alexandru},
TITLE = {Contextual grammars with distributed catenation and shuffle},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {269-280},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Kuhnemann/97,
AUTHOR = {K{\"u}hnemann, Armin},
TITLE = {A two-dimensional hierarchy for attributed tree transducers},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {281-292},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{la_Torre-Napoli-Parente/97,
AUTHOR = {la Torre, Salvatore and Napoli, Margherita and Parente, Mimmo},
TITLE = {Synchronization of 1-way connected processors},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {293-304},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Levcopoulos-Gudmundsson/97a,
AUTHOR = {Levcopoulos, Christos and Gudmundsson, Joachim},
TITLE = {A linear-time heuristic for minimum rectangular coverings},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {305-316},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Lomazova/97,
AUTHOR = {Lomazova, Irina A.},
TITLE = {On occurrence net semantics for Petri nets with contacts},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {317-328},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Martin/97b,
AUTHOR = {Martin, Bruno},
TITLE = {Cellular automata universality revisited},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {329-339},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Mavronicolas-Papadakis/97,
AUTHOR = {Mavronicolas, Marios and Papadakis, Nikos},
TITLE = {Trade-off results for connection management},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {340-351},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Nebel/97,
AUTHOR = {Nebel, Markus E.},
TITLE = {On the average complexity of the membership problem for a generalized Dyck language},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {352-363},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Niedermeier-Reinhardt-Sanders/97,
AUTHOR = {Niedermeier, Rolf and Reinhardt, Klaus and Sanders, Peter},
TITLE = {Towards optimal locality in mesh-indexings},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {364-375},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Okolnishnikova/97,
AUTHOR = {Okol'nishnikova, Elizaveta A.},
TITLE = {On the hierarchy of nondeterministic branching $k$-programs},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {376-387},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Otto-Sattler-Klein/97,
AUTHOR = {Otto, Friedrich and Sattler-Klein, Andrea},
TITLE = {FDT is undecidable for finitely presented monoids with solvable word problems},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {388-399},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Petersen/97,
AUTHOR = {Petersen, Holger},
TITLE = {The equivalence of pebbles and sensing heads for finite automata},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {400-410},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Rabinovich-Trakhtenbrot/97,
AUTHOR = {Rabinovich, A. and Trakhtenbrot, B.A.},
TITLE = {From finite automata toward hybrid systems},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {411-422},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Sadowski/97,
AUTHOR = {Sadowski, Zenon},
TITLE = {On an optimal quantified propositional proof system and a complete language for $NP\cap$ co-$NP$},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {423-428},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Schuierer/97,
AUTHOR = {Schuierer, Sven},
TITLE = {Lower bounds in on-line geometric searching},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {429-440},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Stephan-Terwijn/97,
AUTHOR = {Stephan, Frank C. and Terwijn, Sebastiaan A.},
TITLE = {The complexity of universal text-learners},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {441-451},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Verma/97,
AUTHOR = {Verma, Rakesh M.},
TITLE = {Unique normal forms for nonlinear term rewriting systems: Root overlaps},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {452-462},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Virbitskaite-Votintseva/97,
AUTHOR = {Virbitskaite, Irina and Votintseva, Anzhelika},
TITLE = {Behavioural characterizations of partial order logics},
BOOKTITLE = {Proceedings of the 11th International Symposium on Fundamentals of Computation Theory, FCT'97 (Krak{\'{o}}w, Poland, September 1-3, 1997)},
SERIES = {LNCS},
VOLUME = {1279},
PAGES = {463-474},
YEAR = {1997},
EDITOR = {Chlebus, Bogdan S. and Czaja, Ludwik},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}