@incollection{Baeten-Bergstra/95,
AUTHOR = {Baeten, J.C.M. and Bergstra, J.A.},
TITLE = {Discrete time process algebra with abstraction},
BOOKTITLE = {Proceedings of the Internatinal Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {1-15},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chaochen-Hung-Xiaoshan/95,
AUTHOR = {Chaochen, Zhou and Hung, Dang Van and Xiaoshan, Li},
TITLE = {A duration calculus with infinite intervals},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {16-41},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fisher-Mitchell/95,
AUTHOR = {Fisher, Kathleen and Mitchell, John C.},
TITLE = {A delegation-based object calculus with subtyping},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {42-61},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Larsen-Pettersson-Yi/95,
AUTHOR = {Larsen, Kim G. and Pettersson, Paul and Yi, Wang},
TITLE = {Model-checking for real-time systems},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {62-88},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mayr/95a,
AUTHOR = {Mayr, Ernst W.},
TITLE = {On polynomial ideals, their complexity, and applications},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {89-105},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Amadio-Leth-Thomsen/95,
AUTHOR = {Amadio, Roberto M. and Leth, Lone and Thomsen, Bent},
TITLE = {From a concurrent $\lambda$-calculus to the $\pi$-calculus},
BOOKTITLE = {Proceedings of the 10th International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {106-115},
YEAR = {1995},
EDITOR = {Reichel, Horst},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=965&spage=106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Antimirov/95a,
AUTHOR = {Antimirov, Valentin},
TITLE = {Rewriting regular inequalities},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {116-125},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barthe/95,
AUTHOR = {Barthe, Gilles},
TITLE = {A simple abstract semantics for equational theories},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {126-135},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bergstra-GhStefanescu/95,
AUTHOR = {Bergstra, J.A. and Gh.{\c{S}}tef{\u{a}}nescu},
TITLE = {Processes with multiple entries and exits},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {136-145},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bertol/95,
AUTHOR = {Bertol, Michael},
TITLE = {Efficient rewriting in cograph trace monoids},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {146-155},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Calude-Zimand/95,
AUTHOR = {Calude, Cristian and Zimand, Marius},
TITLE = {Effective category and measure in abstract complexity theory},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {156-170},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chaboud/95,
AUTHOR = {Chaboud, Thomas},
TITLE = {About planar Cayley graphs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {171-180},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chepoi-Dragan/95,
AUTHOR = {Chepoi, Victor D. and Dragan, Feodor F.},
TITLE = {On Condorcet and median points of simple rectilinear polygons},
BOOKTITLE = {Proceedings of the 10th International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {181-190},
YEAR = {1995},
EDITOR = {Reichel, Horst},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=965&spage=181},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Djidjev-Pantziou-Zaroliagis/95a,
AUTHOR = {Djidjev, Hristo N. and Pantziou, Grammati E. and Zaroliagis, Christos D.},
TITLE = {Fast algorithms for maintaining shortest paths in outerplanar and planar digraphs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {191-200},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dragan-Nicolai/95,
AUTHOR = {Dragan, Feodor F. and Nicolai, Falk},
TITLE = {$r$-domination problems on homogeneously orderable graphs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {201-210},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Durand-Mazoyer/95,
AUTHOR = {Durand, Bruno and Mazoyer, Jacques},
TITLE = {Growing patterns in 1D cellular automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {211-220},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Esparza/95,
AUTHOR = {Esparza, Javier},
TITLE = {Petri nets, commutative context-free grammars, and basic parallel processes},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {221-232},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fassbender/95,
AUTHOR = {Fa\ss{}bender, Heinz},
TITLE = {Implementation of a UU-algorithm for primitve recursive tree functions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {233-242},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ferreira-Zantema/95,
AUTHOR = {Ferreira, M.C.F. and Zantema, H.},
TITLE = {Dummy elimination: Making termination easier},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {243-252},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gronewold-Fleichhack/95,
AUTHOR = {Gronewold, Anja and Fleichhack, Hans},
TITLE = {Computing Petri net languages by reductions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {253-262},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{de_Haas/95,
AUTHOR = {de Haas, Erik},
TITLE = {Categorial graphs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {263-272},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hromkovic-Klasing-Pardubska-Unger-Waczulik-Wagener/95,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Klasing, Ralf and Pardubsk{\'a}, Dana and Unger, Walter and Waczulik, Juraj and Wagener, Hubert},
TITLE = {Effective systolic algorithms for gossiping in cycles and two-dimensional grids},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {273-282},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jancar-Mraz-Platek-Vogel/95,
AUTHOR = {Jan{\v{c}}ar, Petr and Mr{\'a}z, Franti{\v{s}}ek and Pl{\'a}tek, Martin and Vogel, J{\"o}rg},
TITLE = {Restarting automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {283-292},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kessler-Rauber/95,
AUTHOR = {Ke\ss{}ler, Christoph W. and Rauber, Thomas},
TITLE = {Optimal contiguous expression DAG evaluations},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {293-302},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Klaudel-Pelz/95,
AUTHOR = {Klaudel, Hanna and Pelz, Elisabeth},
TITLE = {Communication as unification in the Petri box calculus},
BOOKTITLE = {Proceedings of the 10th International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {303-312},
YEAR = {1995},
EDITOR = {Reichel, Horst},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=965&spage=303},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kudlek-Mateescu/95,
AUTHOR = {Kudlek, Manfred and Mateescu, Alexandru},
TITLE = {Distributed catenation and Chomsky hierarchy},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {313-322},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kummer-Stephan/95a,
AUTHOR = {Kummer, Martin and Stephan, Frank},
TITLE = {The power of frequency computation},
BOOKTITLE = {Proceedings of the 10th International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {323-332},
YEAR = {1995},
EDITOR = {Reichel, Horst},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=965&spage=323},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Le/95a,
AUTHOR = {L{\^e}, Ng{\d{o}}c-Minh},
TITLE = {Randomized incremental construction of simple abstract Voronoi diagrams in 3-space},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {333-342},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Macarie-Ogihara/95,
AUTHOR = {Macarie, Ioan I. and Ogihara, Mitsunori},
TITLE = {Properties of probabilistic pushdown automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {343-352},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Makanin-Abdulrab-Maksimenko/95,
AUTHOR = {Makanin, G.S. and Abdulrab, H. and Maksimenko, M.N.},
TITLE = {Formal parametric equations},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {353-362},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Niedermeier-Rossmanith/95a,
AUTHOR = {Niedermeier, Rolf and Rossmanith, Peter},
TITLE = {PRAM's towards realistic parallelism: BRAM's},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {363-373},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Petersen/95a,
AUTHOR = {Petersen, H.},
TITLE = {Some results concerning two-dimensional Turing machines and finite automata},
BOOKTITLE = {Proceedings of the 10th International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {374-382},
YEAR = {1995},
EDITOR = {Reichel, Horst},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=965&spage=374},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Pighizzini/95,
AUTHOR = {Pighizzini, Giovanni},
TITLE = {How hard is to compute the edit distance},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {383-392},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Reinhardt/95,
AUTHOR = {Reinhardt, Klaus},
TITLE = {On the synchronization of semi-traces},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {393-403},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Remila/95,
AUTHOR = {R{\'{e}}mila, Eric},
TITLE = {Tiling with bars and satisfaction of boolean formulas},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {404-413},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sassone/95,
AUTHOR = {Sassone, Vladimiro},
TITLE = {Axiomatizing Petri net concatanable processes},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {414-423},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Schewe/95,
AUTHOR = {Schewe, Klaus-Dieter},
TITLE = {Functional sorts in data type specifications: A geometric approach to semantics},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory (FCT'95) (Dresden, Germany, August 22-25, 1995)},
SERIES = {LNCS},
VOLUME = {965},
PAGES = {424-433},
YEAR = {1995},
EDITOR = {Reichel, Horst},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}