AAB AAE AAG AAI AAN AAP AAS AAT AAV ACA ACC ACF ACP 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 ARa ARb 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 Afrati Africk Agarwal Agerwala Agrawal Agrawala Aguech Ahamad Ai Akdag Akhil Aki Akira Akkerman Akyildiz Alagi Alagic Alain Alban Alblas Albrecht Aldo Alexandr Alexandru Alexey Alfa Alfred Alfredo Algorithme Alhazov Ali Alon Alonso Alt Ambuj Amerins Ameur Amig Amilcar Amin Amir Amitava Ammar Amr Amram Amrinder Analyse Anatol Anca Anderaa AndersonSO Andersson Andonie Andrea Andreas Andrei Andrzej Angluin Annabelle Annegret Annthony Anshel Anton Antonella Antonin Antonio Antonios Aouel Apachite Apostolos Araki Arbib Archiv Aref Arend Ari Arie Aris Aristid Ariz Armin Arnaud Arnd Arne Arora Artalejo Artiom Arto Arturo Arun Arunabha Asaf Asarin 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 BCL BCS BCT BDF BEP BHT BIBLIOTHEK BJW BKB BLA BLC BLK BMD BML BMU BNF BOT BP BPA BPE BPP BQR BRC BRNGLR 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 Berardini Berechnung Berghammer Bergstra Bericht Berkman Berman Bernab Bernabeu Bernardeschi Bernd Bernhard Bernini Bernot Berstel Bertino Bertol Bertsch Berzins Berztiss Bethke Betteridge Betti Bettini 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 Bono Boole'sche Boolesche Bordihn Boreale Boris Borivoj Borowczyk Bos Boting Bottoni Bouchet Boug Bouge Boundedly Bovet Boxma Boyar Bozapalidis Br Brandwajn Brazdil Breitbart Bremen Brigitte Brijder Brinch Brisaboa Brlek Brodal Bromley Broutin Broy BroyM Bruin Bruun Bruynooghe Btrees Bublitz Bucher Buchheim Buchholz Buchsbaum Bulyonkov Buning Bunkenburg Burkhard Burnetas Burrieza Burstall Bussche Buttner Buzen C CA CAA CAAP CAC CAE CAO CAS CBC CBE CBM CBP CBS CCB CCC CCF CCP CCR CCS CCT CDD CDG CDL 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 CNC CNV COB CODEN COI CONCE CPF CPP CPS CPT CQP CR CRA CRC CRCW CRD CRE CRM CRP CRS CS CSA CSB CSC 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 Calders Caleiro Calvin Calzarossa Campbell Caporaso Caracterise Carayol 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 Chirkova Chiung Chlo Choe Choffrut Choi Chong Choo Choquet Chowdhury Choy Christel Christiane Christoph Christophe Christos Chua Chul Chun Chung Chunlin Churchhouse Chuzo Ciancarini Cie Cieslik Cin Cinzia Ciobanu Claudine Clauss Cleaveland Clemens Co Cocomparability Coh Cole Colin Collatz Collberg Collette Colomb Combinaison Commentz Comp Compendex Confluence Cong Congruences Connected Conradi Constantin 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 DCR DCS DCV DEE DEH DET DFA DFD DFK DFL DFR DFT DFV DG DGE DGG DGM DIR DJL DLC DLOGTIME DLP DMC DMD DMI DMP DMS DOI DOL DP DPA DPB DPC DPF DPG DPI DPM DPP DPS DQA DRA DRC DRD DRH DRM DS DSD DSF DSI DSL DSO DSP DSS DSU DTR DTU DVD DVE DWB DWD DWM Daduna Dagnino Dai Dal Damm Dampney Dana Dani Daniela Danilo Danusaputro Darlington Darmstadt Darondeau Darstellungen Dassow Dataflow Datalog Datenstrukturen Daubechies Dauh Davide DeFrancesco DeNicola Deepak Degano Deineko Della Delvaux Demaine Demers Demetres Demetrovics Denis Denning Deon Deques Der Deransart Derek Derick Derivational Desel Desh Desharnais Desjardins Determinancy Detlef Detro Deussen Devillers Devroye Dewdney Di Diaconescu Diaz Didier Diekert Dingel Dirk Disque Djidjev Doberkat Dolev Domaratzki Domenico Dominique Donal Dong Donn Dortmund Dosch Drabent Drmota Du Duan Dube Dublish Duda Dugan Duggan Dunne Duong Duponcheel Duprat E EAC EAF EAI EAW EAZ EBC EBF EBP ECE ECFG ECO ECP ECS EDG EDN EDO EDR EDS EE EEP EET EF EFG EFL EFO EGC EGI EGM EGP EHF EHN EHS EIA EIC EII EIL ELA ELE ELL ELO ELP ELR EMEa EMEb EMM EMT ENF ENL ENR EOE EOL EPB EPC 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 Economopoulos Edelsbrunner Eds Edsger Efe Egon Ehrenfeucht Ehrich Ehrig Eichner Eigenschaften Eike Ein Einbettungssatz Eiter Ekkart Elad Elena Eleser Elisa Elisabetta Eljas Elmasry Elvira Emo En Encarna Enciso Encodements Endliche Endre Enea Engelfriet Engels Entreeings Ephremides Equational Erica Eriksen Erkki Erlangen Erol Ershov Ertel Erweiterte Erzs Esik Esko Esparza Etend Etsuji Etsuro Evangelos Ewald Extensionality F FA FAA FAC FAE FAI FAL FAS FAX FBD FCF FCR FCS FDP FDR FDS FDs FGD FGS FKM FLE FLG FLT FMA FMC FMD FMM FMP FNC FNO FO FOC FOCS FOI FOL FP FPA FPO FPX FRP FRR FRS FSC FSD FSE FSL FSM FSR FTW Fabienne Fabrizio Fach Fachini Faigle Falin Falko Familles Fanchun 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 Floris Flowgraphs Fogel Fokkink Forall Formel Formes Forst Foto Foued Fr Fra Fractal Fraenkel Francesca Francesco Francez Franck Franta Franti Frantisek Fraogonczak Frederiks Fredman Fri Friedhelm Friedrich Frisco Frison Frits Frostig Frougny Fu Fulop Funktionen Fuzzati Fxx G GAN GAs GB GBA GBE GBM GBS GBT GC GCU GDL GDM GDS GE GEG 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 Geeraerts Geerts Gef Geist Gelenbe Gelsema Genericity Genlebe Genrich Gente Georg Gerardo Gerd Gergatsoulis Gergely Germano Gerth Gh Gheorghe Giammo Giannella Giansalvatore Giegerich Gigliola Gilberto Gillard Gilles Gillett Gillies Giloi Gimpel Ginsburg Giora Giorgio Girard Gire Giuliano Giuseppe Glabbeek Gladkij Gobang Godwin Gokhan Goldreich Goldschlager Golin Goltz Golumbic Golunkov Gonczarowski Gonnet Gontsa Gopal Gorlatch Gorrieri Gotlieb Gotos Gouda Graefe Graf Grammarforms Grammarhomomorphisms Grammatiken Graphen Grassi Gravell 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 HMA HMC HNE HOS HPC HPM HPP HPS HPV HSS HTM HTML HTT HUP HVH Habel Habermann Hac Haddad Hadidi Hagiya Hakala Halava Halbwachs Haldar Han Hanan Hanna Hanne Hant Hantao Harald Haralick Harju Harman Harmelen Hartmanis Hartmann Hartmut HasegawaM Haskell Hatayama 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 Hirvensalo Hisao Hitoshi Hoare Hoare's HoareCAR Hoffmann Hofstede Hogeschool Holger Holzer Hongzhong Honkala Hoogeboom Hoogewijs Hooley Hopcroft Horibe Horning Horspool Horst Horsten Horwitz Hosam Hotz Houguang 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 Hybridization Hyeong 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 IRM ISF ISS ISSN ITA ITNC ITP IWF Iain Ian Ianov Ibarra Ichiro Icking IfN Igal Igarashi Igarishi Iglehart Iiro Ikuo Il Ilie Iliopoulos Imai Inagaki Ind Indep Indermark Inf Infinitary Informatica Informatics Informatik Informatika Inge 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 Iwona J J'ai JSG JT Ja'Ja JaJa Jacobo Jacquet Jain Jainendra Jakob Jakub Jalote Jancar Janicke Janicki Janos Janousek Janssen Janssens Jantzen Jaques Jarkko Jaroslav Javier Jayashree Jayme Jazayeri Je Jeannine Jenner Jensen Jerzy Jes Jetty Ji Jiang Jianwen Jifeng Jin Jingsen Jinzhao Jirk Jixue Joachim Joaquim Joep Joffroy Johan Johnstone Jong Joon Joost Jop Joris Jos Josephs Josko Jouko Jourdan Juergen Juha Juhani Jul Julien Jun Jung Juraj Jurg Jurgensen Juris Jyrki K KLP KRZE KS KTI Kahn Kahrs Kaiha Kalampakas Kalmus Kalpana 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 Katsunobu 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 Kobayashi Kobler Kobuchi Koeln Kohei Koichi Kolla Kolmogorov Komplexit Kondratyev Konheim Konig Konikowska Konstantinidis Korlyukov 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 LBI LBL LBM LBS LBT LCB LCC LCP LCS LCSS LCU LDM LDR LE LF LFCS LGC 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 Ladislav Ladner Laffra Lagnier Laguerre Lamoureux Lamport Lampson Lamsweerde Langages Langenhop Langmaack Langston Lao Larissa Lasmar 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 Lieven Lila Liman Lindenmayer Lindsey Lineare Linna Linqiang Lins Lippe Lipps Lipski Litwin Liu Liuba Lobstein Locuratolo Lodaya Loeckx LogicProgramming Loizou Lorene Lorenzo Lorge Lorho Losseva Losslessness Lou Louchard Loui Louxin Lubachevsky Luc Luca Luccio Luckham Ludmila Luis Luiz Luk Lundberg Luong Lutz Lyuu M MADa MADb MAH MB MCC MCI MCM MCP MDB MDC MDF MDI MDP MDR MDS MDT MEA MEG MEP MEQ MER MFA MFB MFD MFE MFV MG MGL MHD MHT MIP MIZAR MLM MLN MM MMF MMM MMT MMV MNA MNM MOG MOMI MP MPA MPN 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 Magnani Mahadevan Mahalingam Mahmoud Mailloux Mais Majster Makinen Makowsky Malcher Malik Malton Maneth Mani Mannila Manolis Mantyla Manyem Maon Marc Marcin Marco Marek Margherita Marisa Marisela Markey Markku Markowsky Marktoberdorf Markus Marque Marriot Martii Martti Masahiro Masalagiu Masami Masataka Masato Maschinen Massarotti Massimo Mateescu Mateo MathSciNet Mathematik Matsumoto Matteo Matthias Matti Matzner Mauer Mauney Maurer Maurizio Maxson Mayr McColl McCreight McIver McKellar McLeish McNickle Meduna Meersman Meertens Meghini Mehdi Mehlhorn Meichun Meinicke Meinke Melichar Mellin Melson Memmi Memoriam Menas Menzel Mergeable Mergesort Merritt Merro Merzenich Mescheder Meseguer Meta Metalgorithm Metatheorems Metivier Meurig MeyeraufderHeide Mezn Micha Michel Michele Michiel Michio Middelburg Middeldorp Mihalache Mika Mikhail Mikkel Mikko Miko Mikou Mila Mili Millist Milner MilnerR Ming Mingsheng Mingyuan Minh Minimale Minimalpolynome Minn Mireille Mirko Mirkowska Misc Mitrana Mitrani Miyakawa Miyano Modell Modelling Modularisation Moenck Moffat Mogens Mohamed Mohania Mojm Mojmir Moller Mon Monge Mongenet Monien Mono Monoid Monoids Montanari Montangero Monte Montesi Monti Moodie Mooly Mor Moran Mordecai Mordechai Moreau Morimoto Morita Morito Moriya Morphemes Morphic Morphisms Morvan Moshe Mostafa Motzkin Motzkins Mukesh 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 NBD 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 NNU NOH NP NPP NPT NRO NS NSC NT NTAPE NUR NVH NVN Nabil Nahapetian Nain Nakahara Nakajima Nakashiba Nakata Nakatsu Naoki Napoli Narao Narayan Narendran Nasreddine Nasser Navarro Navlakha Neculai Nederpelt Neh Nehm Nehmer Neil Nemetz Neraud Nestmann Neuhold Ngan Nickerson Nickl Nico Nicola Nicolae Nicolas Nicoletta Nicollin Niculescu Nierstrasz Nievergelt Nieves Nigel Nijholt Nik Niklaus Nikolaj Nipkow NipkowT Nishihara Nishimura Nishizeki Nissim Nivat Nobuki Nobuko Noll Nonfinite Nonplanar Nonstationary Norbert Norihisa Norishige Noritaka Normalisierungsproblems Novotn Nowotka 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 OSO OSR OSS OST OTC OTCb OWA OWC OWM Ognjanovi Ohsaki Ojeda Ok Okhotin Ola Olderog Oldrich 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 PD PDF PDO PDQ PEE PEF PEL PES PFC PFP PGG PGL PGM PGR PGT PIB PIR PIS PKI PLB PLD PLG PLP PLPa PLPb 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 Param Parama Parameterisation Paramodulated Paredaens Parente Parikh Paritosh Parnas Parsable Partage Partiell Partsch Pasanen Paschos Paterson Pathlistings Patricio Paulien Paull Paulo Paun Pavel Pavlaki 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 Pinzani Piotr Pistore Pl Pletat Pliuskevicien Pnueli Poblete Poetzsch Pohlmann Poissonization Poitrenaud Polle Polymorphism Polynomen Polytime Polyvariant Pomello Ponse Pontelli Potier Poutr Pr Prabhakar 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 RAR RAS RBR RBS RBU RCC RCE RCI RCP RCS RDC RDP RDS RDT REF REP RES RETRPROV RFA RFO RFS RFT RG RGP 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 RSM RSO RSR RSRa RSRb RSS RST RT RTC RTD RTL RTP RTS RUA RVG RVL RVS RWTH Ra Rabin Rabinovich Rabitti Rachele Rada Radhia Radu Rafanelli Rafik Ragde Rahonis Raiha Rainer Raj Rajamani Rajan Rajasekaran Rajc Rakesh Ralf Ramachandran Ramanathan Ramarao Ramirez Ramon Ramsperger Rance Randell Rangan Rangarajan Rangierkomplexit Rani Ranjan Rao Raskin Ratel Rathke Ratk Ratoandromanana Ratschek Raussen Ravelo Ravi Ravn Raynal Razvan Realisierbarkeit Realisierungen Rebalancing Reexecution Reggio Rego Reichardt Reichel Reidar Reif Reiji Reiner Reingold Reinhard Reisch Reischuk Reisig Reiter RelView 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 Rogozhin Rohrich Rolf Rollik Roni Ronse Roques Rosen Rosenberg Rosenkrantz Rossi Roth Rothe Rozenberg Ru Ruci Rudiger Rudnicki Rudolf Ruhl Ruohonen Rus Russmann Ruzicka Ruzzo Rxx Ryszard S SAJ SAK SAO SAR SAV SB SBA SBB SBK SBP SBS SBT SBV SCC SCCS SCD SCE 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 SHS SIF SIGFIDET SIGPLAN SJM SKG SKGa SKGb SLB SLP SLR SLRa SLRb SMA SMC SMF SMH SML SMP SMR SMS SMT SNF SNI SNP SOA SOE SOF SOT SOUZ SP SPB SPC SPG SPL SPP SPR SPS SPT SQD SQL SQN SR SRA SRB SRC SRE SRH SRL SRP SRT SSB SSF SSG SSP SSQ SSS SST SSU STACS STB STE STG STI STP STS SVC SVD SVO SVP SWA SWE SWG Saake Saarbr Saarinen Saarlandes Sabel Sabelfeld Sacc Sagiv Sahin Saito Sakarovitch Sal Salkin Salomaa Salowe Salvador Salzberg Samelson Samet Sampaio Sampath San Sandeep SangKeun Sangiorgi Sanguthevar Sanjay Sanjeev Sanlaville Sannella Santean 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 Skak Skeen Skyum Slicings Slissenko Slobodov Slobodova Slutzki Smaill Smid Smit Smits 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 Srecko 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 Strazovsk Strejcek 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 Szeider Szelepcs Szelepcsenyi Szpankowski Szwarcfiter T TAC TAF TANT TAW TB TBC TBH TBI TBM TBP TBT TC TCC TCF TCP TCSP TDP TDRa TDRb TEB TEC TET TFD TFF TFH TGA TH TK TLB TLD TLGs TLM TLP TLR TLTa TLTb TM TMD TMM TMS TMT TMs TNC TNP TODO TOL TOPPS TPC TPF TPL TPP TPT TR TSA TSC TSD TSM TSS TST TT TTA TTC TTP TTR TU TUDD Ta Tabet Tabuada Tadao Tadeo Tadeusz Tah Takao Takashi Takehiro Takeichi Takumi Tamir Tamminen Taniguchi Tarja Tarjan Tarjan's Tarlecki Tassa Tateishi Tatsuie Tatti 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 Thao Theorie Thiagarajan Thierrin Thierry Thiet Thomsen Thorsten Thorup Thu Thue Thuy Tian Tiberio Tibor Tilak Timkovsky Ting Tininini Tiplea Tiuryn Tjalling Tobias Tohoku Tokuda Tokura Tomaras Tomasz Tomi Tomita Tomlinson Tompa Toon Topor Tor Torben Torlone Torre Torrigiani Torsten Toshiro Toung Tourlakis Tr Tran Transductions Transformationen Tres Trevor Trie Triesort Tripathi Trivedi Trogemann Trombetta Tronci Tsai Tsakalidis Tsuda Tsukiji Tsutomu Tucci Tue Tur Turakainen Turini Turnbull Turski Tuzhilin Twente Tyrrell U UAG UAI UBA UBP UCD UCP UCSB UDA 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 VAS VBI VCC VCH VCP VDM VEF VFP VFT VHD VM VPC VPP VPS VRT VS VSD VSR VWG Vaandrager VaandragerFW Vaglini Vagner 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 Vassia Vasudevan Vasudha Veneris Venkatesan Venneri Vereijken VereijkenJJ VeriSoft Vernetzungsstruktur Verraedt Vesa Vianu Vicard Vide Vidyasankar Vijay Vincenzo Visentin Vishkin Vit Viviana Vlaminck Vogler Vojt Vojtech Volker Vollst Vorobyov Vorst Voss Vu Vugt Vuillemin Vyncke W WAC WCA WCC WCP WCS WFA WFC WHR WID WL WLW WMD WMR WQO WS WSL 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 Wisniewski Witold Wladyslaw Wlodzimierz Wm Woeginger Wojciech Wojtylak Wong Worboys Wormald Worte Wotschke Wrathall Wrightson Wu Wunderlich Wurgers Wurges Wuu Wuxu Wyrostek X XML XSLT Xiaolei Xu Y YAG YPA YYP Ya Yael Yahiko Yajima Yamamoto Yamasaki Yamazaki Yao Yasuichi Yasunori Yasuyoshi Yee Yehoshua Yehuda Yellin Yennun Yi Yifeng Yijie Ying Yiwei Yo Yoichi Yong Yonit Yoshiaki Yoshida Yoshihide Yoshiki Youichi Yovine Yu Yue Yuh Yuri Yurii Yushchenko Yuxi Yuzheng Z ZNK ZPR Zahle Zaks Zamora Zaniolo Zdzis Zeitkomplexit Zeno Zentrallblat Zhang Zheng Zhenhua Zhenyu Zhiguo Zhu Zierer Zislis Zito Zohar Zolt Zoltan Zoran Zuczek Zufallsfolgen Zugriffssysteme Zuliani Zur Zvi abbrev ac ack acknowledgement acm acta actainfo aczak aesthetic aesthetically affiliationaddress affine ahn aires ajczak al alg algobib algorithme algorithmes allison alloc ambients 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 caching 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 dx 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 fixpoints 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 lik 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 meta metapress mieux mim min minimale misc mit mittlere mixins mj ml modelling modularisation moins monoid 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 ngeles nger nhage nhfb ni nig 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 prefetching 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 specifunction spert springerlink st statechart stationnaires stockage stuttering subexponential 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 ttner tus tw twocolumn typability u uk uka ulik un uncoupled und undecidability une unfoldability unfoldings ung uni uniformization 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 zdil zef zewicz zvan