AAE AAG AAI AAN AAP AAS AAT AAV ACA ACC ACF ACR ACS ACTAI ADC ADP ADT AEM AFD AFE AFP AG AGG AGs AHS AIE AIG AII AINFA AIP AIV AJP AKB ALGOR ALR AMF AMH AMM AMT ANC ANF ANR ANV AOP AP APC APD APF APG APH APN APS APV APVa AQL AQP ARA ARP ARS ASA ASF ASI ASL ASM ASMs ASO ATA ATC ATF ATG ATP ATR AVB AVC AZW Aalst Aarhus Aart Abelian Abolhassan Acception Aceto Acknowledgement Acz Aczel Additionsdauer Adiri Adleman Adriaan Adrian Affendi Affine Africk Agarwal Agerwala Agrawal Agrawala Ahamad Ai Akdag Akhil Aki Akira Akkerman Akyildiz Alagi Alagic Alain Alblas Albrecht Aldo Alexandru Alexey Alfa Alfred Alfredo Algorithme Alhazov Ali Alon Alonso Alt Ambuj Amerins Ameur Amilcar Amin Amir Amitava Ammar Amram Analyse Anatol Anca Anderaa AndersonSO Andersson Andonie Andrea Andreas Andrei Andrzej Angluin Annabelle Annegret Annthony Anshel Anton Antonella Antonin Aouel Apachite Apostolos Araki Arbib Archiv Aref Arend Ari Arie Aris Aristid Ariz Armin Arnd Arne Artalejo Artiom Arto Arturo Arun Arunabha Ashcroft Ashok Astesiano Astrid Astromoff Asveld Asymptotics Atanasiu Atanassov Athanasios Atomicity Atrawala Attahiru Atzeni Aub Auban Augusto Autebert Automat Automaten Automorphismes Automorphisms Avenhaus Aviezri Axel Axiomatising Aycock Aziz B BAA BAS BB BBA BCG BCS BDF BEP BHT BIBLIOTHEK BJW BKB BLA BLC BLK BMD BML BMU BNF BOT BP BPA BPE BPP BQR BRC BRT BSP BSQ BSS BST BTA BTE BURS BVI BWP Babich Baca Baccelli Bacchelli Bachmann Backhouse Badouel Baeten BaetenJCM Baeza Bagchi Bagyinszki Bagyinszkin Baier Bakker Balakrishnan Balc Balcazar Baldoni Banatre Bannister BarYehuda Barbuti Barcucci Bartsch Bastin Baudouin Bause Bayer Beata Beate Beauquier Bechta Bechtold Becker Bedienzeit Bedienzeitunterbrechung Behandlung Behaviour Behavioural Behaviours Belaga Belz Benard Benedetto Bengelloun Benzaken Berard Berechnung Berghammer Bergstra Bericht Berkman Berman Bernab Bernabeu Bernardeschi Bernd Bernhard Bernot Berstel Bertino Bertol Bertsch Berzins Berztiss Betteridge Bevers Beynon Bi Bialasik BibNet BibTeX Bicenters Bicentres Bidoit Biela Bifaithful Bijlsma Bilodeau Bisimulation Bisimulations Biskup Blankinship Blazewicz Blikle Blondel Blum Blum's Bo Boasson Boekhorst Bogdan Bolch Boles Bollman Bonner Boole'sche Boolesche Boreale Boris Borivoj Borowczyk Bos Boting Bottoni Bouchet Boug Bouge Boundedly Bovet Boxma Boyar Bozapalidis Brandwajn Breitbart Bremen Brigitte Brinch Brisaboa Brodal Bromley Broy BroyM Bruin Bruun Bruynooghe Btrees Bublitz Bucher Buchheim Buchholz Buchsbaum Bulyonkov Buning Bunkenburg Burkhard Burnetas Burrieza Burstall Bussche Buzen C CA CAA CAAP CAC CAE CAO CAS CBC CBE CBM CBP CBS CCB CCC CCF CCP CCR CCS CCT CDD CDG CDM CDP CDR CDS CDT CEA CEF CEN CEP CES CFD CFG CFH CFL CFT CG CGB CGG CGL CHB CHG CHOCS CHS CI CIP CLC CLG CLI CLP CLT CLiCS CMA CME CMF CMJ CMS CN CNV COB CODEN COI CONCE CPF CPP CPS CPT CR CRA CRC CRCW CRD CRE CRM CRP CRS CS CSA CSB CSG CSI CSL CSM CSMA CSO CSP CSPa CSPb CSR CSS CST CSW CSY CSci CTC CTD CTF CTH CTI CTM CTO CTP CTS CUF CWC CWP CYCLADES Cabibbo Caleiro Calvin Calzarossa Campbell Caporaso Caracterise Carlo Carlos Carlsson Carpi Carroll Cartwright Casanova Caspi Cassaigne Castellanos Catenative Catuscia Cau Cavadini Ce Cederbaum Celentano Celia Cerna Certaines Cf Ch Chakaravarthy Chakka Chan Chandra Chandy Changwook Chanson Chanzy Chao Characterisation Characterization Characterizations Charakteristik Charlier Charpentier Chau Chaudhuri Chazelle Checkpointing Cheng Cherkasova Cheryl Chesney Cheung Chi Chia Chiba Chih Chiung Chlo Choe Choffrut Chong Choo Choquet Chowdhury Choy Christel Christiane Christoph Christophe Christos Chua Chul Chun Chung Chunlin Churchhouse Chuzo Ciancarini Cin Cinzia Ciobanu Claudine Clauss Cleaveland Clemens Co Cocomparability Coh Cole Colin Collatz Collberg Collette Colomb Combinaison Commentz Comp Compendex Confluence Congruences Connected Conradi Constr Contextfree Contr Contrib Conway Coppo Cordero Corina Cormack Corradini Corrado Correl Correll Corrigenda Costa Costantino Costas Coulondre Courant Courtois Cousot Cremers Crescenzi Crestin Cristian Cristina Cristofor Critchlow Csibi Csirik Csuhaj Cul Culik Cunto Cura Currie Curteanu Cylindre Czach D DAA DAH DAI DAIMI DAU DB DBS DC DCC DCO DCP DCS DCV DEE DEH DET DFA DFD DFK DFL DFR DFT DFV DG DGE DGG DGM DIR DJL DLC DLP DMC DMD DMI DMP DMS DOI DOL DP DPC DPF DPG DPI DPM DPP DPS DQA DRA DRC DRH DRM DS DSD DSF DSI DSL DSO DSP DSS DSU DTR DTU DVE DWB DWD DWM Daduna Dagnino Dal Damm Dampney Dana Dani Daniela Danusaputro Darlington Darmstadt Darondeau Darstellungen Dassow Dataflow Datalog Datenstrukturen Daubechies Davide DeFrancesco DeNicola Deepak Degano Deineko Della Delvaux Demaine Demers Demetres Demetrovics Denning Deon Deques Der Deransart Derek Derick Derivational Desel Desh Desharnais Desjardins Determinancy Detlef Detro Deussen Devillers Devroye Dewdney Di Diaconescu Diaz Didier Diekert Dirk Disque Djidjev Doberkat Dolev Domaratzki Domenico Dominique Donal Dong Donn Dortmund Dosch Drabent Drmota Du Dube Dublish Duda Dugan Duggan Dunne Duong Duponcheel Duprat E EAC EAF EAI EAW EAZ EBC EBP ECE ECFG ECO ECP ECS EDG EDO EDR EDS EE EEP EET EF EFG EFL EFO EGC EGI EGM EGP EHF EHN EIA EIC EII EIL ELA ELE ELL ELP ELR EMEa EMEb EMM EMT ENF ENL ENR EOE EOL EPB EPD EPG EPM EPP EPR ER ESA ESC ESD ESG ESH ESL ESS ETH ETL ETO ETOL ETS EUD EUP EUR EVM EWC EWD EWS EXSPACE Eades Earley Eberhard Ecker Edelsbrunner Eds Edsger Efe Egon Ehrenfeucht Ehrich Ehrig Eichner Eigenschaften Eike Ein Einbettungssatz Eiter Ekkart Elad Elena Eleser Elisa Elisabetta Eljas Elvira Emo En Encarna Enciso Encodements Endliche Endre Engelfriet Engels Entreeings Ephremides Equational Erica Eriksen Erkki Erlangen Erol Ershov Ertel Erweiterte Erzs Esik Esko Esparza Etend Etsuji Etsuro Evangelos Ewald Extensionality F FAA FAC FAE FAI FAL FAS FAX FBD FCF FCR FCS FDP FDR FDS FGD FGS FKM FLE FLG FLT FMA FMC FMD FMM FMP FNC FNO FO FOC FOCS FOI FOL FP FPA FPO FPX FRP FRS FSC FSD FSE FSL FSM FSR FTW Fabienne Fabrizio Fach Fachini Faigle Falin Falko Familles Farr Farrow Fatma Fausto Favrholdt Fayolle Feeley Fehr Fekete Fenner Fernandez FernandezdelaVega Fernau Ferri Ferucio Fiadeiro Fifo Fil Finis Finkel Fisker Fixpoint Flajolet Flatto Flavio Flaviu Flemming Fleury Flowgraphs Fogel Fokkink Forall Formel Formes Forst Foued Fr Fra Fractal Fraenkel Francesca Francesco Francez Franck Franta Franti Frantisek Fraogonczak Frederiks Fri Friedhelm Friedrich Frisco Frison Frits Frostig Frougny Fulop Funktionen Fxx G GAs GB GBA GBE GBM GBS GBT GC GCU GDL GDM GDS GE GFT GG GGC GGP GHK GLR GNF GOF GPC GPD GPG GPR GPS GPT GPV GRD GRS GSC GSM GSR GSS GTC GTD GTDa GTDb GTE GTM GTS GVM GWF GWL Gabarr Gadi Gagn Galil Ganapathi Gardiner Garey Garg Gascon Gasteren Gastin Gaver Gawlick Gawo Gef Geist Gelenbe Gelsema Genlebe Genrich Gente Georg Gerardo Gerd Gergely Germano Gerth Gh Gheorghe Giammo Giannella Giansalvatore Giegerich Gigliola Gilberto Gillard Gilles Gillett Gillies Giloi Gimpel Ginsburg Giora Giorgio Gire Giuliano Giuseppe Glabbeek Gladkij Gobang Godwin Goldreich Goldschlager Golin Goltz Golumbic Golunkov Gonczarowski Gonnet Gontsa Gopal Gorlatch Gorrieri Gotlieb Gotos Gouda Graefe Graf Grammarforms Grammarhomomorphisms Grammatiken Graphen Grassi Grazzini Greco Gregor Greibach Gries GriesD Grigoriev Grodzki Grumbach Grundlagen Gruppen Gruska Grzegorz Gucht Guessarian Guibas Guido Gunnar Gunter Gunther Gupta Gurevich Guting Guttag Guzm Guzman H HBP HCA HCP HCS HDTOL HFC HGC HLC HLT HMC HNE HOS HPC HPM HPS HPV HSS HTM HTML HTT HUP HVH Habel Habermann Hac Hadidi Hagiya Hakala Halbwachs Haldar Han Hanan Hanna Hanne Hant Hantao Harald Haralick Harju Harman Harmelen Hartmanis Hartmann Hartmut HasegawaM Haskell Hauschildt Hausdorff Havel Hayao Hecker Heckmann Heffter Hehner Heibrunner Heide Heidelberger Heike Heikki Heiko Heilbrunner Heinrich Heise Helary Helman Hemaspaandra Hendrik Henk Henner Hennessy Hennicker HennickerR Hentenryck Hermann Hern Hertel Heselink Hessam Hesselink Heyker Heymans Hibbard Hideki Hidenobu Higman Hikita Hindley Hine Hing Hinrichs Hinz Hirokazu Hirschberg Hisao Hitoshi Hoare Hoare's HoareCAR Hoffmann Hofstede Hogeschool Holger Hongzhong Honkala Hoogeboom Hoogewijs Hooley Hopcroft Horibe Horning Horspool Horst Horsten Horwitz Hosam Hotz Howden Howie Hristo Hromkovi Hromkovic Hsieh Hsien Hsu Hsuan Hu Hua Huang Huddleston Huens Huet Huffman Hui Huimin Hule Hulsmann Humfeld Huwig Huybrechts Huynh Hwang Hypatia Hyperedge Hypergraph IAD IAG IBS ICG ICH ICR ICS IDS IDW IEA IEH IFC IGC IGI IGN IHG ILA ILF ILP IMC IMD IMMD INA IND INF INRIA INSCC IPR IPS IPU IRC ISF ISS ISSN ITA ITNC ITP IWF Iain Ian Ianov Ibarra Ichiro Icking IfN Igal Igarashi Igarishi Iglehart Iiro Ikuo Il Ilie Iliopoulos Inagaki Ind Indep Inf Infinitary Informatica Informatics Informatik Informatika Ingo Inhibitionsfelder Inma Inoue Institut Interactive Internet Interprocedural Intrigila Intro Inverardi Ir Irela Isi Iskander Ismo Iso Istv Itai Italiani Ito Ivana Iwama Iwamoto Iwata J J'ai JSG JT Ja'Ja JaJa Jacobo Jacquet Jain Jainendra Jakob Jakub Jalote Jancar Janicke Janicki Janos Janousek Janssens Jantzen Jaques Jarkko Jaroslav Javier Jayashree Jayme Jazayeri Je Jeannine Jenner Jerzy Jes Jetty Ji Jiang Jianwen Jifeng Jingsen Jinzhao Jirk Jixue Joachim Joaquim Joep Joffroy Johan Johnstone Jong Joon Joost Jop Joris Jos Josephs Josko Jouko Jourdan Juha Juhani Jul Julien Jun Jung Juraj Jurg Jurgensen Juris Jyrki K KLP KRZE KS KTI Kahn Kaiha Kalmus Kaltofen Kam Kamala Kambayashi Kameda Kamilla Kamimura Kamin Kaminski Kan Kandzia Kanstens Kapur Karel Karhum Kari Karlsruhe Karpova Karr Karsten Kasai Kasami Kastens Katajainen Katoen Katseff Katsushi Katsuyuki Katz Kaufholz Kaufmann Kavindra Kazunori Kazuo Kazushi Ke Kearns Kedem Kees Keesmaat Keijo Keleman Kemal Kemp Kempf Kenichi Kern Kessels Kesten Kettenbruchentwicklungen Kfoury Khabbaz Khardon Khomenko Khoshnevisan Kieburtz Kiehn Kiepuszewski Kinber Kinded KingDJ Kinoshita Kintala Kiran Kirousis Kirschenhofer Kishor Klaudel Klebansky Kleijn Kleine KleineBuning Klingler Klonowska Knapik Kobler Kobuchi Koeln Koichi Kolla Kolmogorov Komplexit Konheim Konikowska Konstantinidis Kortelainen Korth Kosa Koster Kott Kou Kourie Koutny Kouvatsos Kowaltowski Kr Kranakis Krassimir Kratochv Kratochvil Kratsch Kre Kreinin Kreowski Kretinsky Kreveld Kriegel KrishnaRao Krishnamoorthy Krishnamurthy Krishnaswamy Kristensen Krithivasan Kriv Krivanek Kro Kroger Kruskal Kruskal's Krzesinski Krzysztof Ku Kubiak Kucera Kuck Kudlek Kuei Kuhnemann Kuich Kumar Kunde Kung Kunze Kurki Kuspert Kutrib Kwang Kye L L'id LAA LALR LAR LAV LBA LBL LBM LBS LBT LCB LCP LCS LCSS LCU LDM LDR LE LF LFCS LGG LHD LII LL LLA LLE LLR LLT LMD LML LNCS LPA LPD LPE LPF LPG LPJ LPL LR LRE LRM LRS LSA LSC LSD LSM LSP LSS LT LTB LTL LU LUB LUP LVF LaLonde LaTeX Labelled Labetoulle Laborde Ladner Laffra Lagnier Laguerre Lamoureux Lamport Lampson Lamsweerde Langages Langenhop Langmaack Langston Lao Latteux LatteuxLR LatteuxT Lau Lauer Lauesen Laurent Laurentiu Laurinolli Laut Lautemann Lautenbach Layuan Le LeCharlier Leah Leavens Lecarme Leeuwen Lefteris Leguy Leh Lehmann Lehrmann Leiden Leih Lene Lenfant Lengauer Lennerstad Leonidas Leroudier Les Lesley Leth Leung Levcopoulos Levene Levent Levin Lewi Li Liang Liestman Lila Liman Lindenmayer Lindsey Lineare Linna Linqiang Lins Lippe Lipps Lipski Litwin Liu Liuba Lobstein Locuratolo Lodaya Loeckx LogicProgramming Loizou Lorene Lorge Lorho Losseva Losslessness Lou Louchard Loui Louxin Lubachevsky Luc Luca Luccio Luckham Ludmila Luis Luiz Luk Lundberg Luong Lutz M MADa MADb MAH MB MCC MCI MCP MDB MDC MDF MDI MDP MDR MDS MDT MEA MEG MEP MEQ MER MFA MFB MFD MFE MFV MG MGL MHD MHT MIZAR MLM MLN MM MMF MMM MMT MMV MNA MNM MOG MP MPA MPP MPS MQS MRA MRE MRP MRT MRZ MRclass MRnumber MRreviewer MSA MSE MSF MSL MSN MSP MSR MST MTA MTC MTG MVM MZA Maass MacVeigh Maciej Madhu Madlener Madsen Maggiolo Mahadevan Mahmoud Mailloux Mais Majster Makinen Makowsky Malik Malton Maneth Mani Mannila Mantyla Manyem Maon Marc Marcin Marco Marek Margherita Marisa Marisela Markey Markku Markowsky Marktoberdorf Marque Marriot Martii Martti Masahiro Masalagiu Masami Masataka Masato Maschinen Massarotti Mateescu Mateo MathSciNet Mathematik Matsumoto Matthias Matti Matzner Mauer Mauney Maurer Maurizio Maxson Mayr McColl McCreight McIver McKellar McNickle Meduna Meersman Meertens Meghini Mehdi Mehlhorn Meichun Meinke Melichar Mellin Melson Memmi Memoriam Menas Menzel Mergeable Mergesort Merritt Merzenich Mescheder Meseguer Meta Metalgorithm Metatheorems Metivier Meurig MeyeraufderHeide Mezn Micha Michel Michele Michiel Michio Middelburg Middeldorp Mihalache Mikhail Mikkel Mikko Miko Mikou Mila Mili Millist Milner MilnerR Ming Mingyuan Minh Minimale Minimalpolynome Minn Mireille Mirko Mirkowska Misc Mitrana Mitrani Miyakawa Miyano Modell Modelling Modularisation Moenck Moffat Mogens Mohamed Mojm Mojmir Moller Mon Monge Mongenet Monien Mono Monoid Monoids Montanari Montangero Monte Monti Moodie Mooly Mor Moran Mordecai Mordechai Moreau Morimoto Morita Morito Moriya Morphemes Morphic Morphisms Morvan Moshe Mostafa Motzkins Mukkai Multiclass Multiconnection Multihead Multipass Multiplikation Multiplikations Multisets Multitape Multitype Multivalued Multiversion Multiway Multiwriter Munchen Munro Muntz Muraoka Murtagh Muscholl Mustaque Musto Mutyam Myung N NA NAE NAH NAO NAR NC NCA NCP NCPY NCT NCV NDC NDD NDI NDS NDT NDW NEG NELS NEP NF NFA NFC NFG NFS NHCa NHCb NHP NLB NLC NMA NMQ NMS NNS NOH NP NPP NPT NRO NS NSC NT NTAPE NVH NVN Nabil Nahapetian Nain Nakahara Nakajima Nakata Nakatsu Napoli Narao Narayan Narendran Nasreddine Nasser Navarro Navlakha Neculai Nederpelt Neh Nehm Nehmer Neil Nemetz Neraud Neuhold Ngan Nickerson Nickl Nico Nicola Nicolas Nicoletta Nicollin Niculescu Nierstrasz Nievergelt Nieves Nigel Nijholt Nik Niklaus Nipkow NipkowT Nishihara Nishimura Nishizeki Nissim Nivat Nobuki Nonfinite Nonplanar Nonstationary Norbert Norihisa Norishige Noritaka Normalisierungsproblems Novotn Nunome Nurmi Nutt Nymeyer O O'Neil OAB OAD OAE OAG OAS OAV OBG OBS OCA OCH OCLC ODC ODM ODT OEG OEV OFC OIA OIB OIS OL OLI OM OMD OME OML OMS ONeil OO OPTRAN ORP ORS OSC OSL OSR OSS OST OTC OTCb OWA OWC OWM Ognjanovi Ohsaki Ojeda Ok Ola Olderog Ole Olivier Olk Omer Onderafdeling Online Onno Onoguchi Ont Oosthuizen Op Ophel Oppen Ord Orejas Organisation Orman Orosz Os Ostrand Ottmann Ouksel Overmars Owicki P PAA PAC PAE PAFAS PAH PAO PB PBB PBD PBP PCA PCC PCD PCF PCG PCL PCO PCP PCR PCS PCV PDF PDO PDQ PEE PEF PEL PES PFC PFP PGG PGL PGM PGR PIB PIR PIS PKI PLB PLD PLG PLP PLR PLW PMC PMN PMS PMT PNA PNF PNS POA POS POSS PPA PPC PPE PPI PPJ PPL PPP PPS PPT PQI PRAMs PRE PRF PRG PRI PRL PROCOL PROGLANG PROSPECTRA PRP PRS PSA PSC PSD PSF PSM PSPACE PSPa PSPb PSS PSSa PSSb PST PTC PTE PTG PTL PTS PTU PTW PVR PVS Paavo Pacini Pagli Palamidessi Paliath Panagiotis Panangaden Pandu Pandya Pankaj Pansiot Paola Paolo Papadimitriou Papier Paralleladdierwerks Parameterisation Paramodulated Paredaens Parente Parikh Paritosh Parnas Parsable Partage Partiell Partsch Pasanen Paschos Paterson Pathlistings Patricio Paulien Paull Paun Pavel Pawe Pawel Pelz Pemmaraju Penabad Peng Penna Penttonen Performability Pergola Perl Perlis Permutationen Perrin Perrot Petersson Petit Petr Petrovich Petterossi Pettorossi Pfaff Phan Philipp Philippe Picaronny Pierluigi Pierpaolo Pieter Pigozzi Piotr Pistore Pl Pletat Pliuskevicien Pnueli Poblete Poetzsch Pohlmann Polle Polymorphism Polynomen Polytime Polyvariant Pomello Pontelli Potier Poutr Pr Prabhakara Prabhu Pradip Praeger Prakash Pramod Prather Pratul Prau Pre Prend Preorder Prepaging Preparata Presortedness Priami Priese Prioritized Pritchard ProbAlgs Proc Prodinger Programm Programme Proietti Prolog Prusinkiewicz Przemys Pucheu Pudl Pudlak Pujolle Purdom Purushothaman Q QDP QFR QLD QSD QST QTD QUEUEING Qi Qian Qiwen QoS Quadtree Queille Queueing Quicksort Quine's Quinton Quiring R RAA RAD RAE RAI RAS RBR RBS RBU RCC RCE RCI RCP RCS RDC RDS RDT REF REP RES RETRPROV RFA RFO RFS RFT RG RHD RHG RISC RIV RJ RJC RL RLB RLC RLD RM RMH RML RMM RMO RNA RND RNM RP RPH RPN RPP RPS RPT RR RRA RRB RRD RRT RSC RSF RSH RSI RSL RSO RSR RSRa RSRb RSS RST RT RTC RTD RTL RTP RTS RVG RVS RWTH Ra Rabin Rabinovich Rabitti Radhia Radu Rafanelli Rahonis Raiha Rainer Raj Rajamani Rajan Rajasekaran Rajc Rakesh Ralf Ramachandran Ramanathan Ramarao Ramirez Ramon Ramsperger Rance Randell Rangan Rangarajan Rangierkomplexit Rani Ranjan Rao Ratel Ratk Ratoandromanana Ratschek Ravelo Ravi Raynal Razvan Realisierbarkeit Realisierungen Rebalancing Reexecution Reggio Rego Reichardt Reichel Reidar Reif Reiji Reiner Reingold Reinhard Reisch Reischuk Reisig Reiter Rem Rembowski Remy Ren Rensink Renzo Replaceability Res Reusability Reusch Reutenauer Reuven Rg Rhee Ricardo Riccardo Richey Riis Rijksuniv Rinnooy Rishi Rispal Roccetti Rocco Rocquencourt Rodeh Rohrich Rolf Rollik Roni Ronse Rosen Rosenberg Rosenkrantz Rossi Roth Rothe Rozenberg Ru Ruci Rudiger Rudnicki Rudolf Ruhl Ruohonen Rus Russmann Ruzicka Ruzzo Rxx Ryszard S SAJ SAK SAR SAV SB SBA SBB SBK SBP SBS SBT SBV SCC SCCS SCD SCF SCG SCH SCM SCN SCR SCS SCT SDC SDE SDF SDG SDK SDP SDT SEC SEL SEMANOL SES SF SFA SFC SFE SFI SFO SFP SFR SFS SGF SGT SIF SIGFIDET SIGPLAN SJM SKG SKGa SKGb SLB SLP SLR SLRa SLRb SMA SMC SMF SML SMP SMR SMS SMT SNF SNI SNP SOA SOE SOF SOT SOUZ SP SPB SPC SPG SPL SPP SPR SPS SPT SQD SQN SR SRA SRB SRC SRE SRH SRL SRP SRT SSB SSF SSG SSP SSQ SSS SST STACS STB STE STG STI STP STS SVC SVD SVO SVP SWA SWE SWG Saake Saarbr Saarinen Saarlandes Sabel Sabelfeld Sacc Sagiv Saito Sakarovitch Sal Salkin Salomaa Salowe Salvador Salzberg Samelson Samet Sampaio Sampath San Sandeep SangKeun Sangiorgi Sanguthevar Sanjay Sanjeev Sanlaville Sannella Santone Sassa Satish Sato Satoru Sattler Saul Sav Savick Savicky Savitch Savitt Saxena Saxton Sc Sch Schaltkreise Schassberger Schenke Schettini Schewe Schkolnick Schlatter Schlichtiger Schlumberger Schmerl Schmid Schnelle Schnorr Schoett Scholten Schonhage Schorn Schorr Schott Schrapp Schrod Schuler Schurfeld Schwer Sedgewick Seidel Seidl Seiferas Seino Semantik Semigroup Semigroups Sen Senizergues Sentinal Sep Separatoren Sequentielle Sequnces Serazzi Sergei Sergey Sergio Serializability Serna Sernadas Sestoft Sethi Sethuraman Seysen Shang Shankar Sharir Shawe Shedler Shen Sheng Shigeki Shigeru Shlomi Shlomo Shmuel Shmueli Shostak Shou Shrira Shuzo Shyamal Shyamasundar Shyr Sibeyn Siegmar Siekmann Sifakis Silberschatz Silva Silvia Simant Simi Simovici Singh Sintzoff Sipala Siromoney Siu Skeen Skyum Slicings Slissenko Slobodov Slobodova Slutzki Smaill Smid Smit Smolka Smotherman Snelting Sobel Soffa Soininen Soisalon Soko Sokolowski SokolowskiS Solovay's Solow Sommerhalder Sondergaard Sonnenschein Sortierproblemen Soundararajan Spanier Spaniol Speckenmeyer Speer Spehner Speicheroptimale Spirn Spitzen Sprachen Sprouts Sprugnoli Spuler Spyratos Srba Sridhar Srimani Sriram Staalmarck Stacey Stadel Stafylopatis Stahl Staiger Stal Stalmarck Staphylopatis Staunstrup Stavros Stee Steensgaard Stef Stefan Stefano Steffen Steggles Stephan Stijn Stimm Sto Stockmeyer Stolboushkin Stonebraker Stoss Strachey Strassen Strothotte Sturmian Su Suad Subramanian Subrecursive Subrekursive Subtyping Sudborough Suggets Sule Sumit Sundar SungSuk Suonio Supercube Supertype Supnick Supowit Sur Suri Surjective Surya Susumu Sutner Svahnberg Svante Sven Sylviane Sylvianne Symeon Symmetric Synchronic Synchronisationsgraphen Synchronizable Syst Systolic Szelepcs Szelepcsenyi Szpankowski Szwarcfiter T TAC TAF TANT TB TBC TBH TBM TBP TBT TCC TCF TCP TCSP TDRa TDRb TEC TET TFD TFF TFH TGA TH TK TLB TLGs TLM TLP TLR TLTa TLTb TM TMD TMM TMS TMT TNC TNP TODO TOL TOPPS TPC TPF TPL TPP TPT TR TSA TSC TSD TSM TSS TST TT TTA TTC TU TUDD Ta Tabet Tadao Tadeo Tadeusz Tah Takao Takashi Takehiro Takeichi Takumi Tamir Tamminen Taniguchi Tarja Tarjan Tarjan's Tarlecki Tassa Tateishi Tatsuie Taubenfeld Taubner Tcha TeX Techreports Teil Teitelbaum Tel Telis Tennent Tennet Tennet's Teodor Terlouw Tero Terrence Teruo Tesei Teske Teunissen Teuvo Th Thalheim Thanisch Thanos Theorie Thiagarajan Thierrin Thierry Thiet Thomsen Thorsten Thorup Thu Thue Thuy Tiberio Tibor Tilak Timkovsky Ting Tininini Tiplea Tiuryn Tjalling Tobias Tohoku Tokuda Tokura Tomaras Tomasz Tomi Tomita Tomlinson Tompa Topor Tor Torben Torlone Torre Torrigiani Torsten Toshiro Toung Tourlakis Tr Tran Transductions Transformationen Tres Trevor Trie Triesort Tripathi Trivedi Trogemann Tronci Tsai Tsakalidis Tsuda Tsukiji Tsutomu Tucci Tue Tur Turakainen Turini Turnbull Turski Tuzhilin Twente U UAG UAI UBA UBP UCD UCP UCSB UDT UEP UGC UHV ULC UMT UOB UOD UPU URL URU UT UTR UUM UVC Udo Ugo Ukkonen Ulf UllmanJD Ulrich Ultralinear UnCover Undecidability Undefinedness Unfoldability UniS Univ Unterauer Upsequence Urano Urzyczyn Ute Utting Uwe Uzi V VBI VCH VCP VDM VEF VFP VFT VHD VM VPC VPP VPS VRT VS VSD VSR VWG Vaandrager VaandragerFW Vaglini Vaidyanathan Vaishnavi Vajnovszki Vakgroep Valable Valdis Valent Valerio Valk Valkema Valuedness Valverde VanDenBussche VandenBussche Vangelis Vansummeren Vantilborgh Vardi Varepsilon Variablenmengen Varj Varju Varricchio Varshney Vashudha Vasudevan Vasudha Veneris Venkatesan Vereijken VereijkenJJ Vernetzungsstruktur Verraedt Vianu Vicard Vide Vidyasankar Vijay Vincenzo Vishkin Vit Vlaminck Vogler Vojt Vojtech Volker Vollst Vorobyov Vorst Voss Vu Vugt Vuillemin Vyncke W WAC WCA WCC WCP WCS WFA WFC WID WL WLW WMD WMR WQO WUF WWW Wabenhorst Waite Waldinger Walid Wallis Waltham Walther Walz WandM Wanke Warmuth Warshall's Warteschlangen Watt's Wavelet Wechsung Wedler Wegbreit Wegener Wegner Wehrheim Wei Weide Weihl Weil Weining Weller Wellings Welzl Wen Wenceslas Westrhenen Weyuker Whaley Wi Wichmann Widmayer Wiederhold Wijngaarden Wilf Wilfried Willem Wiltink Wim Winkler Winklmann Winkowski Wirsing Wirth Witold Wladyslaw Wlodzimierz Wm Woeginger Wojciech Wojtylak Wong Worboys Wormald Worte Wotschke Wrathall Wrightson Wu Wunderlich Wurgers Wurges Wuu Wuxu Wyrostek X XML Xiaolei Xu Y YAG YPA YYP Ya Yael Yahiko Yajima Yamamoto Yamasaki Yamazaki Yao Yasuichi Yasunori Yasuyoshi Yee Yehoshua Yehuda Yellin Yennun Yi Yijie Ying Yiwei Yo Yoichi Yong Yonit Yoshihide Yoshiki Youichi Yovine Yu Yuri Yushchenko Yuzheng Z ZNK ZPR Zahle Zaks Zamora Zaniolo Zdzis Zeitkomplexit Zeno Zentrallblat Zhang Zheng Zhenyu Zhiguo Zhu Zierer Zislis Zito Zohar Zolt Zoltan Zoran Zuczek Zufallsfolgen Zugriffssysteme Zur Zvi abbrev ac ack acknowledgement acm acta actainfo aczak aesthetic aesthetically affiliationaddress affine ahn aires ajczak al alg algobib algorithme algorithmes allison alloc analyse analysed anatol anglais annote antiport applic approximability apr ar arith ary assez assurent async ation atomicity atrice att attributs aucun auf aug aun aussi auteurs autres aux avec avoir aw awk axiomatizability ayant az b bcp beebe behaviour behavioural bei benson ber berdeckungsprobleme bersetzung bert besoin bevan bi bibdate bibmods bibnames bibnet bibsort bibsource bien bifaithful bifid bisimilarity bisimulation bler bmm bonne briques bypages byvolume c c'est calculs caract caracteristiques ccs centrale centralis certaines ces cette cf ch chaque characterised characterises ches circ cis cissun ck cken cl claires classique cmi co cocomparability codetable com comparaison compling condi conflictable confluence constr contextes contrainte contrepied corrigenda cr crit crois croissants csp ctor ctr curseur curtis czy d d'abord d'arbres d'attente d'attribut d'avoir d'inter d'interet d'un d'une dans darmstadt dataflow datalog datastructure datatype db dcl dcs de deBakker deBruin deGuzman deLuca dec decls deduit demande denBussche der derandomization derivational dershowitz des descr deux diagramme diger dirig dist diverses dl dna docstring doi donn dpd dpt dts du duisent duit durch dure dures e eNCE ect edu effectu einer eines ek email embeddings en endliche endlichen endlicher enews enteredby entre entscheidbare enum equational erkennbaren ern es est etiquettes eureca eval ewicz exponentielle exponentielles f fa faire faisons familles feb fel ferm fermeture fernau ffgen fibration fixpoint flajolet flf flt formalisation ftp fuer g gauches gc generalised ger gestion globales gnier gotos gragra grammaire grammaires graphes gv gz h hcr helpdesk heuristique hl hnemann homog hrich htm html http hypergraph i ichi id ieee ih il ils incr incrementale infinitary informatik initially inlining int internet ira ispell issn ist iti j jan jour journalabr js jul jun k ka kan ki kinen kontextfreier kontextsensitiven kstokker kwds l l'evaluer l'explosion l'optimisation labelling lang langages lcar lcg le leavens les letrec ley lfd lgyi lin lineare linearen liorer lire lldobler ller lmarck location's longue lsmann lting ltx lu lya m mag mailto mais mani mann mek meme memoriam memory mereley mergeable mergesort mes metapress mieux mim min minimale misc mit mittlere mj ml modelling modularisation moins monoide montrant mouvement mov mrreviewer multicast multihead multiqueue multivalued multiversion multiwriter mynote n n'a n'effectuer n'ont ncke nctu nd ndergaard ndez ndig ndigkeitssatz ndor ne nek nes nescu nestmann netflow nger nhage nhfb ni nin ning nizergues nl nombre nonmono nonstationary normement nos notres nous nov nr nsk nter nther ntyl ntzer ny nyi o oac ocl oct od odzimierz ois oise online openurl optimierende optimisation optimisations ordonn org organisation orique os ou ovr owski p papier param parameterisation parameterised parlab partie partielle pb pcalc pcl pdf pendance pennbib peut peuvent phane planaren ple plfun plusieurs pm polarizations poly polymorphism positiven pouvantable pp pr pratiques pre preloading prespecified probl proc processeurs procos prog programm programmierbare ps ptsem pttra puis qu'il qu'on quadtree que quelles quelquepart quelques quences quentielles queueing qui quivalente r rale rarchie rard rateurs rationelle raud rebalancing recalcul reengineering ref refersto refs regarde rel rement ren rence report's repr representant ressante ressantes resultats retrial revanche reynolds rez rfeld rg rgen rgensen rger rgers rges rhus rieurs ristiques rm robyn rosenfeld rpern rski ry s satur scalability schrod se selon sema semigroup semno sentant sente sep seq seront ses seufert sevice sgml showtags si siggraph sigplan sik sim similitudes simulan simultan sinon sjb slisenko slissenko sll softeng sok sont spage spert springerlink st statechart stationnaires stockage subtyping suffisantes sultats sur surjective sydcat symport syntactiques syst systolic szl t taille tat tcs te tefan tek temporaires temps tenir ter terHofstede terme terministes tex texbook th theorique thier thode timestamp ting tional tocs totalement tous transductions transferal translatables transputer travaux tre tres trie troughput ts tslin tus tw twocolumn typability u uk uka ulik un uncoupled und une unfoldability unfoldings ung uni unnesting unsrt url usuelle utah utilis uva valuateurs vanGlabbeek vanLamsweerde vanLeeuwen vanStee vanWijngaarden vandeVorst vandenBos vanwijngaarden vara vdm vek verschiedener viter vollst von vonWright vorgeschriebener vs vu vy w wc wg whitespace wijngaarden workflows wp wuuyang www x xx xxauthor xxnote xxtitle y ynh yo z zak zar zef zewicz zvan