AAC AAE AAG AAH AAL AAM AAP ABL ACA ACC ACF ACG ACH ACL ACO ACP ACR ADC ADP ADT AEB AEC AFA AFD AFO AFP AFS AG AGC AGF AGI AGS AHF AIA AIC AIF AIK AIO AIV ALC ALG ALH ALO ALS ALT AMAST AMD AMF AMN ANL ANR AOC AOD AOP AOS AP APC APK APP APW APX AQA AQC ARF ARP ASA ASB ASC ASD ASG ASI ASL ASM ASN ASV ATA ATC ATD ATL ATP ATR ATU AVB AVR AWG AWR Aachen Aalborg Aart Aasa Abdelillah Abdenacer Abderrahim Abello Abhi Abiteboul Ablayev Abramsky Abramsky's Acad Aceto Adamek Adel AdeleA Adleman Adolfo Adv Adviesdienst Afdeling Afek Afonso Agfa Agostino Agrain Agrawal Aguilera Ahmed Aignan Aigrain Ait Ajay Ajili Ajtai Aki Akinari Akinori Akira Akito Akutsu Alagar Alagi Alagic Alain Alban Albers Albizuri Aldo Alejandro Alessandra Alessandria Alessandro Alessi Alexandroff Alexandru Alg Algorithmen Algorithmes Alica Alimohamed Allender Allouche Almeida Alonso Alpuente Alsace Alta Alth Althofer Alur Amadio Amaldi Ambainis Ambos Ambus Amiens Amir Amo Amrhein Anantharaman Anatol Anatoli Anca Andersson Andr Andreae Andreas Andreev Andresen Andris Andrzej Angewandte Anglia Anil Annika Antimirov Antipolis Antonella Antoni Antonino Antonios Antoy Antsaklis Antti Aoyagi Apolloni Apostolico Appl Applicata Applicazioni Aps Apsitis Arai Arcueil Ari Arie Arikawa Arimura Ariola Armando Armidale Armin Arnaud Arne Arora Arqu Arques Arto Artur Arun Arvind Asano Asarin Ashdod Ashish Asperti Assoc Astesiano Atsushi Atsuyoshi Attila Aubiere Auer Augustin Auletta Ausiello Autebert Autom Automaticity Autonoma Avalon Avant Avanzate Aviezri Axel Axiomatisation Axiomatising AxveeB Ayumi Azuma B BAB BAP BC BCB BCC BCH BCP BDDs BDE BDN BDS BEM BEQ BFC BHA BHK BHT BIORAM BIP BLC BM BNN BNS BNU BOJ BPP BPR BPT BQA BSD BSP BSR BSS BST BTF BTP BUCS Baader Baaz Baca Backhouse Backofen Badouel Baeten Baeza Bafna Bai Baier Baire Bakel Balc Balcazar Baldan Baldoni Bampis Bamshad Bandini Bangalore Barbanera Barcucci Barendregt's Barendsen Barnaby Bartal Barthelemy Barthelmann Barua Bas Basart Bassino Bastien Bauderon Bauemoppel Bauern Bauernoppel Baumker Bayes Bazzi Beal Beate Beauchamps Beaudry Beauquier Bedon Beek Beguin Behavioural Beigel Beimel Beklemishev Bel'tyukov's Belanger Beling Belkhiter Belkhlter Bellcore Belnap Belnap's Bengt Benke Bennett's Bensaou Benveniste Berarducci Bergeron Berghammer Bergstra Berlekamp Berlekamp's Berline Bernardin Bernardinello Bernatsky Bernd Bernot Berstel Berthe Bertsel Besancon Beschreibungsverfahren Bettayeb Bezem BibNet BibTeX Bidoit Bielefeld Bierman Bignone Biing Bilardi Billingsley Biran Bireflectivity Birkhoff Bisimilarity Bisimulation Bisimulations Biswa Bittar Bj Bjarne Bjorner Blaise Blanck Bloo Blundo Blute Boasson Boaz Bodlaender Boer Bohdan Bohm Boldi Boley Bollig Bommadevara Bonacina Bonatti Bono Bonsangue Booz Borchers Borchert Boreale Borel Bosc Bossut Botelho Botorog Bouajjani Bouchard Bouchitt Bouchitte Boufkhad Boug Bouge Bouhoula Bourget Bournez Boykan Bozapalidou Br Bracho Bradfield Braga Brandst Brandstadt Branicky Bratislava Brattka Braumer Brauner Braunschweig Breitbart Bremond Breslauer Breugel Brigitte Brimkov Bro Brogi Bronnimann Bronstein Bruijn Bruin Brujin Bruns Bruxelles Bruy Bruyere Brzoska Bucciarelli Buchberger Buchberger's Buchholz Buchi Bucuresti Bueno Bugliesi Bultermann Bunder Bundgen Buneman Burago Burckel Burkart Burkhard Burmeister Burnaby Busi Bussche Buszkowski C CAAP CAC CAE CAF CAO CAS CBL CBM CBP CBR CCC CCC's CCD CCE CCF CCG CCO CCP CCS CCU CCV CCW CD CDA CDB CDD CDE CDF CDI CDR CDS CDT CE CEA CEB CEBa CEBb CEBc CEC CEN CER CERMSEM CES CFA CFC CFF CFI CFO CFP CFR CFT CFW CG CGG CGOOD CGP CGT CHD CHO CHP CHS CI CIC CIL CIM CIRC CIV CKS CL CLA CLB CLC CLD CLP CMC CMD CMF CMI CML CMM CMP CMS CNC CNF CNI CNR CNRS CNS CODEN COMP COMPUGRAPH COMPULOG CPC CPD CPE CPG CPI CPL CPM CPO CPS CPT CPV CQE CRB CRC CRCW CRE CRF CRG CRI CRIN CRL CRO CRP CRS CRV CS CSA CSB CSC CSD CSE CSF CSG CSI CSL CSM CSP CSR CSS CST CTA CTD CTL CTO CTR CUN CVK CWI CWP CWR Cachan Cachera Cadoli Caen Caenorhabditis Cagman Cai Calmet Calude Cao Caract Carlsson Carme Carpi Carrere Carri Carriere Carsten Cartan Cartwright Cassaigne Cassez Cassis Castagna Castellani Castelli Catalonia Catalunya Cattaneo Catuscia Cech Cedeno Cederbaum Cedex Cegielski Celina Centre Centro Cenzer Ceola Cerioli Cerny Cerone Cezaux Chaboud Chadzelek Chakrabarti Chambery Champarnaud Chandrasekharan Changwook Chantal Chaochen Chatalic Chaudhuri Chebotarev Chebotarevand Chebyshev Cheng Chervonenkis Chesnay Chia Chiara Chiaravalli Chih Chiola Cho Choffrut Cholesky Chopard Chor Choueka Christel Christer Christiane Christophe Christos Chrysafis Chrystopher Chu Chua Chuan Chuchang Chukyo Chun Chung Chunru Chuzo Chwa Ciancaglini Cicerone Cichon Ciencias Cisi Cleaveland Clelia Clementi Clerbout Clergerie Clermont Clos Clote Co Cockett Codenotti Codish Colbourn Colchester Colin Coll Collette Colombet Colorability Colson Colussi Combinatoire Comenius Comini Commun Comon Compendex Comput Computerverfahren Concordia Confluence Conrado Constru Contejean Contol Cori Corine Corradini Corrado Cortesi Cosimo Cosmo Cosnard Costantini Costas Courant Courcelle Courcoubetis Coven's Cracow Creignou Crescenzi Cresti Creteil Cristian Cristina Cristopher Crochemore Crossley Crutchfield Csuhaj Cucker Cui Curtin Cusick CyLL Cybern Czechoslovak Czumaj D D'Alessandro D'Argenio DAA DAC DAH DAQV DAS DATALOG DArgenio DBB DBC DBE DBMS DBR DBS DBT DCA DCC DCL DCM DCO DCPO DCR DD DDA DDB DDD DDR DDT DED DEM DER DESIR DET DEXPTIME DFA DFAs DFP DFS DFT DGA DI DIQ DISI DLOGSPACE DLOGTIME DMI DMS DNF DNS DOC DOL DPC DPD DPE DPG DPO DPP DQD DRA DRR DS DSA DSI DSL DSM DSN DSP DSPACE DSU DSZ DTA DTC DTI DTIME DTM DTP DTT DWP Dahlhaus Dalen Damaschke Dami Damian Dani Daniele Danos Dany Danyi Darboux Darmstadt Darondeau Dassow Datalog Datenverarbeitung Datta Dattasharma Davide DeFelice DeLaHiguera DeLuca DeMarrais DeNicola DePrisco DeTurk DecOcc Dechter Deco Degano Degtyarev Deh Dehornoy Delahaye Delorme Demange Demetrovics Dempster Demri Dendris Dengguo Denis Denise Denki Departamento Derencourt Derick Dershowitz Desbat Descriptional Desel Desh Desharnais Dessmark Detlef Dev Devaney Devdatt Devillers Dezani Di DiCosmo DiGianantonio DiIanni Diaz Didier Diekert Dietmar Dietzfelbinger Diks Dima Dimitrios Dimitris Dimopoulos Dingzhu Dini Dipartimento Dipt Dirk Discretes Diskrete Dittrich Div Divesh Divyakant Djelloul Dolev Dong Dongyang Donini Doombos Doornbos Doron Douadi Downarowicz Dragan Drakengren Drangmeister Drappa Dresden Drewes Drmota Droste Droubay Duanning Dubhashi Dubois Dufourd Duggan Duksung Dumitrescu Duntsch Duquenne Durand Dutheillet Duval Dybjer Dyck Dyckhoff E EAA EAC EAD EAM EAS EATCS EBA EBN ECA ECB ECC ECI ECL ECM ECP EDF EDI EDR EDS EEA EEB EEN EFA EFDOL EFF EFI EGM EGU EHC EHG EHL EHP EIG EIL EIM EJ ELECTRE ELIAS ELN EML EMP EMPA ENH ENS ENST EP EPC EPCa EPCb EPD EPE EPI EPK EPL EPLa EPLb EPO EPP EPS ERCW EREW ERM ESC ESD ESE ESI ESL ESM ESR ESS ESSI ETB ETI ETL ETOL ETS EUF EUP EUW EVN EXPSPACE EXPTIME Ea Eades Eb Ebinger Echanges Econ Edalat Edine Edoardo Eduard Eelco Efim Egidio Egly Ehrenfeucht Ehrig Eiben Eidgenossische Eiji Eiju Eike Einar Eindhoven Eiter Ekin ElHamidi Elaborazione Elbl Electr Elettronica Elihai Elisa Eloranta Elvira Emiris Emms Emo Engelfriet Engels Enjalbert Enno Enrique Enschede Enshao Eotvos Equational Equipe Erd Erdogmus Erdos Eriksson Erkki Erlebach Erol Ershov Erzs Erzsebet Esbelin Escard Escardo Esik Esko Esparza Esteban Etalle Etessami Eui Eur Evangelos Evelina Evelyne Evripidis Ewa Ewacha Ewan Exactas Expertensyst F FAC FACS FAF FAI FAO FAP FAS FASE FAW FAX FB FCB FCM FCS FD FDP FDQ FDS FDT FEA FEH FFP FFS FGG FGLM FH FHD FHO FHR FIL FIM FLI FLP FLS FMA FML FMM FMR FMS FOC FOL FOS FOT FPL FPM FPO FPR FPS FPT FPTAS FQR FRD FRK FRL FRN FRP FSA FSG FSL FSN FSO FSP FSR FSS FSSP FST FSV FTA FTL FTS FVA FVD FVL FVM FVP FWT Fabio Fabra Fabre Fabret Fac Fachbereich Fachgebiet Fadel Fages Fagin Fagnot Fairouz Fakler Fakultat Falaschi Falco Falk Farey Farid Farn Faron Fauerstein Favati Feige Fekete Felder Felipe Felsner Feng Feodor Ferenczi Fernanda Fernandez Fernau Ferragina Ferrari Ferretti Feuerstein Figueiredo Fil Filippo Finkel Finta Fiono Fiorio Firenze Fishburn Fisicas Flagg Flajolet Flammini Flasi Flasinski Flatwords Flavio Flemming Flocchini Flor Florham Fokkink Fondamentale Fondement Fong Formale Formalisation Formenti Forti Fortnow Fouks Fouquere Fourneau Fournier Fr Fra Fraenkel Fraigniaud Fraisse Francesca Franceschimis Franceschinis Francesco Franck Francon Fredlund Fredman Frege Freie Freivalds Frequences Freyd Fri Fribourg Friedhelm Frigioni Friso Froidevaux Frota Frougny Fu Fujii Fukuoka Fulk Fulkerson Fulop Funabashi Furio G GASCOM GAU GBC GBS GC GCD GCE GCH GCT GDB GF GFP GFW GGC GGT GHT GID GKP GLA GLC GLL GMC GME GMS GPL GPN GREYC GRF GRH GRR GRS GSE GSF GSL GSS GTA GTC GTF GTS GUA GVT Ga Gabarr Gabarro Gabbay Gabbrielli Gabriele Gabriella Galbav Galbavy Galbiati Galil Gallier Galmiche Galmiche's Gambosi Gan Ganter Gao Garbey Garc Gardiner Gardy Garel Garg Gargano Gargantini Garrigue Garsia Garzon Gasarch Gasiemec Gasieniec Gaspard Gasperoni Gastaldo Gastin Ge Geffert Gehrke Geiselman Gelenbe Gelsema Gen Genericity Genesee Geneve Genome Genova Gentzen Geophys Georg Geppino Ger Gerardo Gerd Gernot Gert Gesellschaft Gestion Geuvers Gevaert Gh Ghelli Gheorghe Giaccio Giacobazzi Giakoumakis Giammarresi Gian Gianantonio Giancarlo Gianfranco Gianluigi Gianna Gianpiero Gilberto Gilles Gilman Giora Giorgio Giovanna Girard Girodias Gisela Giulia Glabbeck Glabbeek Gliwice Globerman Gloor Glushkov Glynn Gobel Godel Goldblatt Goldreich Goles Golin Gollmann Goos Gopalan Goralcik Gorbunov Gorrieri Goteborg Gottlob Gou Goueslier Gourdon Gouyou Gr Gra Graaf Grable Gradel Gramlich Grammati Grammatikakis Gratzer Graz Grazia Greenville Gregoire Gregorio Gridth Grigorchuk Grigoriev Grigory Grisoni Gritzner Grobner Grolmusz Groote Grossberg Grossi Grothendieck Gruau Grue Grumbach Grundlagenforschung Grundy Gruska Grzegorczyk's Grzegorz Gu Guaiana Guangzhou Gub Gubas Gucht Gudula Guericke Guernic Guerrini Guessarian Guibas Guimar Guimaraes Guitart Gumm Guna Guo Guoliang Gupta Gurevich Gurion Gustedt Guthrie's Guyadec Gy Gyenizse Gyorgy Gyssens Gyuris H HAF HB HBO HCC HDOL HDT HED HEF HFC HFDOL HFS HGH HHS HML HOR HOS HRNCE HRS HRU HS HSU HTK HTL HTS HTWK Haastad Habel Habermehl Hackstadt Haddac Haddawy Hadjiat Haeseler Hagauer Hagerup Hagino Hagiya Haiko Hainaut Haj Hajos Hakala Hakan Halbwachs Hales Halperin Hamidi Handley Hanen Hankin Hanne Hanno Harald Harel Harju Harro Hartenstein Hartmann Hartmut Hartonas Hasegawa Hashimoto Hassan Hasse Hastad Hausen Haute Hava Havas Haxthausen Hayashi Hazewinkel Heckel Heckmann Heen Heide Heikki Heimann Heinemann Helios Hemaspaandra Hemmerling Hendrik Heng Henk Hennessy Hennicker Henrik Henriques Henryk Hentenryck Henzinger Herbrand Heribert Herlihy Hermo Herrigel Hertling Herve Herzog Heum Hideki Higman Higuera Hilken Hin Hindley Hing Hiroaki Hiroakira Hirokawa Hiroki Hirowatari Hirshfeld Hoare Hoare's Hochschule Hodas Hodkinson Hoene Hoeven Hoffgen Hofmann Hohl Hokkaido Holger Homann Hon Hongde Honkala Honsell Hoofman Hoogeboom Hoogers Hoogsboom Hooman Hopf Hopfield Hora Horatiu Horwitz Hosaka Hosam Hotz Hotzel HotzelEscardo Houle Hratchia Hromkovi Hromkovic Hsiang Hsu Hu Hua Huai Huang Huaxiong Huey Hui Huong Hwang Hwei Hwey Hypergraph IAE IAF IAKS IAS IASI IB IBDDs IBH IBP IBR IC ICALP ICB ICDT ICI ICN ICS ICT IDC IDOMENEUS IDS IFC IFS IFT IGF IIMAS IIR IIV ILC ILE ILP ILT ILTa ILTb IMAG IMC INA INF INP INRIA INSCC INSPEC IPA IPF IPL IPP IPT IQO IRC IRCOM IRISA IRIT IRM IRP ISA ISC ISI ISM ISMRA ISP ISS ISSN IST ISV ITA ITW IUL IUT IWP IWU IZL IZO Ia Iain Ianni Ib Ibaraki Ibarra Idury Iizuka Ikeda Ilan Ilaria Ilie Iliopoulos Imag Imai Immerman Immermann Imrich Ind Inf Infinitary Informatics Informationssyst Ing Ingenieria Ingenieure Inger Ingo Ingolfsdottir Inoue Inst Institut Insup Int Intrigila Intuitionism Intuitionistic Inverardi Ioan Ioannis Irani Isabelle Ishiguro Ishihara Ishikawa Ishizaka Ismo Ist Istituto Itkis Itsik Itsuo Ivo Iwama Iwamoto Iyengar J JCS JSS JWB JaJa Jaana Jaap Jaco Jacobo Jacquet Jaffray Jafja Jain Jajodia Jakobsen Jamie Jamison Jancar Jansen Janssen Janssens Jantke Jaoua Jaromczyk Jategaonkar Javier Jeavons Jena Jenner Jens Jeong Jer Jeron Jerrum Jerzy Jha Ji Jia Jian Jianer Jiang Jiangxi Jianwen Jiao Jiaotong Jiazhen Jie Jieh Jin Jing Jingsen Jinzhong Joao Joaquim Joeris Johan Johnsson Joinet Jonoska Jonsson Joost Jorg Joris Jos Josep Jouannaud Joyal Jozef Jozsef Juedes Juha Juhani Jul Julien Jun Juraj Jurgen Justin Jutta Jyrki K KDS KEP KH KKL KKP KMP KNM KPN KRA KSG KSM KTH Ka Kaci Kafura Kagan Kahrs Kai Kaiserslautern Kaivola Kaizhong Kajitani Kaklamanis Kalvis Kamala Kamareddine Kaminski Kanagawa Kanazawa Kaneda Kang Kann Kanovitch Kaplan's Kapur Karabi Karczmarczuk Karhum Karhumaki Kari Karim Karls Karlsruhe Karpinski Karsten Karzanov Kassel Kasuga Katajainen Katia Katona Katsumi Katsunobu Katsushi Kautz Kavvadias Kawaguchi Kawahara Kawasaki Kawazoe Kazan Kazuo Kececioglu Keerthi Keesmaat Kei Keio Kelemenov Kelemenova Kenichi Kennaway Ker Kesner Khanh Khasidashvili Kiat Kiel Kieronska Kiesswetter Kimber Kimio Kimmo Kinber King's Kirkville Kirousis Kirschenhofer Kishinau Kista Kivinen Klaas Klapper Klav Kleene Kleijn Kloeden Kloks Klop Knapik Knaster Knoop Ko Koblenz Kobler Kognitive Kohei Kohlas Kohn Koichi Koiran Koji Kojiro Kok Kolmogorov Kolpakov Konig Koole Kopidakis Kopke Kopperman Korec Korelc Korff Kortelainen Korver Koscielski Koshiba Kosice Koskas Koslowski Kosters Kotzig Kotzig'r Koubarakis Koubek Kouichi Kousha Koutny Kozen Kozyakin Kranakis Krapp Kratsch Kreowski Kri Kripke KrishnaRao Krithivasan Krizanc Krumke Kruskal's Krzysztof Kshemkalyani Kuan Kuchen Kucherov Kuchlin Kudlek Kuen Kuich Kulkarni Kullmann Kultur Kumar Kummer Kunen's Kunsoo Kuo Kuoherov Kuorka Kurihara Kurka Kurose Kurtz Kushner Kuske Kutrib Kutten Kutty Kwan Kwiatkowska Kwok Kwon Kyung Kyushu L LAA LACIM LAMSADE LAR LBB LBC LBM LBO LBP LCC LCD LCF LCO LCP LCR LDB LDE LDF LDI LDK LDP LEIBNIZ LEP LER LES LG LGC LGR LGS LIACC LIFAC LIFIA LIS LITP LJ LK LLB LLC LLNC LLO LLP LLS LLT LMC LMR LND LNS LOC LOF LOGCF LOGSPACE LOH LP LPC LPI LPW LRA LRC LRF LRI LRR LRS LRW LSA LSC LSD LSL LSM LSN LSP LSS LTA LTC LTH LTP LTR LTS LU LUT LVD LVR LWS LaBRI LaTeX Labella Labelled Labhalla Lacoste Lacroix Ladner's Lafaye LafayedeMicheaux Lakhneche Laks Lakshmanan Lalaye LalayedeMicheaux Lalita Lamarche Lambek Lamma Lamport Laneve Languedoc Larmore Laroussinie Larra Latteux Latticial Latvian Laumond Laure Laval Lawler Le LeGoueslierdArgence Leavens Lecomte Leen Lefmann Lefteris Lehr Lehrstuhl Lei Leibniz Leicester Leiden Leino Leipzig Leiss Leitsch Lemmon Lempel Lempil Leng Lenisa Leonardi Leoncini Leonidas Lescanne Leszek Lett Leung Levcopoulos Levene Lhouari Li Lian Liang Liapunov Libkin Libre Liege Liem Lifia Lifschitz Lille Liminf Limor Limsoon Lindenmayer Lindenmayerian Ling Lingas Linkoping Liouvillian Lipponen Lisboa Lishan Lisitsa Litovsky Liu Liudmila Livesey Livio Ljubljana Llenguatges Lof LogP Logik Logique Loic Loizou Lolli Lombardi Loogen Lopresti Lorand Lorentz Lothar Lotti Louchard Louscou Louxin Lozano Lu LuFG Luby Luby's Luc Luca Luchangco Luciano Lui Luigi Luisa Luiz Lukasiewicz Lulea Luminy Lungo Lusheng Luthi Luttgen Lyndon Lyngby M M'sila MAF MATHEMATICA MBC MBT MBY MCA MCB MCC MCF MCI MCL MCT MCV MDL MDM MDS MDT MES MFCS MFM MFS MFT MGA MGF MGP MIK MIR MIV MIVa MIVb ML MLC MLL MLP MLT MMA MMP MMR MNC MNM MNT MOL MP MPA MPC MPCE MPF MPL MRA MRT MSA MSC MSD MSF MSH MSL MSO MSP MSR MSS MST MTA MTAa MTAb MTC MTL MTO MTP MTR MTT MUE MVL Maarten Maass Macarie Maciej Mackie Mackworth Macquarie Maddila Maddux Madhav Madlener Madonia Mads Maffioli Magdeburg Maggiolo Magnus Mahajan Maher Maheshwari Mahmoud Majewski Majid Majster Makanin Makanin's Makhlouf Makinen Mal Malacaria Maler Malesi Malesinska Malgouyres Malika Malinowski Malony Maluszynski Manabe Mancarella Mandelbrot Manibrata Mannheim Mannila Manohar Manolis Mantaci Manuela Manzini Manzur Mara Maraist Marathe Marburg Marchiori Marcin Marcjetto Marcos Marek Margara Margenstem Margenstern Margherita Marian Mariangiola Maribel Mariko Marios Marisa Marius Marjo Marko Markov's Markus Marne Marrakech Marrero Marseille Marta Martin's Martti Maruoka Maruyama Maryse Marzouk MasPar Masahiko Masahito Masaki Masami Mashevitzky Masini Massimo Massol Matamala Mateescu Matematic Matematica Matematicas Matematiche Mathematica Matias Matiyasevich Matos Matsuda Matsushita Matthias Mattos Mattsson Maura Mauri Maurin Maurizio Mauro Mavronicolas Maxime Maximilians Mayordomo Mayr Mazoyer Mazurkiewicz McCusker McMaster Measor Mech Med Meena Megiddo Mehmet Meidanis Meinke Melan Melancon Melchisedech Melliar Mellin Mello Meo Mery Meseguer Messeguer Meta Metayer Metivier MeyeraufderHeide Mezghiche Mich Micha Michal Micheal Micheaux Michelle Middeldorp Middendorf Middendori Mignosi Mihail Mihalache Mihoubi Miki Mikkel Miklos Mikov Milano Milena Mili Milis Millist Milner Milner's Miltersen Miltos Mingsheng Minh Minimality Minkowski Mireille Miroslaw Mislove Mitas Mitrana Mitsuhiro Mitsunori Miyano Miyashiro Mizoguchi Mo Mobasher Mocas Moews Moez Mogens Mohamed Mokkedem Moldova Moller Mon Monge Monique Mons Monserrat Montalbano Montanari Montangero Montbonnot Monteiro Monti Montpellier Montserrat Mooly Morcrette Moreno Morgan's Mori Morita Morokhovets Morshed Mortsel Morvan Morzenti Mosbah Moschovakis Moshe Moti Motzkin Mouchard Moulin MoulinOllagnier Muchnik Mukherji Mukouchi Mulhouse Mullins Multilayered Multisets Munchen Mundici Munier Munro Munster Muscholl N NAC NADA NBG NCA NCAS NCE NCH NCM NCN NCS NCT NDE NDOL NDQ NDU NEA NEC NF NFA NFAs NFC NGC NGR NIC NIF NIO NIS NK NLB NLC NLOGSPACE NLT NMC NMS NMW NNM NNN NNP NNS NOF NOI NOP NP NPA NPG NPT NRS NSC NSI NSR NSS NSW NT NTMs NTS NTT NUR NVD Nachum Nadathur Nagano Nagaraj Nagarajan Nagaymam Nageswara Nago Naik Naim Nakamura Nakano Nakazaki Nam Nanchang Nanni Nantes Naoki Naperville Napoli Naqvi Narendran Nata Natacha Natarajan Nathalie Naturales Naturwissenschaften Naturwissenschaftler Naudin Naughton Naumann Navarro Nederpelt Nedlands Negev Nehaniv Nehlig Neiger Neis Nejib Nerode Nesi Neuendorf Newtownabbey Neyagawa Ngo Ngoc Nickolas Nicola Nicolai Nicolas Nicollin Niedermeier Niederreiter Niemi Nienhuys Nieuwenhuis Nijholt Nijmegen Nikolaj Nilsson Nim Nimrod Nimwegen Ning Nipkow Nir Nishida Nishimura Nivat Niwi Niwinski Niwinskie Noa Nobuko Nobuyuki Nolte Noltemeier Nolterneier Nonholonomic Nonreturning Nonsymmetric Norbert Nord Noriko Normale Nour Nourani Nourine O O'Hearn OA OAG OAO OAS OBA OBDDs OBS OCA OCD OCL OCLC OCP OCS ODEs ODS OHA OHearn OIY OL OLS OMB OMC OMT OPA OPC OPE OPV ORA ORDAL ORG ORT OSA OSF OSI OSL OSM OSN OSR OST OTS OWR Oberman Och Odersky Ofer Ogihara Ogonek Ohlebusch Ohuchi Okada Okayama Okui Ola Olariu Oleg Oles Olivero Olivier Ollagnier Olsson Online Ono Ont Oostrom Oper Optimisation Orejas Orgun Orlowska Orponen Orsay Osamu Ostheimer Ostrava Otfried Oudin Oulu Ouzou Overmars Oya Ozery P PAB PAC PAG PAO PAV PBN PCA PCB PCC PCD PCF PCG PCL PCM PCP PCR PCS PCT PDA PDL PDR PDS PDT PEB PES PFD PFF PFI PFO PFP PFS PFT PG PGE PGH PGR PGT PHL PHP PHR PIA PID PII PIM PIO PKG PLC PLE PLG PLL PLP PMS PMT PNB PNC PNG PNL PNM PNO PNT POA POLYLOGTIME PP PPC PPE PPI PPK PPN PPP PPT PRAMs PRG PROGRES PROLOG PRR PS PSACE PSC PSD PSF PSG PSH PSP PSPACE PSS PST PSV PSW PT PTAS PTC PTH PTIME PTM PTT PVD PVU PW PWD PWDOL PWT PX PYM Pabreve Pabreveun Pacholski Pade Paderborn Padova Paeppinghaus Pagli Paige Painlev Painleve Pais Pak Palamidessi Palash Paliath Palopoli Palsberg Panaivoson Panasonic Panconesi Pandu Pandya Panitz Panos Pantziou Paola Paolo Papadimitnou Papadimitriou Pappinghaus Paradyn Parallelisme Parametrization Parente Parigot's Parikh Parisi Paritosh Parkville Parlati Paschos Pasquale Passau Patnaik Patras Patrik Patt Paulien Paun Pavage Pavel Pavia Pavlotskaya Pe'er Pedicini Peitgen Pekka Peladeau Pelc Pelecq Peled Peleg Pelibossian Pelletier Penaud Penczek Penelope's Peng Pereira Pereslavl Pergola Periodes Perm Permutability Perrier Perrier's Perrin Persiano Perugia Petersson Petkov Petkovsek Petr Pettorossi Pevzner Pfaffian Pfl Pflugel Philipp Philippa Philippe Philippou Philipps Philos Philosophie Phys Picardie Picinin Picouleau Pierluigi Piero Pierpaolo Pierro Piet Pietro Pigozzi Pinchinat Pinna Pino Pinotti Pinzani Piperno Pirillo Pisa Pisot Pitsch Pitts Pivert Plandowski Plasmeijer Plaxton Pnueli Podehl Podelski Poign Poigne Poissonization Poitiers Pokrovskii Polakow Politecnica Polya Polyomino Polyominoes Polytech Pomerance Pompeu Ponse Portier Prade Praktische Prasad Prefectural Presburger Presicce Priami Priese Prisco Priti Prodinger Programmation Proietti Prolog Propri Proprietes Proskurowski Protasi Provence Pu Pucci Pudl Pudlak Pugliese Pura Q QAC QAF QAI QAT QCT QDD QDS QEP QLT QOS QOW QPA QPU QQA QRQ QRQW QSC QSE QTC QTR Qian Qiang Qifan Qijia Qld Qu Quaglia Quaranta Quasiperiodicity Que Queensland Quemener Quentin Queueing Quitt Quitte Quoc R RAC RAD RAF RAS RBA RBC RBD RBI RBP RBR RCC RCCS RCF RCL RCP RDP REL RER RES RFB RFD RGC RGD RGP RGR RGT RHS RIC RLC RLI RLS RM RMB RMG RML RMO RMT RNC RNO RNP ROH RP RPB RPD RPL RPO RPS RPT RRE RRG RRL RRP RRR RRT RRV RS RSA RSI RSL RSO RSR RSS RTC RTFIL RTN RTO RTQ RTR RUP RUTCOR RVD RWC RWCA RWD Rabin's Rabinovich Rachid Radhakrishnan Radola Rainer Rajaraman Rajeev Rajit Rajmohan Rajsbaum Rakesh Ralf Ramachandran Ramakrishna Ramakrishnan Ramalho Ramalingam Ramana Ramat Rambaud Rambow Ramesh Ramos Rampon Ramseyan Rana Ranaivoson Raney Rangan Ranjan Ranzato Rao Rapaport Rasiowa Ratajszczak Rathke Ratnesh Rauber Rauzy Ravi Raynal Raz Razborov Recents Rechnen Reddy Redei's Rees Regan Reggio Regnier Rehovot Reinert Reingold Reinhard Remmel Ren Renji Rennes Renren Renvall Renzo Representability Res Rescigno Reslauer Resta Restivo Retore Reutenauer Reutenauerand Reuter Revol Ribeiro Ricardo Riccardo Rice's Rida Riis Rijke Rijks Rimli Rina Risler Rita RitterWagner Robson Roccetti Roch Rochelle Roel Rogozhin Roka Rolf Rolim Roma Romanian Romanik Roope Roos Ros Rosaz Roscoe Rosenkrantz Rossell Rossello Rosser Rossi Rossmanith Rossner Rostock Rothe Rotterdam Rouen Rougemont Roux Rovan Royer Rozenberg Ruanaidh Rubio Ruet Runger Ruprecht Rus Rusinowitch Rusins Rustan Rutger Rutten Ryde Ryl Rystsov Rytter Ryu Ryuhei S SAA SAGBI SB SBB SBC SBD SBG SBN SBTA SCA SCB SCC SCCS SCD SCE SCH SCL SCO SCONE SCP SCS SCT SCV SCW SDA SDO SDP SDR SDS SDT SDU SEGRAGRA SEL SEMAGRAPH SER SESAM SFC SFD SFF SFM SHC SI SICS SIH SIMD SIO SIV SIW SL SLA SLD SLDNF SLI SLM SMA SMC SMG SMI SMS SMT SN SNC SNI SNM SNP SNR SNW SOFTEC SOH SP SPD SPE SPG SPI SPIC SPL SPN SPO SPR SPT SPU SProc SQL SRA SRC SRG SRL SRM SRN SRO SRP SRR SRS SRU SRV SS SSC SSD SSL SSM SSN SSS STA STACS STC STE STG STL STP STR STS STT SUR SUT SUU SWB SWE SWL SWS Saad Saarbrucken Saarlandes Sabatier Sabidussi Sabrina Sacc Sacca Sachio Saec Safat Safra Sagiv Sagot Saheb Saitama Sakai Sakakibara Sakarovitch Sakurai Salah Salemi Salibra Salomaa Salomma Salzburg Salzer Sambin Sandeep Sandi Sandro Sangiorgi Sanglorgi Sangyo Sanjay Sanjeev Sannella Santini Santis Sapporo Sarkar Sarker Sarrafzadeh Sassone Sathiya Sato Satoru Satoshi Satta Sattler Sauerhoff Savick Savicky Sazonov Scedrov Sch Schachinger Schaerf Schaffer Schaffter Schau Schauss Scheen Scheideler Schek Schellinx Schettini Schickard Schied Schmerl Schmid Schnitger Schnoebelen Schoning's Schott Schr Schroder Schuler Schupp Schurr Schurz Schutzenberger Schutzenberger's Schwartzbach Schwarze Schwarzkopf Schweizer Schwichtenberg Schwiegelshohn Schwind Scollo Scott's Sebastiaan Sebastiano Sedgewick Seebold Seese Seetharaman Segala Seiden Seiferas Seifert Seleznjev Selivanov Sellink Selman Selmi Semagraph Semenov Sendai Senellart Seng Sengupta Senizergues Sep Serafino Sergio Serna Serra Sethi Setsuo Sghaier Shallit Shamim Shamir Shan Shand Shang Shankar Sharir Sharma Shatin Shavit Shellsort Shen Sheng Sheva Shi Shietung Shigemi Shih Shihua Shilov Shimizu Shimon Shimozono Shinichi Shinohara Shinshu Shiva Shizuoka Shlomi Shlomo Shoudai Shparlinski Shrivastava Shub Shuichi Shvartsman Shyam Shyamasundar Sieber Siegelmann Sieling Sierpinski Sifakis Sigstam Sikkel Sikorski Silesia Silva Silvestri Silvio Simone Simplot Sinica Sipper Sirvent Sistemas Sistemes Sistemi Sistemistica Sivakumar Skordev Slissenko Slovak Slutzki Smale Smetsers Smolka Smyth Sobolev Sociales Sofic Soldano Solomampionona Solovay's Sopena Soria Sorina Soumen Spacemela Spehner Spinrad Spirakis Spooner Spor Spreen Sprugnoli Sridhar Srikrishna Srinivas Srivastava Staiger Stancampiano Stanislav Stat Stefania Stefano Steffen Steinby Stemann Stemple Stephan Stinson Stockmeyer Stoltenberg Storrs Strahler Strasbourg Straubing Streicher Stuber Stuckey Studi Sturmian Sturt Su Suad SubPTIME Subrahmanian Suciu Sudarshan Sudborough Sui Sulekha Sundaram Sunderhauf Superieure Superlinear Superstring Sur Sureson Suros Sushant Sushil Susumu Svante Sven Swansea Swiatek Switchbox Sylvain Symvonis Synchronisation Syst Systs Sz Szeged Szpankowski T TAC TAPSOFT TBE TBM TBR TCA TCC TCF TCG TCL TCM TCP TCR TCSCDI TCW TDC TDP TDS TDT TEF TEP TET TFC TFP TFS TGP THEOR THT TIR TL TLA TLB TLC TLP TLR TLT TMA TME TMF TML TMS TMT TNL TPA TPC TPD TPG TPM TPP TPR TPT TQ TRN TRSs TRV TS TSC TSD TSE TSM TSP TTN TVC TWC TWDM Ta Tadakazu Tadao Tae Taentzer Tahhan Taishin Tak Takada Takahashi Takahiro Takakazu Takaki Takanami Takaoka Takashi Takayoshi Takenaga Takeshi Takeyama Takimoto Talamo Talcott Talence Tamassia Tandy Tannen Taoufik Tarannikov Tarjan Tarlecki Tarski Tarski's Tas Tata Tatsuie Tatsuya Taubenberger Tchier TeX Technische Technol Tecnologie Teillaud Telecom Telecommun Teledetection Teleinf Telemark Tellier Tempero Tendeau Teng Tennent Teodor Tero Teruel Terwijn Tetsuo Teuhola Teusink Th Thalheim Theo Theor Theoret Therien Thiagarajan Thierrin Thierry Thilikos Thorup Thue Thurston Thurston's Tian Tienari Tilings Timkovsky Tiskin Tizi Tjalling Tobias Toeplitz Toho Tohoku Tollu Tomassini Tomescu Tomkins Toniolo Toran Torben Torenvliet Torino Torrens Torres Tortora TortoradeFalco Toshihiro Toueg Tougne Touitou Toulouse Toyama Tran Treinen Trevisan Troelstra Trombetta Tromp Tronci Tropper Truszczy Truszczynski Trystram Tsan Tsang Tsay Tseitin Tseytin Tsuen Tsujii Tsukiji Tsukuba Tubingen Tue Tuijn Tulley Turakainen Turakainen's Turchin's Turini Turku Twente Tyne Tyszkiewicz Tze U UAS UAT UBP UCC UCF UCG UCL UCN UCO UCT UDF UDS UEP UET UFC UFM UGG UIR UIS UKO UL UMA UMD UMI UNR UOA UOL UPD UPF URG URL URT USF USR UST UTL UTM UUM UVL Ube Uchang Uday Udine Uehara Uemura Ueno Ugo Ukkonen Ulam Ulam's Ulf Ulmer Ulrike Umberto UnCover Unbordered Undecidability Univ Uppsala Uriel Urquhart Urrutia Uspensky Utard Uwe Uzi V V'yugin VC VCCS VCI VDD VDF VERIMAG VFR VHO VHR VHS VHW VIC VLA VMP VRF VRS VSA VSZ Vaasa Vaccaro Vadim Vagvolgyi Vakgroep Val Valbonne Valencia Valentin Valentini Valeria Valiant's Valiente Vall Vallcee Vallee Valmari Valtteri VanBakel VanOostrom VandenBussche Vandermonde Vandoeuvre Vangelis Vanherpe Vapnik Varadharajan Vardi Vari Varj Varju Varricchio Vasco Vassilis Vaszil Vau Vauzeilles Vazirani Vemuri Venkatesh Venkateswaran Venturini Verbeek Verbitsky Vereshchagin Verhoef Verimag Verkeer Verma Veronique Vervoer Vianu Vianu's Viari Vic Vidal Vielhaber Viennot Viggo Vigna Vijay Vijaya Vijayaraghavan Vikraman Viktor Viliam Villani Villemonte Villeneuve Villers Villetaneuse Vinay Vince Vincenzo Vineet Vingralek Vink Vinodchandran Virgili Virot Vishkin Visser Vitus Viviana Vladimiro Vlijmen Vocca Vogliotti Volker Vollmer Vorobjov Voronkov Voronoi Vose Vrancken Vries Vrije Vuillon Vyugin W WAF WB WCA WCE WCH WDI WFI WIC WNL WNM WOA WQO WSE WSN WTC WTO WWW Wachs Waczul Waczulik Wada Wadler Wai Walukiewicz Wamel Wareham Warnow Watjen Wegener Wegner Weibel Weichang Weiermann Weifa Weihl Weihrauch Weili Weizmann Welf Welzi Welzl Wen Wenceslas Wenhui Werchner Westfechtel Whitesides Wiber Widmayer Wien Wieslaw Wifan Wilf Wilfrid Wilfried Wilke Willi Wimmel Winfried Winkler Winsborough Winskel Wirsing Wirth Wirtschaft Wissenschaftliches Wojciech Wojciechowski Wollongong Wolper Wolter Worsch Woude Woz Wozniakowski Wroclaw Wurzburg Wythoff X XPM XRAM XXX Xaver Xi'an Xian Xiang Xiangdong Xiangtan Xiao Xiaohua Xin Xinxin Xiufeng Xizhong Xu Xue Xuemin Xunrang Y Yaghout Yair Yajima Yakhnis Yamaguchi Yamamoto Yamasaki Yan Yankelevich Yann Yannis Yao Yaorong Yarroll Yassine Yasubumi Yasugi Yasuhito Yasuo Yehuda Yekutieli Yi Yiannis Yih Ying Yoji Yokomori Yokosuka Yomdin Yoneda Yonezawa Yong Yonghoan Yoram Yoshida Yoshifumi Yoshihiro Yoshihito Yoshikane Yoshiki Yoshinori Yovine Yu Yue Yuji Yuliang Yung Yuri Yurii Yuxi Yuzhang Z ZFC ZMR Zach Zaguia Zak Zaks Zalessky Zantema Zaragoza Zaroliagis Zavattaro Zbigniew Zena Zenger Zeugmann Zhang Zhao Zhen Zheng Zhi Zhigen Zhixiang Zhong Zhonghui Zhongshan Zhou Zhu Ziadi Zielonka Ziller Zilli Zim Zimand Zimanyi Zimmermann Zissimopoulos Ziv Zm Zohar Zolt Zouxin Zsuzsanna Zucca Zucker Zvi Zwick abbrev abducibles abductive abelian ack acknowledgement acm aconjunctive adic adjunction adjunctions affines aga al algebraicity anamorphism anamorphisms antichains approximability apr ar arithm arity ary associ associatives asymptotics atoire atomicity auf aufderHeide aug autoepistemic automaticity automatiques axiomatisation axiomatizable az b ba balistique bastien beebe behaviour behavioural behaviours bi bibdate bibmods bibnames bibnet bibsort bibsource bidimensional bidimensionnelle bifix biimmune bilattice bilattices billard biocomputing bioremediation bipartitioning bisimilar bisimilarities bisimilarity bisimulation bisimulations bler boundedness bres byvolume c calcul calculational cartesian cas catamorphism catamorphisms categorial ccc ccc's cgi chan chessboard chet chlin chordless chrono cielski cile ciproques clav co coNP coalgebra coalgebraic cocomparability codetable codicity coexponents cographs colimits colour colourable coloured colouring com combinatoires combinatory completable complets complexit compositionality concatenable conflocation confluence conformisms conftitle congruences connex constructivism contractivity contractum coprimes coprocessors corecurrent corpsource cpo critures cryptosystem cryptosystems ctPX ctor cumulativity d d'Anal d'Analyse d'Andr d'Argence d'Ascq d'Astrophys d'Autom d'Inf d'un d'une dAndrea dArgence dI da dag dans dataflow datatypes dcpos de de'Liguoro deBerg deBoer deBruin deFigueiredo deGraaf deGroote deLuca deVink dec decipherability deco def definability definies degli del delaClergerie delaHiguera delai dell'Inf depoissonization der derandomization des descriptional deterministe determinizable determinization di diagonalization diger digraph digraphs dinaturals diophantine discontinuum discretization discretizations discretized disentailment disunification divisibility docstring domaine dominoes dominos dra dt duction e eNCE eco edu ek elegans elsevier email embeddability embeddings enc encasement endofunctions endofunctor endofunctors endomorphisms endoscopy enforcable engendr entailments equational equicontinuous er ern es estoc ethological existentials expressivity f facteurs factorisable factorisation feb fer ffer ffgen finies finitariness fixpoint fixpoints flatwords fonctions fong formalisation formel fractal fractals ftp g gej generalisation generalised genericity genome glueing goire graphique groupoids guin gv h halfspaces hamiltonicity heapsort hei hereditarily hm holonomic html http hv hybridization hyperarc hyperedge hyperelliptic hypergraph hypergraphs hypermedia hyperplanes hyperspace hyperuniverse hyperuniverses i iakowski idempotence ieee ieniec imbedding implicational impredicative independants indicatrices indistinguishability inductionless inequation inequational inequations inferrible infinis infinitary ing initiality insubstantiality integrability interprocedural interunit intervalles intuitionistic invertibility ique irreducibility isosceles ispell issn iter iu j jan jp jul jun k kIBDDs kOBDDs ka ke kely ki kilter kinded kinen kinks koubarakis kow krantz ku l l'Aquila l'Image l'Inf l'algorithme labelled ladeau langages le leaming learnability learnable learner's lecq lemy les lfsd lgyi li lia libossian lightwave liminf linearizability ller logspace loppements ltermann ltx lvarez m makespan malignness mann matrice mbH mcs mek mes meta metastability metatheorem metatheory minimales minimality minimisation modelling mond monoidal monoids monomials monomorphisms morphic morphismes mots multibody multihead multilist multimodal multiparty multirate multisearch multiset multitype multivalued multiview mvPX n navigational nchez ncountable nd nderhauf ndez ndgen ndor neatening neighbourhood ner nez ng nger ngsm's nhfb ni niching nig ning nio nis nislav nizergues nl noetherian nombre nonambiguity nonassociativity noncentralized noncocommutative noncollapsing noncommutative noncommuting noncopying nondegenerated nondistance nondistinct nonholonomic nonholonomy nonhomeomorphic noninclusion noninteractive noninterleaving nonisomorphism nonlogical nonmodular nonmonotonic nonmonotonicity nonoperational nonordered nonoverlapping nonprimitive nonreachability nonrecognition nonrecursive nonredundant nonregular nonreturning nonsequential nonserializable nonstochastic nonsubsequences nonsupersequences nonsuperstring nonsymbolic nonsymmetric nontransitivity normalisation normalising nov nter ntsch num numberings nyi o observability observables oct ois oise online opfibrations optimisation orderable ordinals org organisation orientable outerplanar outfix overfull overgeneralization overlining oz p paperfolding parabolas parallelisation parallelising parametrization parateurs partitionable pathwidth pavages pavants pdf pendance pentads perceptrons periodes permutability permutative pez phane po pointfree poly polyhedric polylogarithm polylogarithmic polymorphism polynomially polynomiaux polynominally polyomino polyominoes polytime pomset poset posets powerdomains powerset powersets pp ppel ppinghaus pre predeterministic premonoidal preorder preordered preorders preservance presortedness prespecification primitivity prioritized probl proofnets pseudoidentities pubcountry puissances pushouts q quadtrees quantale quantales quasilinear quasiperiodicity queueing quivalence quorums r rArr radiosity randomised rationnelles rationnels raud rd rearrangeably reciproques redex redexes reducibilities refutability relabelling relativized representability resequencing residuosity resiliency reusability rewriter's rg rgen rgio rgy ric rie rien riodes rique risation rka rn rner roadmap ronique ru ry rzy s schedulings schematization schematizations schematized sciencedirect sconing semidecision semigroup semigroups semilattice semilinear seminaive semiregular semirings semisimple sep sepackage serializability serializable shellsort sheng shi sho showtags si sieniec sik ska skel sofic sok solvability sortings speciation sponsororg ss ssner st stabilisation stabilising stad standardisation statecharts sturmienne sturmiennes subalgebra subalgebras subcalculi subcubes subexponential subformula subframe subgrammars sublanguage sublanguages sublinear sublocation sublogarithmic submodular submonoid suborders subquadratic subsequential subshift subsort subsumption subterm subtyping subwords supast supercompiler superlinear superpolynomial supersequence supersequences superstrings superword synchronisation synd syndeticite syst systolic szl szyn t taxonomical tayer tcs tel tensorial ter tgt th tha thomas ticite tilings timestamp timestamps tion tique tis tjen toolbox topologie topos transductions transpositions travelling treewidth triconnected trois trous tsky ttir tude turing twocolumn typability typeable typechecking tz tzel tzenberger tzer u ultimement ultrametric un uncrossing und undecidability underdiagonal unicit uniforme uniformizing universelles unnested unsrt untimed uo usepackage utah v vacillatory vanBakel vanBreugel vanDalen vanGlabbeck vanGlabbeek vanNimwegen vanOostrom vanWamel vandePol vanderHoeven vant visualisation vs w watermarking wc wellorderings wia wp www xx xxauthor xxnote xxtitle y ya z zanc zar zeilles zeugmann