List of Participants Prof. Gut Saran Adhar Department of Mathematical Sciences University of North Carolina Wilmington, NC 28403-3297, USA adhar@seq, uncvil, edu Paola Alimonti Dept. of Comp. and System Science University of Roma La Sapienza via Salaria 113 00198 Roma, Italien ALIMONTI@VAXRMA. infn. i~ Prof. Giorgio Ausiello Dept. of Comp. and System Science University of Roma La Sapienza Via Buonarotti 12 1-00184 Roma, Italy aus iello@disparcs, ing. uniromal, it Dr. Richard Banach Computer Science Dept. Manchester University Oxford Rd. Manchester M 13 9 PL, U.K. banachoc s. man. ac. uk Dr. Rudolf Berghammer Fakults fiir Informatik Universit~it der Bundeswehr Miinchen Werner-Heisenberg-Weg 39 W-8014 Neubiberg, Germany rudolf@inf ormat ik. unibw-muenchen, de Dr. Hans L. Bodlaender Utrecht University Padualaan 14 NL-3584 CH Utrecht, The Netherlands hansb@cs, ruu. nl Prof. Dr. Andreas BrandstEdt FB11 - Mathematik / FG Informatik Universits Duisburg Postfach 10 15 03 W-4100 Duisburg 1, Germany hnsosbr @unidui. una -duisburg. 4e Prof. Jianer Chen Texas A&M University College Station, Texas 77843-3112, USA chen@cs, t esnu. edu Alaln Cournier LIRMM, Universit~ Montpellier II 860, Rue de Saint-Priest F-$4090 Montpellier, France cournier@crim, fr Dr. Elias Dahlhaus Basser University of Sydney New-South-Wales 2006, Australia dahlhaus@bas set. r su o oz. au Dr. Peter Daraaschke Theoretische Informatik II Fernnniversits Hagen Postfach 940 W-5800 Hagen 1, Germany 4amas chke@f e rnuni-hagen, de Prof. Dr. Sajal K. Das University of North Texas Denton, Texas 76203-3886, USA dasqponder, csci. un~. edu Prof. Dr. Efim Dinitz Computer Science Department The Technion Haifa 32000, Israel 4initz@cs.t echnion, ac. ix Martin Erwig Praktische Informatik IV Fernuniversits Hagen W-5800 Hagen, Germany erwig@fernuni-hagen, de Stefan Felsner Fachbereich Mathematik TU Berlin Strafle des 17. Juni 136 1000 Berlin 12, Germany st efan@combi.math. ~u-berl in. dbp. de
347 Joachim Feuerbach-v. Puttkamer FI53c FTZ Am Kavalleriesand 3 W-6100 Darmstadt, Germany Angehka Franske Univ. Koblenz-Landau Kheinau 3-4 5400 Koblenz, Germany f ranzke@inf orma~ik, uni-kobl enz.de Prof. Dr. Herbert GSttler Fachbereich 17 - Mathematik Universit/it Mains Staudingerweg 9 W-6500 Mains, Germany g o e ~c t I 9 r~uaimza, mat hema~ ik. uni-mainz, de Dipl.-Inf. Jordan Gergov FB IV - Informatik Un.iversit/it Trier W-5500 Trier, Germany gergov9 uni-trier, de Albert Grs FB 1650, Musikinformatik Universits Mains W-6500 Mains, Germany ag~muw i infa. geschichte, uni-mainz, de Harald Gropp Miihlingstr. 19 6900 Heidelberg, Germany D12Z~vm. urz. uni-heidelberg, de D 12z9 BITNET Volker Heun FB 20, Theoretische Informatik J. W. Goethe-Universit/it Frankfurt W-6000 Frankfurt/Main 11, Germany Yolker~thi. inf orma~ik, uni-frankfurt, de Juraj Hromkovia Dept. of Mathem. and Comp. Science University of Paderborn Warburger Str. 100 4790 Paderborn, Germany j uraj cgni-paderborn, de Wen-Lian Hsu Institute of Information Science Academia Sinica Taipei Nankang, Taipei, Taiwan 115 Republic of China HSU@II S. S INICs EDU. Tg Dr. Ulrich Huckenbeck Lehrstuhl f. Informatik I Universit~it Wiirzburg Am Hubland 8700 Wiirzburg, Germany Edmund Ihler Theoretische Informatik ETH-Zfirich CH-8092 Ziirich, Schweiz ihl er@inf, ethz. r Dr. Klaus Jansen FB IV - Informatik Universit~t Trier W-5500 Trier, Germany j ans en@dm3.uni-~rier. de Prof. Dr. Donald B. Johnson Dept. of Mathem. and Comp. Science Bradley Hall, Dartmouth College Hanover, New Hampshire 03755, USA dj ohns on@dartmouth, edu Arkady Kanevsky Texas A&M University 301 Harvey R. Bright Bldg College Station, Texas 77843-3112, USA arkady@cs, tamu. edu Dr. Goos Kant Utrecht University Padualaan 14 NL-3584 CH Utrecht, The Netherlands goos@cs, ruu. nl Prof. Dr. Walter KnSdel Institut fiir Informatik Universit/it Leipzig Augustusplatz 10 0-7010 Leipzig, Germany knoedel@informatik, uni-leipzig, dbp. de
348 Dr. Dieter Kratsch Fakults Mathematik F.-Schiller-Universit~t Jena 0-6900 Jena, Germany krat schqma~hemat ik. uni-j ena. dbp. de Prof. Dr. Rainer Lang Fachbereich Informatik / ANT Universits Hamburg Troplowitzstr. 7 W-2000 Hamburg 54, Germany lang@informat ik. uni-hamburg, de Clemens Lautemann Institut fiir Informatik Johannes Gutenberg-Univcrsit~it Staudinger Weg 9 W-6500 Mainz, Germany c I@UAIMZTI. MATHEHATIK. uni-mainz, de Ngoc-Minh Le LG VI FernuniversitKt Hagen Elberfelderstr. 95 W-5800 Hagen 1, Germany le@fernuni-hagen, de Prof. Dr. Jan van Leeuwen Utrecht University Padualaan 14 NL-3584 CH Utrecht, The Netherlands jan@ca, ruu.nl Dr. Haiko Miiller Forschungsinst. fiir Diskrete Mathem. Universits Bonn Nassestr. 2 W-5300 Bonn 1, Germany or72s@dbnuorl.bitnet Prof. Dr. Pillia Makedon Dept. of Mathem. and Comp. Science Bradley Hail, Dartmouth College Hanover, NH 03755-3551, U.S.A. makedon edu Prof. Dr. Ernst W. Mayr FB Informatik (20) J. W. Goethe-Universit~t W-6000 Frankfurt/Main 11, Germany mayr@thi, inf orma~ik, uni-frankfur~, de Yoshihiro Mizoguchi Dept. of Control Eng. and Science Kyushu Institute of Technology Iizuka, 820, Japan ym@ces, kyu~ ech. a~. jp Dr. Mohamed Mosbah Laboratoire d'informatique Universit~ de Bordeaux 1 351 Conrs de la Liberation F-33405 Talence Cedex, France mosbah@geocub, gre co-prog, fr Prof. Dr.-Ing. Manfred Nagl Lehrstuhl fiir Informatik III RWTH Aachen Ahornstr. 55 5100 Aachen, Germany nagl informat ik. rvth-aachen, de Prof. Dr. Hartmut Noltemeier Lehrstuhl f. Informatik I Universits Wiirzburg Am Hubland 8700 Wiirzburg, Germany nolt emeiqinf ormat ik. uni-wuerzburg, de Dipl.-Math. Sabine Ohring Lehrstuhl Informatik I Universit~t Wiirzburg Am Hubland W-8700 Wiirzburg, Germany o ehr ing@informat ik.uni-vuerzburg. de Una-May O'Reilly School of Computer Science Herzberg Building Caxleton University Ottawa, Ontario K1S 5B6, Canada unamay@sc s. carleton, ca Stephan Olariu Old Dominion University Norfolk, Virginia 23529-0162, U.S.A. olariu@us, odu. edu Prof. Dr. Francesco Parisi-Presicce Dip. Matematica Pura ed Applicata Universita' degli Studi L'Aquila Via Vetoio 67100 L'Aquila, Italy paris i@vxscaq, aquila, infn. it
349 Waldemar Preilowski FB 17 Universits GH Paderborn Warburger Str. 100 4790 Paderborn, Germany waldi~uni-paderborn, de Prof. Dr. Riidiger Reischuk Institut fiir Theoretische Informatik TH Darmstadt 6100 Darmstadt, Germany r e ischuk~i~ i. inf orma~ik, th-darmst adt.de Gisbert Rostock Adenauerstr. 5 8039 Puchheim, Germany Dr. Nicola Santoro School of Computer Science Herzberg Building Carleton University Ottawa, Ontario K1S 5B6, Canada $an~oro~scs. Carleton. CA Petra Scheffier TU Berlin Fachbereich Mathematik, MA6-1 Strafle des 17. Juni 136 1000 Berlin 12, Germany scheffle~nath, tu-berlin, de Prof. Dr. Gunther Schmidt Fakult/it f. Informatik Universits der Bundeswehr Miinchen Werner-Heisenberg-Weg 39 8014 Neubiberg, Germany s r ~inf ormat ik. unibw-muenchen, de Prof. Dr. Rainer Schrader Institut ffir Informatik Universit~it KSln Pohligstr. 1 5000 KSln 51, Germany rs~inforr~tik, uni-koeln, de Martin Stumpf FB 16, Bereich Musikinformatik Johannes Gutenberg-Universits W-6500 Mainz, Germany mar t in~muviinfa, geschich~e, uni-mainz, de Prof. Dr. Maciej M. Syslo Institute of Computer Science University of Wroclaw ul. Pr~.esmyckiego 20 PL-51-151 Wroclaw, Poland maciek@plvruvll.bitnet Mikkel Thorup Programming Research Group Oxford University 11 Keble Road Oxford OX1 3QD, United Kingdom mikkel, thorupqprg, ox. ac. uk Prof. Dr. Gottfried Tinhofer Institut ffir Mathematik TU Mfinchen Postfach 20 24 20 8000 Miinchen 2, Germany ~inhofer@s~at istik, tu-muenchen, dbp. de Dr. Dorothea Wagner FB 3/MA 6-1 TU Berlin Stras des 17. Juni 136 1000 Berlin 12, Germany dorothea@c ombi. math. ~u-berl in. de Ralph Werchner FB 20, Theoretische Informatik J. W. Goethe-Universits Frankfurt W-6000 Frankfurt/Main 11, Germany werchner@thi, informat ik. u~i-frankfurt, de Prof. Shmuel Zaks The Technion Haifa 32000, Israel zaksocs, technion, ac. il Dr. Wieslaw Zielonka UFR de Math~matiques et Informatique LaBRI, Universit~ Bordeaux I 351, cours de la Liberation 33405 Talence, France zielonka@geocub, greco-prog, fr
List of Authors P. ALIMONTI... 293 D. BHATIA... 114 H.L. BODLAENDER... 37, 90 A. BRANDSTADT... I J. CHEN... 103, 158 A. COURNIER... 212 E. DAHLHAUS... 60 S.K. DAS... 184 F~. DINITZ... 145 M. ERWIG... 277 S. FELSNER... 17, 225 E. FEUERSTEIN... 293 J. GERGOV... 310 O. GERSTEL... 135 M. HABIB... 212 J. HROMKOVIC... 70 W.-L. Hsu... 11 E. IHLER... 123 B. JAMISON... 170 K. JANSEN... 27, 37, 50 A. KANEVSKY... 158 G. KANT... 263 T. LEmHTOS... 114 I. LITOVSKY... 333 Y. M~TIVmR... 333 F. MAKEDON... 114 A. MAO... 184 C. MmNEL... 310 M. MOSBAH... 236 U.-M. O'REILLY... 321 S. OLAaIU... 170 F. PARISI-PRBsIccE... 248 W. PREILOWSKI... 78 N. SANTORO... 321 P. SCHEFFLER... 50 M. THORUP... 205 D. WAGNER... 225 G.J. WOEGXNG~R... 37 S. ZAKS... 135 W. ZmLONKA... 333
Lecture Notes in Computer Science For information about Vols. 1-579 please contact your bookseller or Springer-Verlag Vol. 580: A. Pirotte, C. Delobel, G. Gottlob (Eds.), Advances in Database Technology -EDBT '92, Proceedings. XII, 55t Vol. 581: J.-C. Raoult (Ed.), CAAP '92. Proceedings. VIII, 361 pages9 1992. Vol. 582: B. Krieg-BriJckner (Ed.), ESOP '92. Proceedings. VIII, 491 Vol. 583: I. Simon (Ed.), LATIN '92. Proceedings. IX, 545 Vol. 584: R. E. Zippel (Ed.), Computer Algebra and Parallelism. Proceedings, 1990. IX, 114 Vol. 585: F. Pichler, R. Moreno Dfaz (Eds.), Computer Aided System Theory - EUROCAST '91. Proceedings. X, 761 Vol. 586: A. Cheese, Parallel Execution of Paring. IX, 184 Vol. 587: R, Dale, E. Hovy, D. R~sner, O. Stock (Eds.), Aspects of Automated Natural Language Generation. Proceedings, 1992. VIII, 311 (Subseries LNAI). Vo[. 588: G. Sandini (Ed.), Computer Vision - ECCV '92, Proceedings. XV, 909 Vo[. 589: U. Banerjee, D. Gelernter, A. Nicolau, D. Padua (Eds.), Languages and Compilers for Parallel Computing. Proceedings, 1991. IX, 419 Vot. 590: B, Fronhdfer, G. Wrightson (Eds.), Parallelization in Inference Systems. Proceedings, 1990. VII1, 372 pages. 1992. (Subseries LNAI). V ol. 591: H. P. Zima (Ed.), Parallel Computation. Proceedings, 1991. IX, 451 Vol. 592: A. Voronkov (Ed.), Logic Programming. Proceedings, 1991. IX, 514 (Subseries LNAI). Vo]. 593: P. Loucopoulos (Ed.), Advanced Information Systems Engineering. Proceedings. XI, 650 Vol. 594: B. Mnnien, Th. Ottmann (Eds.), Data Structures and Efficient Algorithms. VIII, 389 Vol. 595: M. Levene, The Nested Universal Relation Database Model. X, 177 Vol. 596: L.-H. Eriksson, L. Halln~is, P. Schroeder-Heister (Eds0, Extensions of Logic Programming. Proceedings, 1991. VII, 369 (Subseries LNA1). Vol. 597: H. W. Guesgen, J. Hertzberg, A Perspective of Constraint-Based Reasoning. VIII, 123 (Subseries LNA1). Vol. 598: S. Brookes, M. Main, A. Melton, M. Mislove, D. Schmidt (Eds.), Mathematical Foundations of Programming Semantics. Proceedings, 1991. VIII, 506 Vol. 599: Th. Wetter, K.-D. Althoff, J, Boose, B. R. Gaines, M. Linster, F. Schmalhofer (Eds.), Current Developments in Knowledge Acquisition - EKAW '92. Proceedings. Xlll, 444 (Subseries LNAI). Vol. 600: L W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (Eds.), Real-Time: Theory in Practice. Proceedings, 1991. VIII, 723 Vol. 601: D. Dolev, Z. Galil, M. Rodeh (Eds.), Theory of Computing and Systems~ Proceedings. 1992. VIII, 220 Vol. 602: 1. Tomek (Ed.), Computer Assisted Learning. Proceedings, 1992. X, 615 Vol. 603: J. van Katwijk (Ed.), Ada: Moving Towards 2000. Proceedings, 1992. VIII, 324 Vol. 604: F. Belli, F.-J. Radermacher (Eds.), Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Proceedings, 1992. XV, 702 (Subseries LNAI), Vol. 605: D. Etiemble, J.-C. Syre (Eds.), PARLE '92. Parallel Architectures and Languages Europe. Proceedings, 1992. XVII, 984 Vol, 606: D. E. Knuth, Axioms and Hulls. IX, 109 pages. 1992. Vol. 607: D. Kapur (Ed.), Automated Deduction- CADE- 11. Proceedings, 1992. XV, 793 (Subseries LNAI). Vot. 608: C. Frasson, G. Gauthier, G. I. McCalla (Eds.), Intelligent Tutoring Systems. Proceedings, i992. XtV, 686 pages, t992. Vol. 609: G. Rozenberg (Ed.), Advances in Petri Nets 1992. VIII, 472 Vol. 610: F. yon Martial, Coordinating Plans of Autonomous Agents. XII, 246 pages9 1992. (Subseries LNAI). Vol. 611: M. P. Papazoglou, J. Zeleznikow (Eds.), The Next Generation of Information Systems: From Data to Knowledge, VIII, 310 (Subseries LNAI). Vol. 612: M. Tokoro, O. Nierstrasz, P. Wegner (Eds.), Object-Based Concurrent Computing. Proceedings, 1991. X, 265 Vol. 613: J. P. Myers, Jr., M. J. O'Donnell (Eds.), Constructivity in Computer Science. Proceedings, 1991. X, 247 Vol. 614: R. G. Herrtwich (Ed.), Network and Operating System Support for Digital Audio and Video. Proceedings, 1991. XII, 403 Vol. 615: O. Lehrmann Madsen (Ed.), ECOOP '92. European Conference on Object Oriented Programming. Proceedings. X, 426 Vol. 616: K. Jensen (Ed.), Application and Theory of Petri Nets 1992. Proceedings~ 1992. VIII, 398
Vol. 617: V. Ma~fk, O. ~tdp~inkowi, R. Trappl (Eds.), Advanced Topics in Artificial Intelligence. Proceedings, 1992. I'X, 484 (Subseries LNAI). Vol. 618: P. M. D. Gray, R. J. Lucas (Eds.), Advanced Database Systems. Proceedings, 1992, X, 260 Vol. 619: D. Pearce, FI. Wansing (Eds.), Nonclassical Logics and Information Proceedings. Proceedings, 1990, VII, 171 (Subseries LNAI). Vol. 620: A. Nerode, M, Taitslin (Eds,), Logical Foundations of Computer Science - Tver '92, Proceedings. IX, 514 pages, 1992. Vol. 621: O. Nurmi, E. Ukkonen (Eds.), Algorithm Theory - SWAT "92. Proceedings. VIII, 434 Vol. 622: F. Schmalhofer, G. Strube, Th. Wetter (Eds.), Contemporary Knowledge Engineering and Cognition. Proceedings, 1991. XII, 258 (Subseries LNAI). Vol, 623: W. Kuich (Ed.), Automata, Languages and Programming. Proceedings, 1992. XII, 721 pages. 1992, Vol. 624: A. Voronkov (Ed.), Logic Programming and Automated Reasoning. Proceedings, 1992. XIV, 509 pages. 1992. (Subseries LNAI). Vol. 625: W. Vogler, Modular Construction and Partial Order Semantics of Petri Nets. IX, 252 Vol. 626: E, BOrger, G. J~iger, H. Kleine BiJning, M. M. Richter (Eds.), Computer Science Logic. Proceedings, 1991. VIII, 428 Vol. 628: G. Vossetman, Relational Matching. IX, 190 Vol, 629: 1. M. Havel, V, Koubek (Eds.), Mathematical Foundations of Computer Science 1992. Proceedings. IX, 521 Vol. 630: W. R. Cleaveland (Ed.), CONCUR '92. Proceedings, X, 580 Vol. 631: M. Bruynooghe, M, Wirsing (Eds.), Programming Language Implementation and Logic Programming, Proceedings, 1992. XI. 492 Vol. 632: H. Kirchner, G. Levi (Eds.), Algebraic and Logic Programming. Proceedings, 1992. IX, 457 Vol. 633: D. Pearee, G. Wagner (Eds.), Logics in AI. Proceedings, VIll, 41{) (Subseries LNAI). Vol. 634: L. Bougd, M. Cosnard, Y. Robert, D. Trystram (Eds.), Parallel Processing: CONPAR 92 - VAPP V. Proceedings. XVII, 853 Vol. 635: J. C. Derniame (Ed.), Software Process Technology. Proceedings, 1992. VIII, 253 Vol. 636: G. Comyn, N. E, Fuchs, M. J. Ratcliffe (Eds.), Logic Programming in Action. Proceedings, 1992. X, 324 (Subseries LNAI). Vol, 637: Y. Bekkers, J. Cohen (Eds.), Memory Management. Proceedings, 1992. XI, 525 Vol. 639: A. U. Frank, 1. Campari, U. Formentini (Eds.), Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. Proceedings, 1992. XI, 431 Vol. 640: C. Sledge (Ed.), Software Engineering Education. Proceedings, 1992. X, 451 Vol. 641: U. Kastens, P. Pfahler (Eds.), Compiler Construction. Proceedings, 1992. VIII, 320 Vol. 642: K. P. Jantke (Ed.), Analogical and Inductive Inference. Proceedings, 1992. VIII, 319 (Subseries LNAI). Vol. 643: A. Habel, Hyperedge Replacement: Grammars and Languages, X. 214 Vol, 644: A. Apostolico, M. Crochemore, Z, Galil, U. Manber (Eds.), Combinatorial Pattern Matching. Proceedings, 1992. X, 287 Vol. 645: G. Pernul, A M, Tjoa (Eds.), Entity-Relationship Approach - ER '92. Proceedings, 1992. XI, 439 pages, 199Z Vol. 646: J. Biskup, R. Hull (Eds,), Database Theory - ICDT '92. Proceedings, 1992. IX, 449 Vol. 647: A. Segall, S. Zaks (Eds.), Distributed Algorithms. X, 380 Vol. 64g: Y. Desv~arte, G. Eizenberg, J.-J. Quisquater (Eds.), Computer Security - ESORICS 92. Proceedings. XI, 451 Vol. 649: A. Pettorossi (Ed.), Meta-Programming in Logic. Proceedings, 1992. XII, 535 Vol. 650: T. lbaraki, Y. lnagaki, K. lwama, T. Nishizeki, M, Yamashita (Eds.), Algorithms and Computation. Proceedings, 1992. XI, 510 Vol. 651: R. Koymans, Specifying Message Passing and Time-Critical Systems with Temporal Logic, IX, 164 pages. 1992, Vol. 652: R. Shyamasundar (Ed.), Foundations of Software Techaology and Theoretical Computer Science. Proceedings, 1992. XIII, 405 Vol. 653: A. Bens0ussan, J.-P. Verjus (Eds.), Future Tenddneies in Computer Science, Control and Applied Mathematics. Proceedings, 1992. XV, 371 Vol. 654: A. Nakamura, M. Nivat, A. Saoudi, P. S. P. Wang, K. Inoue (Eds.), Prallel Image Analysis. Proceedings, 1992. VIII, 312 Vol. 655: M, Bidoit, C. Choppy (Eds.). Recent Trends in Data Type Specification, X, 344 pages. 1993. Vol. 656: M. Rusinowitch, J. L. Rdmy (Eds.), Conditional Term Rewriting Systems. Proceedings, 1992. XI, 501 pages. 1993, Vol. 657: E. W. Mayr (Ed.), Graph-Theoretic Concepts in Computer Science. Proceedings, 1992, VIII, 350 pages. 1993.