AA AAG AAP AAR AAS AAV AAW ABB ABT ACA ACC ACD ACH ACN ACO ACP ACR ACW ADE ADF ADN ADR AEC AEN AES AFCET AFD AFE AFP AFPs AFQ AFS AG AGB AGU AGZ AI AIT ALC ALD ALF ALG ALT AMAST AMC AMD ANL AOH AOI AOO APD APF APG API APN APO APP ARP ARQ ASA ASC ASD ASL ASM ASQ ATC ATG ATM ATMs ATP ATR AVL AVN AW Aachen Aalborg Abadi Abiteboul Abramsky Abt Abteilung Acad Aceto Ackermann Adiga Aditi Adm Adv Agfa Aggarwal Agn Agostino Aho Aigan Aignan Ain Ait Aizawa Akademi Akira Akl Akyildiz Albrechts Alcatel Aldo Alejandro Alessandro Alexandru Alexey Alferes Alg Algebre Alica Allender Allouche Almeida Alon Alonso Alsace Alur Ambos Amir Amram Amtoft Analisi Analysys Andersson Andra Andrasiu Andreas Andreka Andrzej Angewandte Anglia Animaux Anja Annegret Antipolis Antoni Aoki Apar Aparicio Aplicada Apostolico Appl Applicata Applicazioni Appliqu Arbres Arcangeli Arend Aretz Arfi Arikawa Arithm Armando Arne Arques Artificielle Artin Arto Artois Arun Askey Aslam Asser's Assous Astesiano Astron Asveld Attila Atzeni Aubiere Augsburg Augusteijn Augustin Aumann Ausiello Autom Automation Automatizing Autonoma Avanc Averbuch Aviezri Azar Azaria B BAI BBC BC BCH BCI BCK BCS BDC BHI BHK BHS BIA BLA BLL BML BNF BNN BNV BPS BQS BRC BSS BTP BVG Babai Baccelli Backus Badouel Baeten Baeza Bafna Bai Baier Bainbridge Baire Bakel Bakker Bala Balcazar Balsters Bangalore BarYehuda Baratchart Baratella Barbar Barcucci Barendregt Barendregt's Baronissi Barrington's Bartha Barua Baruah Barzdin Bauderon Baur Be'er Beame Beauchamps Beauquier Bebjak Bedard Beeri Beigel Bellia Bellin Benedek Benedetto Benninger Berard Berarducci Bergey Bergstra Bergtstra Bernadette Bernd Berstel Bertoni Bertossi Berwyn Besancon Beschreibungsverf Bethke Betrema Betti Bettina Bezem Bezout Bezout's Bhatta Bi BibNet BibTeX Bibel's Bidoit Bieberbach Bielefeld Biing Billaud Birget Birkhoff Bisimulation Biswas Bitar Bj Bjorn Bjorner Blaaberg Blaise Blanchet Blass Blikle Blizard Blute Bo Boaz Bochmann Bodlaender Boe Boehm Boer Bohm Bohm's Boissonnat Bol Bolyai Boni Bonizzoni Bonner Bordelais Borel Borkowski Bossi Bost Botelho Bottinger Bouchitt Bouchitte Boudol Boudriga Bourget Bourgin Bousquer Bousquet Bovet Boxma Boyer Bozapalidis Br Bracho Bradfield Brages Branges Branislav Brassard Bratislava Breazu Brent's Brigitte Brinksma Brisson Bro Broder Brookes Brouwer's Bruck Bruderlin Bruges Bruggemann Bruschi Bruxelles Bruyere Bucciarelli Buchberger Buchi Bucuresti Budach Bulyonkov Bunder Bundeswehr Buneman Buning Burckel Burkhard Burnaby Burosch Burroni Burstall Byeong C CAA CAAP CAF CAML CAO CAQ CAS CAU CBA CBD CBP CBT CCA CCB CCC CCD CCF CCG CCH CCL CCM CCN CCP CCQ CCR CCS CCT CCU CD CDD CDF CDL CDM CDO CDP CDR CDS CDT CEA CED CEF CEG CEI CEL CERIL CERT CES CET CFB CFE CFF CFG CFL CFL's CFM CFP CFS CFT CGA CGD CGG CGP CGR CHC CIC CIL CIP CL CLA CLC CLD CLF CLG CLL CLN CLO CLP CLS CLT CMF CMI CML CMM CMN CMP CMS CMT CNAM CNF CNR CNRS CNS CODEN COF COM COMP COMPUGRAPH COV CPC CPD CPF CPG CPH CPL CPM CPN CPOs CPR CPS CPW CPZ CQL CQP CR CRA CRC CRCW CRE CRG CRI CRIN CRL CRM CRNS CRR CRS CS CSA CSAV CSB CSE CSI CSL CSLD CSP CSR CSS CSU CTC CTE CTH CTL CTP CU CUCH CVC CVD CWA CWI CYM Cachan Caen Cai Calabria Calcolo Calude Camacho Campeanu Capocelli Cardelli Cardone Carlier Caron Carpi Carrasco Carsten Casas Caspi Castellani Castelnuovo Catalan Catalan's Cataluna Catalunya Catherines Catriel Caucal Cauchon Cavedon Cazanescu Cederbaum Centre Centro Cezar Ch Chakka Chambery Chan Chandra Changwook Charretton Charron Chaunier Chazelle Cheng Chengdu Cherkasova Chern Cherubini Chervonenkis Chesnav Chesnay Chesnot Cheung Chia Chiricota Cho Choffrut Choi Chongqing Christchurch Christel Christiane Chrobak Chrochemore Chun Church's Chwa Chytil Cialdea Ciancaglini Cibernetica Ciencias Cin Citrini Clarkson Clausthal Clemens Clerbout Cocco Codd Codenotti Codish Coll Collatz Colloque Colson Combe Combinatory Combray Comenius Commun Comon Comp Compendex Complexit Complutense Compositionality Comput Comte Concordia Condon Confluence Congruences Consens Constantineau Coppo Coquand Coquid Coquide Cori Corput Corradini Corrado Corsini Cortesi Cosnard Courant Courcelle Cousot Crepeau Crescenzi Crescenzo Cristian Crochemore Crole Crvenkovi Crvenkovic Csuhaj Cucker Culik Curces Curien Cutsem Cyber Cybern Cyphar Cypher Czechoslovak D D'Amore D'Ascq D'Inf DA DACTL DAE DAF DAK DAQ DAS DAmore DBMS DBN DBO DBP DCC DCD DCF DCI DCP DDC DDM DDP DEP DER DET DFA DGI DGT DI DIKU DKS DLN DLOGTIME DLP DLS DMD DMF DNP DOL DPC DPD DPDA DPP DPR DPT DRD DRP DRS DSA DSC DSD DSE DSF DSI DSP DSS DST DSU DT DTE DTL DTM DTML DTOL DTP DTS DVAG DVN DWF Dacti Dactl Dagum Dahlhaus Dal Damm Dani Darmstadt Darondeau Das Dassow Datalog Datenverarbeitung Dauchet Daud Daude Daykin DeAgostino DeLuca DeMeer DeNicola DeSantis Debart Decoste Dedekind Degano Dehornoy Dejean Dejean's DelLungo Delahaye Delaunay Delest DeleteHeap DeleteMax DeleteMin Delvon Delyon Demetrovics Demolombe Denecker Deng Denis Der Deransart Derick Dershowitz Descriptional Desel Desharnais Deutsche Deutz Devienne Devillers Devolder Dezani Dhagat Di Diaz Didier Diekert Diepenbeek Diestel Dietzfelbinger Dikovsky Diks Dimitrovici Diop Dipartimento Discretes Diskrete Div DoLongVan Doets Doggaz Dong Doron Dosch Dosen Dowek Dowell Draghicescu Dragutin Drewes Droste Dube Dubois Duchamp Duisburg Dulucq Durand Durieux Duris Dushnik Duval Duval's Dybkj Dybkjaer Dyck E EAE EAM EBL EBM EBN EBR EBSI ECA ECF ECI ECL ECO ECP ECT ECTL EDM EDQ EFS EFU EGP EGY EHC EIT EKO ELECTRE ELT EMV ENP ENS ENSM EON EOQ EP EPE EPF EPI EPM EPP EPT EPU ERB EREW ERM ESC ESD ESF ESG ESN ESPACE ESS ESTELLE ETH ETL ETS EUC EUL EVF EXP EXPTIME Eades Earley Earley's Echahed Econ Edalat Edelsbrunner Egecioglu Egeclaglu Ehrenfeucht Ehrhard Ehrig Eidgenossische Eike Eilenberg Eindhoven Eiter Ekanadham Ekhad Elaborazione Elbaz Electr Electrotech Elettronica Elias Elin Elvang Elvira Endhoven Ene Engeler Engelfriet Enjalbert Enno Enschede Eppstein Equational Equipe Erdos Eriksson Erlangen Erol Ershov Erzs Escuela Esik Esparza Estatistica Esteban Estelle Estonian Etzion Euclid's Euclide Euclidian Evry Expertensyst Eyal F FA FAC FACS FAP FAU FAX FB FCM FCR FCS FCV FDC FDD FDI FEA FFA FFF FFI FFM FFP FG FGA FGB FGP FIC FLC FLD FLL FLP FLUO FMA FMP FMS FMT FOL FP FPD FPF FPL FPN FPP FPR FPS FRD FRL FSC FSI FSS FTA FTP FTS FUG FVD Fabre Fabris Fabrizio Fac Fach Fachbereich Fachini Fages Fagin Fahmy Fairbanks Fairouz Fak Fakultat Falaschi Fangqing Faron Fatma Fatou Faure Fedou Feldmann Felipe Felleisen Femke Feng Fereidoon Ferenczi Fernanda Fernandez Fernuniv Ferrari Ferrers Ferucio Feuerstein Fey Fiech Fil Filippenko Filippo FindMax FindMin Firenze Fisicas Flajolet Flandres Flatto Fokkinga Fondamentale Formale Formisano Forschunginst Forschungszentrum Forster Fortnow Fouks Fournier Fraenkel Francesca Francez Franche Francon Frandsen Franti Frechet Freiburg Freie Freivalds Freyd Fri Friedberg Friso Frits Froidevaux Frougny Fu Fueloep Fuh Fujii Fukuoka Fulop Fussell Futamura G GAI GCP GCR GCS GDG GDS GFE GFL GFP GGP GH GHB GHC GHF GHS GI GIE GII GIT GLG GLV GMD GMG GNA GPC GPD GPF GPL GPLa GPLb GPN GR GRA GRD GRF GRP GRT GSC GSOS GSP GSS GST GTA GTE GTP GVL Gabbrielli Gabrielli Gaissaryan Gale's Galil Gallier Galmiche Gambosi Ganesan Ganzinger Gardiner Gardy Garg Gargano Garofalakis Garzon Gaspard Gastin Gavalda Gavilanes Gdansk Gecseg Geetha Geffert Gelenbe Gen Genjiro Genova Gentzen Gentzen's Genzen Georg Germano Gert Gesamthochschule Geva Gevaert Gh Gheorghe Giegerich Gilad Gilberto Gilleron Gilles Giora Giordano Giorgio Giovini Girard Girard's Gire Glabbeek Glushkov Gnaedig Gobel Godel Godel's Godin Goerdt Goguen Goldfarb Goldwurm Goles Goltz Goransson Gorrieri Goslar Gottlob Gou Gouyou Gr Grabmeier Grabner Grabowski Gradel Grahame Grahne Grandjean GraphLog Grassl Grassmannians Graz Gregorio Greibach Grigorchuk Grigoriev Gro Grobner Groningen Groote Grosse Grossi Grothendieck Grue Grumberg Grundy Gruska Grzegorczyk Grzegorz Gsellschaft Gu Guaiana Gucht Gudmund Guerra Guibas Guildford Guiseppe Guldstrand Gunawardena Gunter Guo Guozhu Gurion Gyssens H HAA HAI HCA HCP HDC HDL HDW HEAPSORT HFS HHO HIC HLR HMS HOD HOU HPE HPF HPP HRC HRJ HS HSD HSP HTS HUC HVS HWA HWP Habbas Habel Haegemans Hagino Hagino's Hainaut Halld Halldorsson Hallnas Halpenny Hamaguchi Hanssen Hanus Harel Harju Hartmanis Hartmut Hashiguchi Hassan Hasse Hausdorf Hausser Haute Hava Haverford Hebisch Hebrard Heckmann Hee Heering Hefei Heibig Heilbrunner Heiman Hein Hemachandra Hemaspaandra Hendrik Henk Henkin Hennessy Hennicker Henrik Herbrand Herbst Hern Herrmann Hershberger Hertrampf Herv Hespel Hesselink Heum Hieb Hildesheim Hindley Hindley's Hiraishi Hirofumi Hirokawa Hiromi Hoang Hoare Hoare's Hochschule Hoene Hofbauer Hofer Hoffmann Hofri Hokkaido Holldobler Holte Homotopies Hongfei Honkala Hoofman Hoogeboom Hooman Hoon Hopf Horspool Horst Horv Horvath Horvert Horwitz Hosono Hromkovi Hromkovic Hsu Hsuan Hu Hua Huang Hubei Huckenbeck Huet Huey Huhne Hui Hungwen Huou Hussein Huth Huttel Huwig Huy Huynh Hyogo Hyperedge Hypermap IAC IAG IAP IASI IAT IBP IBS ICA ICD ICDT ICF ICL ICLP ICN ICW IDN IDP IEF IEN IFS IFW IGA IGL IHB IHI IIA IID IIG IIMAS IIP IKT ILT IMAG INFORMATIKA INPG INRIA INSA INSCC INSPEC IOC IOCC IPL IPO IPS IRD IRISA IRO ISC ISI ISQ ISSN IST ISWIM ITA ITC ITL ITR IVG IWC Iain Iasi Ibaraki Ibarra Ichikawa Ichiro Idury Ikeda Ilan Ilie Iliopoulos Illiers Imrich Ind Indicatrix Inf Informatics Informatik Informatika Informationssyst Informatique Ingenieria Ingo Inoue Inst Instituto Int Intellektik Interdefinability Intezete Intrigila Intuitionistic Ioannis Ionescu Irisa Isabelle Ishikawa Isi Istituto Istrate Itai Italia Italiano Itkin Itsuo Iwanowski Iwata Iyengar Izhevsk J JSU JWB Ja Jacopini Jain Jaja Jancar Janicki Jansen Janssens Jantzen Jaoua Jard Jarkko Jarominek Jarzembski Javed Javier Jefferey Jehoshua Jenner Jeron Jerrum Jerzy Jeschke Ji Jiafu Jian Jianan Jiang Jianguo Jiawang Jiawei Jie Jifeng Jin Jingzhong Joachim Joaquim Johnstone Joost Jos Jouannaud Journ Jozef Jozsef Juedes Juha Juhani Juichi Jul Jun Jung Juraj Jurgensen K KA KAIST KCC KCQ KD KFP KGT KLC KLP Kablan Kaci Kai Kaiserslautern Kalai Kalyanasundaram Kamareddine Kaminski Kamper Kanagawa Kanamori Kanchana Kanchanasut Kanellakis Kanpur Kapitonova Kapur Karabeg Karan Karel Karhum Karhumaki Kari Karine Karlin Karloff Karlsruhe Karner Karnick Karpinski Kasai Kasami Kashyap Kassel Kasyanov Katholieke Katona Katsura Katsushi Kawahara Kawamura Kaya Kayles Kazem Ke Kearney Kedem Kees Kelemen Kelemenov Kelemenova Kennaway Ketonen Kfoury Khadilkar Khoshnevisan Khrapchenko Khrapchenko's Khuller Kiehn Kiel Kifer Kinber Kirokawa Kirschenhofer Kishor Kista Kiyoharu Klaas Klawe Kleene Kleene's Kleijn Kleine Kleisli Kleitman Kloosterman Klop Knijnenburg Knill Knoop Knuutila Ko Kobler Kobuchi Koc Koebler Kogan Koiran Koiran's Kok Koletsos Kolmogorov Konig Konozenko Konstanz Korec Koren Kornatzky Koseleff Kosice Kothari Kotov Kounalis Koutney Koutny Koutsoupias Kozen Kratsch Krawczyk Krawtchouk Kreitz Krentel Kreowski Kri Kripke Krishnan Krivine Krob Kroger Krohn Krom Kruseman Kruskal Kuich Kummer Kundu Kunen Kunihiko Kunimasa Kunze Kuorka Kuper Kuratowski Kurihara Kurka Kurtz Kuster Kutylowski Kwan Kwiatkowska Kyung Kyushu L L'Aquila LABRI LACIM LAFORIA LAN LAR LAT LBA LBC LBL LBO LBP LC LCA LCC LCFS LCG LCO LCP LCT LCW LD LDA LDM LDS LEF LEI LEL LFM LFP LIFIA LIFL LIPN LIPT LITP LIUC LL LLB LLC LLL LMC LNS LOGCFL LOGSPACE LORIA LOTOS LPA LPG LPP LPRAM LPS LR LRF LRI LS LSJ LSS LST LT LTF LTP LTT LUP LVC LWN LaBRI LaTeX Labelle Labelled Labhalla Lachaud Ladner Lagois Lakehead Laks Lakshmanan Lalanne Lalonde Lamarche Lamport Lando Langages Larmore Larsson Lastovetsky Latteux Latvian Laurentiu Lautemann Laval Lavault Lawvere Lb Le Learnability Leb Lebegue Lecroq Leermakers Leeuwen Lehr Lehrstuhl Leicester Leiden Leih Leiss Leivant Lemieux Lempel Lengauer Lengaur Lenz Leoncini Leroux Les Lescanne Lescot Letichevsky Lett Leung Leuven Li Liam Liang Liberatore Libre Lille Limburg Limoges Limongelli Limor Lindell Lindenbaum Lindenmayer Linz Liouville Lipeck Lisboa Litovsky Litow Liu Llenguatges Localizable Lodi Logique Lombardi Lonesco Longo Longpr Longpre Louchard Loui Louth Lovasz Lozano Lozkin Lu LuRuqian Luby Luc Luca Luccio Luchkardt Lucio Luisa Lukassen Luminy Lungo Lustre Lyapunov Lyger Lygeros Lyndon Lyngby M MAM MAS MAXCLIQUE MAXNP MBK MCB MCC MCD MCE MCG MCL MCQ MDS MDT MDV MEB MEO MEP METAFONT MFC MFF MFP MG ML MLA MLG MLK MLM MLOG MLP MMC MMF MML MMO MMP MMR MOCA MOF MOS MP MPB MPC MPD MPL MPQ MQF MQM MRU MRclass MRnumber MSD MSE MSF MSL MSO MSP MSR MST MTA MTT MVH Maass Maciej Macsyma Madar Madarasz Madlener Madonia Mads Magdalena Magdeburg Maggiolo Magidor Magnus Maher Mairson Majster Mak Makoto Mal Malajovich Malcev Maler Malika Malmaison Manca Mandrioli Mankato Mannheim Manoury Mansour Mantaci Marcella Marche Marchetti Marcos Marcoux Marek Margaria Margenstarn Margenstern Margolis Mariano Marisela Marius Marne Marrakech Marseille Martelli Masafumi Masashi Mascari Maschinen Masseron Mateescu Matematica Matematicas Matematicki Mathai Mathematiques Mathew Maths Matos Matsumura Matus Maude Mauduit Maurer Mauri Maurizio Mauro Maximality Maxime Maximilians Mayordomo Mazoyer Mazurkiewicz Mazzanti McCune McMaster Meakin Med Meer Megiddo Meinel Meinke Meixner Melan Melancon Melas Mellin Melou Melton Menachem Mendelzon Meo Mery Meseguer Metivier Mey Meyden Mezghiche Micha Michal Michaux Middendorf Mignosi Mignotte Milano Mili Milner Milner's Milsted Miltersen Minh Miniato Minimisation Minker Miola Mircea Mireille Miroslaw Mirwald Misere Mishra Mislove Missaoui Mitrani Mitsubishi Mitsunori Mitzenmacher Miyano Mobius Mody Moews Moggi Moller Mon Monfroglio Monge Monien Monika Monique Moniz Mons Montanari Montpellier Mora Morphic Morten Mosbah Moshe Mosse Mostowski Motwani Moty Motzkin Moulin Mourrain Moyne Muffy Mukund Muldner Mulhouse Mulry Multihead Multimodal Multiplicities Munchen Munro Murakami Musser Musumbu Myhill N NAF NAR NCD NCL NCS NCT NDC NDO NDS NDU NEXP NEXPTIME NFS NFU NGT NIC NIS NL NLA NLB NLC NLOGSPACE NLP NMC NNI NOA NOG NP NPA NPB NPI NPO NPS NRD NRO NRP NRS NRT NS NSD NSG NSL NSM NSP NSW NTM NTP NTS NTT NWR NaDSet Nacional Nakamura Nam Nanjing Nanni Nanterre Nantes Napoli Nardelli Narendran Natl Naughton Ndoundam Nederpelt Nemeti Nepejvoda Nepomniaschy Neraud Nerode Nesetril Neubiberg NewHeap Nfld Ng Ngo Ngoc Nicola Nie Nijmegen Nik Nirmal Nisan Nishimura Nissan Nissim Nivat Nivat's Noga Nogi Nolte Nonacceptability Nonclairvoyant Noncommutative Nonerasing Nonmodal Nonrecursiveness Nord Normale Nota Noureddine Novara Novi Nummenmaa O OAC OAE OAH OAL OAW OBC OCA OCC OCLC OCM OCP ODA OEO OFI OFN OFP OFW OGB OGN OL OLB OLR OMAR ONERA OPA OPC OPF OPS OSA OSJ OSK OST OTL OTP OWC OWF OWHY Occam Occhiuto Och Ochmanski Ochmanski's Octavian Ogiwara Ognjanovi Ognjanovic Ohlebusch Ohori Ohtsu Ohuchi Okada Okayama Okulicka Olderog Olivi Ollagnier Ondrej Online Ont Oommen Oostrom Oper Operationnelle Opole Optimisation Orefice Orna Orsay Ostrava Otsu Oussous P PAC PAG PB PBC PCE PCEa PCEb PCF PCM PCP PCR PCS PCU PDC PDD PDL PDR PDS PDT PEM PERs PFU PGC PGP PID PII PK PLC PLL PLP PMC PMD PMG PMI PMO PMP PMR PN PNA PNL PNM PNN PNS POF POH POLYLOGTIME POS POV PP PPA PPD PPF PPO PPP PRA PRAMs PRC PREC PRH PRL PROLOG PRS PRU PSC PSE PSP PSPACE PSQ PSR PSS PST PSU PTB PTIME PTL PTM PTR PTS PTT PVG PVS PWI Pach Pacini Paderborn Padmanabhan Padova Pagli Pai Paige Palaiseau Palamidessi Palem Paliath Palis Palko Palopoli Panconesi Pandu Paola Papadimitriou Paraconsistent Parallelisme Parigot Parisi Parkville Parma Parrow Pascale Passau Pasztor Patras Patt Patterson's Paun Pavel Pavol Pedicini Peeva Peladeau Peled Peleg Penaud Peng Pengyuan Penjam Pereira Pereslavl Perraud Perrier Perrin Perron Persiano Petr Petrich Petruschka Pfenning Phan Philippe Philips Phys Picouleau Pieck Pierpaolo Piet Pietrzykowski Pighizzini Pigozzi Pingali Pinzani Piotrow Pisa Pitts Plaisted Plambeck Plotkin Plotkin's Pnueli PoSets Pocchiola Podelski Poigne Poirriez Poitiers Politecnica Politecnico Pollack Pollaczek Polynominoes Polyominoes Polyominos Polytech Pomian Pompeu Poonen Potsdam Potthoff Pottosin Povo Poznan Praha Praktische Prasad Preparata Presburger Presicce Priese Primitivity ProPre Probl Proc Procopiuc Prodinger Programmation Prolog Prouhet Provence Pruhs Pu Pudl Pudlak Puissances Pura Purushothaman Q QA QAT QDI QFA QIR QPE QR QRT Qiang Qingyu Qiu Qld Que Queensland Quelques Queueing Quinton Quong R RAD RBE RBP RBS RCD RCE RCG RCH RCP RCS RDA RDN RDO RDT REF RES RF RFP RGA RGD RHR RIC RKH RKS RM RMF RMP RNG ROV RPB RPC RPD RPN RPP RPQ RQC RQS RRB RRF RRM RRN RRP RRR RRS RRW RSA RSC RSD RSE RSF RSP RTA RTF RTG RTL RTS RUS RVM Raamsdonk Rabani Rabinovich Radhakrishnan Raghavan Ragunath Rajanarayanan Rajasekar Rajasekaran Rajeev Rajsbaum Rama Ramachandran Ramana Ramanan Ramanathan Ramat Ramesh Ramseyan Randrianarimanana Rangan Ranjan Raoult Raton Rauch Ravi Razborov Recognising Reggio Reghizzi Regnier Regula Rehovot Reif Reimen Reims Reisig Relativizations Relativized Remila Remy Ren Renato Rende Rennes Rensink Repr Res Resta Restivo Reutenauer Reuven Revesz Revuz Rice's Richelieu Ricklin Rieckhoff Rigny Rijksuniv Rijksuniversiteit Risch Ritsumeikan Ritt Robson Rocquencourt Rodenburg Rodl Roever Rojas Roka Rokia Rolf Rolim Roma Romeuf Rompel Roos Ros Roskilde Rosser Rossi Rostock Rotella Rouche Rouen Rougemont Roux Rovan Royer Roz Rozenberg Rozoy Rubinstein Rueil Ruggiero Rupert Ruqian Rus Rutten Ruzzo Rybko Ryszard Rytter Ryu Ryukoku Ryukyu S SAA SAI SAS SBA SBC SCA SCB SCC SCF SCN SCP SCR SCS SCW SDA SDC SDG SDK SDN SDP SDR SDS SEF SES SFA SFM SFS SFT SFU SFW SG SGB SGML SGT SHC SHD SHS SIA SID SIE SIQ SIRSResearcher SKE SL SLC SLD SLDNF SLF SLP SLS SMC SMG SMI SMN SMO SMT SMW SN SNB SNL SNR SOA SOE SP SPD SPE SPG SPIC SPM SPP SPS SPT SRC SRF SRM SRP SRR SRS SS SSA SSB SSC SSD SSF SSL SSM SSP SSR SSS SSX STA STACS STB STD STL STM STO STP STT SVS SWA SWM SZS Saarbrucken Saarlandes Sabadini Sabatier Sabelfeld Sachio Sadananda Sadri Saec Saf'arik Sagan Sain Sairam Saito Sakakibara Sakarovitch Salemi Salibra Salomaa Salonique Salvy Samir Sangiorgi Sangyo Sanjay Sanjoy Santean Santis Santoro Saoudi Saouter Sapozenko Sapozhenko Sapporo Sardinas Sarnath Satish Sato Satoh Satoshi Savick Savicky Sazonov Scedrov Sch Schaeffer Schaffer Schapers Scheepers Scheinerman Schepers Schettini Schieber Schlumberger Schmid Schmitz Schnitger Schnitger's Schnorr Scholefield Schoning Schott Schr Schreier Schreye Schroder Schupp Schwartzbach Schwer Scientifique Scollo Scott's Scratchpad Seebold Seger Segerberg Seidl Seki Sektion Selman Semanics Semicommutations Semiretracts Sendai Senechaud Senizergues Senoussi Sep Sergey Sergio Servet Seshadri Sethi Seul Sgall Shai Shallit Shalosh Shamir Shang Shankar Shapiro's Sharir Sharma Shasha Shawe Shende Sheng Shepherdson Sher Sheva Shigeki Shinoda Shinohara Shizuoka Shlomo Shou Shouwen Shub Shufelt Shuzo Shyr Sibert Sichuan Siefkes Siegelmann Sigmaplan Sikkel Silva Silvestri Simant Simonot Sinderen Singh Sini Sinica Sippu Sipser Siromoney Sistemes Sistemi Sistemistica Sitharama Skalikova Skandalis Skovbjerg Skubiszewski Skurczy Skurczynski Slaman Slissenko Slobodova Slovak Slowinski Slupecki's Slutzki Smale Smolka Smyth SnS Snir Soare Soininen Soisalon Solovay's Soloviev Sontacchi Sontag Sopena Spaccamela Sparmann Spartanburg Spehner Sperner's Spirakis Spor Sportelli Sprachen Sprenger Sprugnoli Squier Sreedhar Sridhar Srikant Srinivas Srinivasan Stat Statecharts Statman Stefanekova Stefanescu Stefano Steffen Steicher Steinby Steklov Stetsenko Steyaert Stickel Stidham Stiefel Stillman Stockmeyer Stoltenberg Stoughton Strasbourg Straubing Straubing's Strawn Strecker Streicher Stromquist Stuckey Studi Sturmian Sturt Sturtivant Subbiah Subhash Subrahmanian Subramanian Subtyping Sudborough Sulimov Sundaram Superieure Sur Suri Susumu Svrtan Swansea Sykora Syn Syst Systemotech Systolic Sz Szalas Szczepanska Szeged Szegedy Szemeredi Szepietowski Szpankowski Szwast Szymacha Szymanski T TAI TAS TBC TBS TCB TCC TCCS TCH TCI TCM TCP TCSCDI TCU TCW TDC TDD TDI TDP TEI TFE TFM TFNP TFP TFR TFT TGC TGR THD THEOR TIA TICS TIR TIS TLN TLP TLR TLV TMS TNL TOA TPC TPD TPM TPP TRL TRS TRT TS TSC TSD TSP TSR TSS TST TTA TTE TTH TTP TTS TTT TU TUF TVS Ta Tadashi Taejon Taghva Taha Taisuke Takada Takanami Takano Takayama Takumi Talamo Talance Talcott Talence Tallinn Tamaki Tamassia Tampakas Tampere Tannen Tarjan Tarlecki Tarski Tarui Tatsuta Tchuente TeX Techn Technische Technol Tecton Teillaud Telemark Temperini Teng Tennent Teo Terlutte Teruko Th Thatte Theor Theoret Theorique Thessaloniki Thiagaajan Thiagarajan Thibau Thierrin Thierry Thomsen Thorup Thu Thue Thurimella Tian Tichy Tien Timmerman Timo Tiplea Tirri Tiuryn Tiwari Tobin Toda Tofte Tohoku Tokai Tollis Tollu Torino Torng Tortora Torun Toulouse Townsville Toyama Toyohashi Tr Traff Trahan Trakhtenbrot Tran Trento Trigg Trivedi Troesch Trung Tseitin Tseitin's Tsiknis Tsinghua Tsuda Tsukuba Tudomanyegyetem Tue Tulchinsky Turku Turski Tuvi Tuza Twente Tyne Tyugu U UAB UAD UAH UAT UBA UBR UC UCA UCL UCP UDP UEG UER UFD UFR UFS UFT UGM UGR UKA UMS UPD UPG UPM UPR UPV URL URV USG USP UTO Ube Ugo Ukkonen Ulam Ulam's Ulm Ulrich Umberto UnCover Une UnionLists Univ Universidade Universit Uppsala Urzyczyn Uspensky V VAS VBA VBT VFM VGG VHL VLIW VMEI VTM VUSEI Vaandrager Vaccaro Vagvolgyi Vakarelov Valbonne Valenciennes Valiev Vall Vallee VanBakel VanDerMeyden VanGlabbeek VanOostrom Vandeuvre Vandoeuvre Vapnik Vardi Varj Varju Varman Varricchio Varvel Vau Vauzeilles Vazirani Velauthapillai Venkatraman Verhoeff Vermogungsberatung Verschelde Vianu Vic Vickers Viennot Vietoris Vijay Viliam Villemaire Villeneuve Villetaneuse Villeurbanne Vinay Vincenzo Vineet Vissers Viswanathan Vitter Vogler Volker Voronoi Vossen Vr Vrije Vrto Vugranam W WCA WCC WCM WCT WDD WDT WEM WFF WFS WGF WGT WKS WLT WLU WPF WPI WPT WSE WTD WWW WZ Waack Wadler Waikato Waldmann Walukiewicz Warmerdam Waseda Watnabe Wechsung Wegener Weibel Weide Weihrauch Weijland Weil Weinert Weizmann Wen Wenhui Whitesides Widgerson Wiedermann Wiehagen Wielonsky Wien Wieslaw Wigderson Willem Wilm Wim Winkler Winkowski Winograd's Winskel Wiskunde Woeginger Wojciech Wolfram Wolfson Wolfstahl Wos Wroclaw Wurzburg Wymann Wythoff Wythoff's X XIII XO XOR XTMs Xiangdong Xin Xiong Xu Xunrang Y Yaakov Yael Yajima Yamada Yamaguchi Yamamoto Yamasaki Yamashita Yannakakis Yannick Yardeni Yat Yehuda Yellamraju Yellin Yi Ying Yoccoz Yokouchi Yonatan Yong Yoo Yoram Yossi Yu Yuji Yukihide Yun Yunes Yung Yunzhou Yuzhang Z ZCT ZFC ZIK ZPS Zacchi Zaks Zalcstein Zalessky Zbigniew Zedan Zeilberger Zellerfeld Zeng Zentrum Zermelo Zetzsche Zhang Zhi Zhou Zhu Zhuang Zielonka Zierer Zimand Zimmermann Zineb Zipstein Ziv Zoran Zsuzsanna Zvonkin Zwick abbrev abductive abelian ack acknowledgement acm acyclicity adjoints affiliationaddress aires al alg algebraity algorithmical analogues analyse antirandomization approximants apr arbres arity arru ary associ asymptotics atomicity atrice aug autodistance autoepistemic automatas automation automatized axiomatisations ayant az b ba backoff bagdomain beebe behavedness behaviour behavioural behaviours bi biadherence bibdate bibmods bibnames bibsort bibsource bicartesian bifinite bifunctor biinfinite bilimit bimatrix bimorphisms biocomputers biplanar biprefix biquadratic bisimilarity bisimulation bisimulations bius bler bner boundedness boustrophedonic brard bre bres byvolume byzantine c cancellative cartes cartesian cas categorial catenative ces cfl's cgi chan characterisation chaud cheatable chemins chet cile cio closedness cms co coalgebras cocircularity cocomputability codetable coinduction coinductive colouring colours com combinatoire combinatoires combinatory commitability commun commutatives composability compositionality concavity concretization conflocation confluence conftitle congruences congruential conjuctive connectability constructable coprimality coproducts coreducibility corpsource cosemicomputable coste coverability cpo cpos cryptosystem cryptosystems cryptotext culaires cyclicity d d'Amore d'Arithm d'Ascq d'Asq d'Auto d'Autom d'Inf d'Info d'Informatique d'Intelligence d'Yves d'algorithmes d'esp d'inf d'une dAmore dI da dags dans dataflow datalog datatypes de de'Inf deBakker deBoer deLuca deMeer deRougemont dec decipherability decreasingness definability definedness deflations degli dei del del's dell'Inf der derandomization derivor derivors derlin des descriptional di diagraphs dialgebras digraph digraphs dinatural dinaturality diophantine discretizations doacross docstring dra droite e eNCE ecio ecpressions edgeless edu effectivity eigenfunctions ek elsevier email embeddings endedness endmarking endofunctor engendrant equational equiprobable equivalencies er es estoc etin exc exceedance expressibilities expressivity f factorizing falsi feb ffer fi fibrations fifo fixpoint fixpoints fonctionelle fonctionnelle fondamentale fractals g gan generalisation generalised genericity geom gerbes ggemann grassmannians groundedness groupe groupoids gue guingois gv h hci heapsort hereditarily hierarchly hm hne homotopies hp html http hyperarcs hyperdoctrines hyperedge hyperedges hypergraph hypergraphs hypermap hyperrecurrent i ieee imbalanced implicational incr indempotent indeterminates indicatrices indicatrix inductionless inf infin infinies infinitary injectivity inkdot intercomputer interdefinable interpretability intuitionistic ique isomorphie isoperimetric ispell issn iu j jan journalabr jp jul jun k ka ki kora kow krantz kriegspiel ku l l'Inf l'Informatique l'algorithme l'asym labelled labelling le learnability learnable les lgyi li lia libre libres lin localic locos logspace lois lou ltx lu m mann markup matiques maximality mcs memoization ments mer mes metalevel metalogic metaprogramming metatheorems metatheoretic mgi mgu minimisation minpath misere modelling mol monoidal monoids monomials morphic mots mpeanu multiagent multichains multicounter multihead multilayered multilinear multimode multiparameter multiplicites multiplicities multiprover multiqueue multiset multisets multitape multivalued multiwalks n nPCE nd ndez ndor neighbourhoods nez nhfb ni nie ning nl nm noetherian noetherianity nombre nonacceptability nonadaptive nonambiguous nonanonymous nonassociative nonatomic nonbacktracking noncircularity nonclairvoyant nonclassical nonclosure noncommutative noncommuting nonconstructive noncontext noncounting noncrossing nondegenerate nondeleting nondeterminant nondistributive nonerasing nonflat noninteractive noninterleaving nonisomorphic nonisomorphism nonmodal nonmonotonic nonoverlapping nonprimitive nonrecursive nonrecursiveness nonregular nonrelational nonrepetitive nonself nonsort nonsubsequence nonsyntactic nontransient normalisation normalizability nov nteger num numberings o obtention oct od offline ois oise online op opfibration opfibrations optimisation org organisation orthogonaux orthogroups outerplanar p pac paddability paddable palstars paperfolding paraconsistency parametricity parametrization parametrized paramodulation partiellement partizan pavings pdf pentads performability permutability pers persistency plethysm po poly polylogarithmic polymorphism polyn polynomially polynominal polyominoes polytopes polyvariancy pomset posedness poset posets powerdomain powerdomains powerset pr pre precovering predicativity predomains prefetching prenex preorder preorders preperiodic primality primitivity proc profinite programmation prunning pseudodifferential pseudonormal pseudorandom pspace pubcountry pullbacks q quadtree quadtrees quasigroups quasilinear quasiperiodicities quation queueing quicksort r randomisation randomised rankability ransson rard rationalit raud rd realised realtime reconnaissabilit reducibilities reductionist refutations reheap relativisation relativizable relativization relativizations relativized relator repr residua residuosity resolvent rg rgen rgensen ries rieure rnberg rner ron rsson ru rzy s saccept sciencedirect semialgorithm semicommutations semidirect semidynamic semigroup semigroups semilattice semilattices semilinear semilinearity semimodules semiretracts semiring semirings sentation sentations sep serializability ses shi sho showtags si sigmoids similarit sinklessness skel skewfield sok solitons solvability sousgroupes sparsity sponsororg st standardisation standardising stratifiability stratifiable structors subcategory subdirect subexponential subfamilies subfamily sublinear submonoid submonoids subprocedure subsequential subshift subsort substitutional subsumption subtyping subvariety subword superlinear superpolynomial supersequence superstring superstrings sur surjections sym symbolique synchronisation synchronised systolic sz szyn t tcs teborg tel termes termwise th tha thode tileability tilings tique tivier topos toposes tr transductions trapezes triconnectivity trie trique tt tv twocolumn typable typedness u ultralinear ultrametric umbral un und undecidability une unfoldings unifiable unlabelled unsolvability unsrt unstratifiable untopological uri utah valuedness vanBakel vanGlabbeek vanOostrom vanderMeyden vant vs wc worktape www x xx xxauthor xxnote xxpages xxtitle y ya z zanc zeilles zhou zu