AA AAC AAG AAP AAR AAS AAV AAW ABB ABT AC ACA ACC ACD ACL ACN ACP ACR ACW ADE ADF ADN ADR AEC AEN AES AFCET AFD AFE AFP AFPs AFS AG AGB AGU AGZ AI AIT AK ALB ALC ALD ALEXANDRE ALF ALG AMAST AMC AMD ANL AOH AOI AOO APD APF APG API APN APO APP APR APS AR ARP ARQ ASC ASD ASL ASM ATG ATMs ATP ATR AVL AVN AW Aachen Aalborg Aarhus Abadi Abbas Abelian Abiteboul Abo Abramsky Abt Abteilung Acad Aceto Ackerman Ackermann Acknowledgement Adiga Aditi Adm Adolphus Adrian Adv Affine Agfa Aggarwal Agn Agostino Aho Aigan Aignan Aiken Ain Ait Aizawa Akademi Akira Akl Akyildiz Alamos Albrechts Alcatel Aldo Alejandro Alessandro Alexandru Alexey Alferes Alfredo Alg Algebre Ali Alica Allender Allouche Almaden Almeida Alon Alonso Alsace Alur Ambos Ames Amir Amore Amram Amtoft Analisi Analysys Anders Andersson Andra Andrasiu Andrea Andreas Andrei Andreka Andrzej Angeles Angewandte Anglia Animaux Anja Annegret Anselmo Antipolis Antoni Antonio Aoki Apar Aplicada Apostolico Appl Applicata Applicazioni Appliqu Aquila Arbres Arcangeli Arend Aretz Arfi Arikawa Arithm Armando Arne Arques Artificielle Artin Arto Artois Arturo Arun Ascq Askey Aslam Asq Asser Asser's Assous Astesiano Astron Asveld Attila Atzeni Aubiere Aug Augsburg Augusteijn Augustin Aumann Ausiello Autom Automata Automation Automatizing Autonoma Avanc Averbuch Aviezri Aviv Azar Azaria B BAI BBC BC BCH BCI BCK BCS BDC BHI BHK BHS BIA BIR BLA BLL BNF BNN BPS BQS BSS BTP BVG Babai Baccelli Backus Badouel Baeten Baeza Bafna Bai Baier Bainbridge Baire Bakel Bakker Bala Balcazar Balsters Banach Bangalore BarYehuda Baratchart Baratella Barbar Barcucci Barendregt Barendregt's Baronissi Barr Barrington Bart Bartha Barua Baruah Barzdin Basel Bauderon Baur Be'er Beame Beauchamps Beauquier Bebjak Becker Bedard Beebe Beeri Beigel Beijing Bellia Bellin Benedek Benedetto Benninger Beograd 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 Bibel's Bidoit Bieberbach Bielefeld Biing Billaud Binghamton Birget Birkhoff Bisimulation Biswas Bitar Bj Bjorn Bjorner Blaaberg Blaise Blanchard Blanchet Blass Blikle Blizard Blum Blute Bo Boaz Boca Bochmann Bodlaender Boe Boehm Boer Bohm Bohm's Boissonnat Bol Bolyai Bonizzoni Bonner Bonnier Booleans Bordelais Borel Borkowski Bossi Bost Botelho Bottinger Bouchitt Boudol Boudriga Bourget Bourgin Bousquer Bousquet Bovet Boxma Boyar Boyer Bozapalidis Br Bracho Bradfield Branges Branislav Brassard Bratislava Breazu Bremen Brent's Brighton Brigitte Brinksma Brisbane Brisson Bro Broder Brookes Brouwer Brouwer's Bruck Bruderlin Bruges Bruggemann Brunswick Bruschi Bruxelles Bruyere Bucciarelli Buchberger Buchi Bucuresti Budach Bulyonkov Bunder Bundeswehr Buneman Buning Burckel Burkhard Burlington Burnaby Burosch Burroni Burstall Byeong C CA CAA CAAP CAF CAML CAO CAQ CAS CAU CBA CBD CBP CBS CBT CCA CCB CCC CCD CCF CCG CCH CCL CCM CCN CCP CCQ CCR CCS CCT CCU CDD CDF CDL CDM CDP CDR CDS CDT CEA CEF CEG CERIL CERT CES CET CFB CFE CFF CFG CFL CFL's CFM CFP CFS CFT CGA CGG CGP CGR CHC CIC CIL CIP CIT CL CLA CLC CLD CLF CLL CLN CLP CLS CLT CMF CMI CMM CMN CMP CMS CMT CNAM CNF CNR CNRS CNS CO CODEN COF COM COMP COMPUGRAPH COSY COV CPC CPD CPF CPH CPL CPM CPN CPOs CPR CPS CPW CQL CQP CRA CRC CRCW CRE CRG CRI CRIN CRL CRM CRNS CRP CRR CRS CS CSA CSAV CSB CSC CSE CSI CSL CSLD CSP CSR CSS CSU CT CTA CTC CTE CTH CTL CTP CU CUCH CVD CWA CWI Cachan Caen Cai Calabria Calcolo Callaghan Calude Camacho Cameron Campbell Capocelli Cardelli Cardone Carlier Carlo Caron Carpi Carrasco Carsten Casas Caspi Castellani Castelnuovo Catalan Catalan's Cataluna Catalunya Catherines Catriel Caucal Cauchon Cavedon Cayley Cazanescu Cederbaum Centre Centro Cezar Ch Chakka Chalmers Chambery Chan Chandra Changwook Charretton Charron Chaunier Chazelle Cheng Chengdu Cherkasova Chern Cherubini Chervonenkis Chesnav Chesnay Chesnot Cheung Chia Ching Chiricota Cho Choffrut Choi Chongqing Christchurch Christel Christiane Chrobak Chun Church's Chwa Chytil Cialdea Ciancaglini Cibernetica Ciencias Cin Citrini Clarkson Clausen Clausthal Clemens Clerbout Cocco Codd Codenotti Codish Coffman Coll Collatz Colloque Colson Combe Combinatorics Combinatory Combray Comenius Commun Comon Comp Compendex Complexit Complutense Compositionality Compton Comput Comte Concordia Condon Confluence Congruences Consens Constantineau Conway Coppo Coquand Coquid Coquide Corbett Cori Corput Corradini Corrado Corsini Cortesi Cosnard Courant Courcelle Cousot Coventry Cox Crepeau Crescenzi Crescenzo Cristian Croatia Crochemore Crole Crvenkovi Crvenkovic Csuhaj Cucker Culik Curces Curien Cutsem Cyber Cybern Cypher Czechoslovak D D'Ascq D'Inf DA DACTL DAE DAF DAQ DAR DAS DBMS DBN DBO DBP DC DCC DCD DCF DCI DCP DDC DDM DDP DEP DER DES DET DFA DGI DGT DI DIKU DIS DKS DLN DLOGTIME DLP DLS DMD DMF DMI DNP DOL DPC DPD DPDA DPP DPR DRD DRP DRS DSA DSC DSD DSE DSF DSI DSP DSS DST DSU DT DTE DTL DTM DTML DTOL DTP DTS DVAG DVN DWF Dactl Dagum Dahlhaus Dal Damm Dana Dani Darmstadt Darondeau Das Dassow Datalog Datenverarbeitung Dauchet Daud Daude Daykin De DeAgostino DeLuca DeNicola DeSantis Debart Decoste Dedekind Degano Dehornoy Dejean Dejean's Del 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 Didier Diekert Diepenbeek Diestel Dietzfelbinger Dikovsky Diks Dimitrovici Diop Dipartimento Discretes Diskrete Div Doets Doggaz Dominique Dong Doron Dortmund Dosch Dosen Dougherty Dowek Dowell Dowling Downey Draghicescu Dragutin Drewes Drexel Droste Du Dube Dubois Duchamp Duisburg Dulucq Dumas Durand Durieux Duris Dushnik Duval Duval's Dybkj Dybkjaer Dyck E EAE EAL EAM EBM EBN EBR EBSI ECA ECF ECI ECL ECO ECP ECT ECTL EDM EDQ EFP EFS EGP EGY EHC EIT EKO ELECTRE ELT EMV EN ENP ENS ENSM EON EOQ EP EPC EPE EPF EPI EPM EPT EPU ERB EREW ERM ESD ESF ESG ESI ESN ESPACE ESS EST ESTELLE ETH ETL ETS EUC EUL EVF EXP EXPTIME Eades Earley Earley's Echahed Ecole Econ Edalat Edelsbrunner Eduardo Egecioglu Ehrenfeucht Ehrhard Ehrig Eidgenossische Eike Eilenberg Eindhoven Eiter Ekanadham Ekhad El Elaborazione Elbaz Electr Electrotech Elettronica Elias Elin Elsevier Elvang Elvira Endhoven Ene Eng Engeler Engelfriet Enjalbert Enno Enschede Eppstein Equational Equipe Erdos Eriksson Erlangen Erol Ershov Erzs Escuela Esik Esparza Essen Estatistica Esteban Estelle Estonia Estonian Etzion Euclid's Euclide Euclidian Eulerian Evry Expertensyst Eyal F FAA FAC FACS FAU FAX FB FCM FCR FCS FCV FDC FDD FDI FEA FFA FFF FFI FFM FFP FG FGA FGB FGP FIC FL FLD FLP FLS FLUO FMA FMP FMS FMT FOL FP FPC FPD FPF FPL FPN FPP FPR FPS FRB FRD FRL FSC FSI FSS FT 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 Ferguson Fernanda Fernandez Fernuniv Ferrari Ferreira 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 Fraser Frechet Freiburg Freie Freivalds Freyd Fri Friedberg Friedrich Friso Frits Froidevaux Frougny Fu Fuh Fujii Fujitsu Fukuoka Fulop Functorial Fussell Futamura G GA GAI GBR GCF GCR GCS GDS GFE GFL GFP GGP GH GHB GHC GHF GHS GI GII GIT GLG GLV GMD GMG GNA GOP GPC GPD GPF GPLa GPLb GPN GR GRA GRD GRF GRP GSC GSOS GSP GSS GST GTA GTE GTP GVL Gabbrielli Gaissaryan Gale's Galil Gallier Galmiche Gambosi Ganesan Gannett Ganzinger Gardiner Gardy Garg Gargano Garofalakis Garzon Gaspard Gastin Gatlinburg Gavalda Gavilanes Gdansk Gecseg Geetha Geffert Gelenbe Gen Genjiro Genoa Genova Gentzen Gentzen's Genzen Georg Germano Gert Gesamthochschule Geva Gevaert Gh Gheorghe Giegerich Gil Gilad Gilberto Gilleron Gilles Gilmore Ginsburg Giora Giordano Giorgio Giovini Girard Girard's Gire Giuseppe Glabbeek Glushkov Gnaedig Gobel Godel Godel's Godin Goerdt Goguen Goldfarb Goldwurm Goles Goltz Gonzalez Goransson Gorrieri Goslar Goto Gottlob Gouyou Gr Grabmeier Grabner Grabowski Gradel Grahame Grahne Grandjean GraphLog Grassl Grassmannians Graz Gregorio Greibach Grigorchuk Grigoriev Gro 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 Gustavus Gyssens H HAA HAI HCA HCP HCT HDC HDL HDW HEAPSORT HFS HIC HKH HLR HLV HMS HOD HOU HPE HPF HPP HRC HRJ HS HSP HWA Habbas Habel Haegemans Hagino Hainaut Halld Halldorsson Hallnas Halpenny Hamaguchi Hamburg Han Hankel Hanssen Hanus Harel Harju Hartmanis Hartmut Hashiguchi Hassan Hasse Hausdorf Hausdorff Hausser Haute Hava Haverford Hebisch Hebrard Heckmann Hee Heering Hefei Heibig Heilbrunner Heiman Hein Hemachandra Hemaspaandra Hendrik Henk Henkin Hennessy Hennicker Henri Henrik Herbrand Herbst Hereditarily Hermann Hern Herrmann Hershberger Hertrampf Herv Hespel Hesselink Heum Hieb Hildesheim Hillman Hindley Hiraishi Hirofumi Hirokawa Hiromi Hoang Hoare Hoare's Hochschule Hoene Hofbauer Hofer Hoffmann Hofri Hokkaido Holldobler Holloway Holte Homotopies Hongfei Honkala Hoofman Hoogeboom Hooman Hoon Hopf Horspool Horst Horv Horvert Horwitz Hosono Houghton Hromkovi Hromkovic Hsu Hsuan Hu Hua Huang Hubei Huckenbeck Huet Huey Huhne Hui Hungwen Huou Hurwitz Hussein Huth Huttel Huwig Huy Huynh Hyogo Hyperedge Hypermap IA IAC IAG IAP IASI IAT IBP IBS IC ICA ICD ICDT ICF ICL ICLP ICN ICW IDN IEEE IEF IEN IFS IGA IHB IHI IIA IID IIG IIMAS IIP IKT IL ILT IMAG INFORMATIKA INPG INRIA INSA INSPEC IOC IOCC IPL IPO IPS IRD IRISA IRO ISC ISI ISO ISSN IST ISWIM ITA ITC ITL ITR IVG IWC Iain Ian Iasi Ibaraki Ibarra Ichikawa Ichiro Idury Igor Ikeda Ilan Ilie Iliopoulos Illiers Imrich Ind Inf Informatica Informatics Informatik Informatika Informationssyst Informatique Ingenieria Ingo Inoue Inst Instituto Int Intellektik Interdefinability Internet Intezete Intrigila Intuitionistic Ioannis Ionescu Irisa Isabelle Ishikawa Isi Istituto Istrate Itai Italia Italiano Itkin Ito Itsuo Iwanowski Iwata Iyengar Izhevsk J JMI JSU Ja Jacobi Jacopini Jain Jaja Jancar Janeiro 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 Johnston Johnstone Jolla Joost Jos Jouannaud Journ Jozef Jozsef Juedes Juha Juhani Juichi Jul Jun Jung Juraj Jurgensen K KA KAIST KCC KCQ KD KFP KLC KLP KS KY Kablan Kaci Kahn Kai Kaiserslautern Kalai Kalyanasundaram Kamareddine Kaminski Kamper Kanagawa Kanamori Kanchana Kanchanasut Kanellakis Kanpur Kapitonova Kaplan Kapur Karabeg Karan Karel Karhum Karhumaki Kari Karine Karlin Karloff Karlsruhe Karner Karnick Karp Karpinski Kasai Kasami Kashyap Kassel Kasyanov Katholieke Katona Katsura Katsushi Katz Kawahara Kawamura Kaya Kayles Kazem Ke Kearney Kedem Kees Kelemen Kelemenov Kelemenova Kennaway Kestrel Ketonen Kfoury Khadilkar Khoshnevisan Khrapchenko Khuller Kiehn Kiel Kifer Kinber Kirchner Kirokawa Kirschenhofer Kishor Kista Kiwi Kiyoharu Klaas Klawe Kleene Kleene's Kleijn Kleine Kleisli Kleitman Kloosterman Klop Knijnenburg Knill Knoop Knuutila Ko Kobayashi Kobler Kobuchi Kogan Koiran Koiran's Kok Koletsos Kolmogorov Konig Konozenko Konstanz Korec Koren Kornatzky Koseleff Kosice Kothari Kotov Kounalis Koutney Koutny Koutsoupias Kowalski Kowloon Kozen Kratsch Krause Krawczyk Krawtchouk Kreitz Krentel Kreowski Kri Kriegspiel 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 LAC LACIM LAFORIA LAN LAR LAT LBA LBC LBL LC LCA LCB LCC LCF LCFS LCM LCO LCP LCT LCW LD LDA LDM LDS LEF LEI LFM LFP LIFIA LIFL LIPN LIPT LITP LIUC LLB LLC LLL LMC LOE LOGCFL LOGSPACE LORIA LOS LOTOS LPG LPP LPRAM LPS LR LRF LRI LRR LS LSJ LSS LST LT LTF LTP LTT LUP LVC LWE LaBRI LaTeX Labelle Labelled Labhalla Lachaud Ladner Lagois Laguerre Lakehead Laks Lakshmanan Lalanne Lalonde Lamarche Lambert Lamport Lando Langages Lange Larmore Larsson Las Lastovetsky Lathrop Latteux Latvia Latvian Laurent Laurentiu Lautemann Laval Lavault Lawvere Lb Le Learnability Leb 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 Lila Lille Limburg Limitedness Limoges Limongelli Limor Lin Lindell Lindenbaum Lindenmayer Linz Liouville Lipeck Lisboa Litovsky Litow Liu Llenguatges Lobo Localizable Lodi Logics Logique Lombardi Longo Longpr Longpre Los Louchard Loui Louth Lovasz Lowe Lozano Lozkin Lu Luby Luc Luca Luccio Luchkardt Lucio Luisa Lukassen Luminy Lund Lungo Lustre Lutz Lyapunov Lyger Lyndon Lyngby M MAM MAS MAXCLIQUE MAXNP MBK MCB MCC MCD MCE MCF MCL MCQ MDS MDT MDV MEB MEO MEP METAFONT MFC MFF MFP MG MI ML MLA MLG MLK MLM MLOG MLP MMF MML MMP MMR MN MO MOCA MOS MP MPB MPC MPD MQM MRU MRclass MRnumber MSO MSP MSR MST MT MTA MTT MVH Maass Maciej Macsyma Madar Madlener Madonia Mads Magdalena Magdeburg Maggiolo Magidor Magnus Maher Mairson Majster Mak Makoto Mal Malajovich Malcev Maler Malika Malmaison Manca Mandrioli Mankato Manley Mannheim Manoury Mansour Mantaci Marc Marcella Marchetti Marco Marcos Marcoux Marek Margaria Margenstarn Margenstern Margolis Marianne Mariano Marisela Marius Markovian Marne Marrakech Marseille Martelli Masafumi Masashi Mascari Maschinen Masseron Mateescu Matematica Matematicas Matematicki Mathai Mathematiques Mathew Mathieu Maths Matos Matsumura Matus Maude Mauduit Maurer Mauri Maurizio Mauro Maximality Maxime Maximilians Mayordomo Mazoyer Mazurkiewicz Mazzanti McCune McGill McMaster Meakin Med Meer Megiddo Meinel Meinke Meixner Melan Melancon Melas Mellin Melou Melton Menachem Mendelzon Menlo Meo Mery Meseguer Metacircularity Mey Meyden Mezghiche Micha Michal Michaux Michel Middendorf Middletown Mignosi Mignotte Mila Milano Mili Milner Milner's Milsted Miltersen Min Ming Minh Miniato Minimisation Minker Minsky Miola Mircea Mireille Miroslaw Mirwald Misere Mishra Mislove Missaoui Mitrani Mitre Mitsubishi Mitsunori Mitzenmacher Miyano Mobius Mody Moews Moggi Moller Mon Monads Monfroglio Monge Monien Monika Monique Moniz Mons Mont Montanari Monte Montpellier Mora Moran 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 NC NCC NCD NCL NCR NCS NCT NDC NDI NDO NDS NDU NE NEXP NEXPTIME NFS NFU NGT NIC NJ NL NLB NLC NLOGSPACE NLP NMC NOA NOG NP NPA NPB NPI NPO NPS NRB NRC NRO NRP NRS NRT NRW NS NSD NSG NSL NSM NSP NSW NTM NTP NTS NTT NU NV NY NaDSet Nacional Nagoya Nakamura Nam Nanjing Nanni Nanterre Nantes Napoli Nardelli Narendran Natl Naughton Ndoundam Nederpelt Neil Nemeti Nepejvoda Nepomniaschy Neraud Nerode Nesetril Neubiberg Neumann NewHeap Nfld Ng Ngo Ngoc Nicola Nie Nielson Nijmegen Nik Nirmal Nisan Nishimura Nissim Nivat Noetherian Noga Nogi Nolte Nonacceptability Nonclairvoyant Noncommutative Nondeterminacy Nondeterministic Nonerasing Nonmodal Nonrecursiveness Nonterminal Nord Normale Nota Noureddine Nov Novara Novi Novosibirsk Nummenmaa O OAC OAL OBC OCC OCLC OCP ODA OEC OFP OFW OGB OL OMAR ONERA OPA OPC OPF OPS OSA OSC OSK OST OTL OTP OWC OWF OWHY Occam Occhiuto Och Ochmanski Ochmanski's Oct Octavian Oded Ogiwara Ognjanovi Ognjanovic Ohlebusch Ohori Ohtsu Ohuchi Okada Okayama Okulicka Olderog Olivi Ollagnier Ondrej Ont Oommen Oostrom Oper Operationnelle Opole Optimisation Orefice Orna Orsay Ostrava Otsu Oussous P PAC PAG PB PCB PCE PCF PCG PCM PCP PCR PCS PCU PDC PDD PDL PDP PDS PDT PEM PERs PFD PFU PGC PH PHS PID PII PK PL PLC PLP PMC PMD PMG PMO PMP PMR PNA PNL PNM PNN PNS POF POH POLYLOGTIME POS POV PP PPA PPF PPM PPO PPP PR PRA PRAMs PRC PREC PRL PROLOG PROM PRU PSC PSE PSP PSPACE PSQ PSR PSS PST PSU PTB PTIME PTR PTS PTT PTV PVG PWI Pach Pacini Paderborn Padmanabhan Padova Pagli Pai Paige Palaiseau Palamidessi Palem Paliath Palis Palko Palo Palopoli Panconesi Pandu Paola Papadimitriou Paraconsistent Parallelisme Parametricity Parigot Parisi Parkville Parma Parrow Pascale Passau Pasztor Paterson Patras Patt Paulo Paun Pavel Pavol Paz Pedicini Peeva Peladeau Peled Peleg Penaud Peng Pengyuan Penjam Pereira Pereslavl Perraud Perrier Perrin Perron Persiano Petit Petr Petri Petrich Petruschka Pfenning Ph 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 Polyominoes Polyominos Polytech Pomian Pompeu Poonen Porto 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 Pushout Q QA QAT QDI QFA QIR QPE QRT Qiang Qingyu Qiu Qld Que Queensland Quelques Queueing Quinton Quong R RAD RAE RBE RBP RBS RCD RCE RCG RCH RCP RCS RDA RDN RDO RDT REF RES RF RFP RGA RGD RHR RI RIC RM RMF RMP RNG ROV RPB RPC RPD RPN RPP RQC RQS RRB RRF RRM RRN RRP RRR RRS RRW RSA RSC RSE RSF RSP RTA RTF RTG RTL RTS RUS Raamsdonk Rabani Rabin 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 Reachability Realizability 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 Rhode Richelieu Ricklin Rieckhoff Riga Rigny Rijksuniv Rijksuniversiteit Risch Ritsumeikan Ritt Robinson's Robson Rocco Rocquencourt Rodenburg Rodl Roever Rojas Roka Rokia Rolf Rolim Roma Romania Romeuf Rompel Roos Ros Rosenberg Rosenthal 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 SA SAA SAC SAL SAS SBA SBC SBS SC SCA SCB SCC SCF SCI SCM SCN SCP SCR SCS SCW SD SDA SDC SDG SDK SDN SDP SDR SDS SDT SEF SEN SES SFA SFM SFS SFT SFU SG SGB SGF SGML SGT SHC SHD SHS SIA SID SL SLC SLD SLDNF SLF SLP SMC SMI SMN SMO SMT SMW SN SNB SNL SNR SP SPA SPD SPE SPG SPIC SPM SPP SPS SPT SRC SRF SRI SRM SRP SRR SRS SS SSB SSC SSD SSE SSM SSO SSP SSR SSS SST STA STACS STB STD STM STO STP STT SU SVS SVT SWA SWM SZS Saarbrucken Saarlandes Sabadini Sabatier Sabelfeld Sachio Sadananda Sadri Saec Saf Saf'arik Sagan Sain Sairam Saito Sakakibara Sakarovitch Salemi Salibra Salomaa Salonique Salvy Samir San Sangiorgi Sangyo Sanjay Sanjoy Santean Santis Santoro Sao Saoudi Saouter Sapozenko Sapozhenko Sapporo Sardinas Sarnath Satish Sato Satoh Satoshi Savick Sazonov Scedrov Sch Scheepers Scheinerman Schepers Schettini Schieber Schlumberger Schmid Schmitt Schmitz Schnitger Schnitger's Schnorr Scholefield Schoning Schott Schr Schreier Schreye Schupp Schwartzbach Schwer Sci Scientifique Scollo Scott's Scratchpad Seebold Seger Segerberg Seidel Seidl Seki Sektion Selman Semanics Semicommutations Semiretracts Sendai Senizergues Senoussi Serbia Sergei 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 Shmuel Shou Shouwen Shub Shufelt Shuzo Shyr Sibert Sichuan Siefkes Siegelmann Sigmaplan Sikkel Silva Silvestri Simant Simonot Simonson Sinderen Singh Sini Sinica Sippu Sipser Siromoney Sistemes Sistemi Sistemistica Sitharama Skalikova Skandalis Skovbjerg Skubiszewski Skurczy Skurczynski Slaman Slissenko Slobodova Slovak Slovakia Slowinski Slupecki Slupecki's Slutzki Smale Smolka Smyth SnS Snir Soare Soininen Soisalon Solovay's Soloviev Sontacchi Sontag Sopena Spaccamela Sparmann Spartanburg Spehner Sperner Sperner's Spirakis Spor Sportelli Sprachen Sprague Sprenger Sprugnoli Squier Sreedhar Sridhar Srikant Srinivas Srinivasan Stat Statecharts Statman Stefan 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 Sud Sudborough Sulimov Sundaram Sur Suri Susumu Svrtan Swansea Sykora Syn Syst Systemotech Systolic Sz Szalas Szczepanska Szeged Szegedy Szemeredi Szepietowski Szpankowski Szwast Szymacha Szymanski T TAS TAT TBC TBS TCB TCC TCCS TCH TCI TCM TCSCDI TCU TCW TDC TDD TDI TDP TEI TFE TFM TFNP TFP TFR TFT TGC TGR THD THEOR TIA TICS TIS TLN TLP TLR TMS TN TNL TOA TOR TPC TPD TPM TRL TRS TRT TS TSC TSD TSI TSP TSR TSS TST TTA TTE TTH TTP TTT TU TUF TX Ta Tadashi Taejon Taghva Taha Taisuke Takada Takanami Takano Takayama Takumi Talamo Talance Talcott Talence Tallinn Tam Tamaki Tamassia Tampakas Tampere Tanaka Tannen Tarjan Tarlecki Tarski Tarui Tatsuta Tchuente TeX Techn Technion Technische Technol Tecton Teillaud Tel Telemark Temperini Teng Tennent Teo Terlutte Teruko Th Thatte Theor Theoret Theorique Thessaloniki Thiagarajan Thibau Thierrin Thierry Thomsen Thorup 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 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 UK UKM UMS UPD UPG UPM UPR URL URV USG USP UT UTO Ube Ugo Ukkonen Ukraine Ulam Ullman Ulm Ulrich Umberto UnCover Unambiguity Une Univ Universidade Universit Uppsala Urbana Uri Urzyczyn Uspensky Utrecht V VAS VBM VBT VFM VGG VHL VLIW VLSI VMEI VT VTM VUSEI Vaandrager Vaccaro Vagvolgyi Vakarelov Valbonne Valenciennes Valiev Vall VanBakel Vandeuvre Vandoeuvre Vapnik Vardi Varj Varju Varman Varricchio Varvel Vau Vauzeilles Vazirani Velauthapillai Venkatraman Verhoeff Vermogungsberatung Verschelde Vianu Vic Vickers Viennot Viet Vietoris Vijay Viliam Villemaire Villeneuve Villetaneuse Villeurbanne Vinay Vincenzo Vineet Vissers Viswanathan Vitter Vogler Volker Volterra Von Voronoi Vossen Vr Vrije Vrto Vugranam W WA WCA WCC WCM WCT WDD WDT WEM WFF WFS WGF WGT WI WKS WLT WLU WPI WPT WSE WTD WWW WZ Waack Wadler Waikato Waldmann Waltham Walukiewicz Warmerdam Waseda Watanabe Wechsung Wegener Wei Weibel Weide Weihrauch Weijland Weil Weinert Weir Weizmann Wen Wenhui Whitesides Wiedermann Wiehagen Wielonsky Wien Wieslaw Wigderson Willem Wilm Wim Winkler Winkowski Winograd Winograd's Winskel Wiskunde Woeginger Wojciech Wolfe Wolfram Wolfson Wolfstahl Wos Wroclaw Wuhan Wurzburg Wymann Wythoff Wythoff's X XIII XOR XTMs Xiangdong Xin Xiong Xu Xunrang Y YACC Yaakov Yael Yajima Yamada Yamaguchi Yamamoto Yamasaki Yamashita Yannakakis Yannick Yardeni Yat Ye Yehuda Yellamraju Yellin Yi Ying Yoccoz Yokouchi Yonatan Yong Yoo Yoram Yossi Yu Yuji Yukihide Yun Yunes Yung Yunzhou Yuzhang Z ZCT ZFC ZTI ZZP Zacchi Zagreb Zaks Zalcstein Zalessky Zbigniew Zealand Zedan Zeilberger Zellerfeld Zeng Zentrum Zermelo Zetzsche Zhang Zhi Zhu Zhuang Zielonka Zierer Zimand Zimmermann Zineb Zipstein Ziv Zoran Zorn Zsuzsanna Zvonkin Zwick abbrev abductive abelian ack acknowledgement acm acyclicity adherences adjoints affiliationaddress affine aires al alg algebraity algorithme algorithmes algorithmical analogues analyse analyses antirandomization aperiodicity approximants apr arbres arik arity ary assertional associ asym asymptotics atomicity atrice aug autodistance autoepistemic automata automatas automation automatized automorphism axiomatisations axiomatization axiomatizations ayant az b ba backoff bagdomain beebe behavedness behaviour behavioural behaviours bi biadherence bibdate bibmods bibnames bibsort bibsource bicartesian bifinite bifunctor biinfinite bijective bilimit bimatrix bimorphisms biocomputers biplanar biprefix biquadratic bisimilarity bisimulation bisimulations bius bler bner boolean boundedness boustrophedonic brard bre bres broadcasted byvolume byzantine c cancellative cardinalities cartes cartesian cas categorial catenative ces cgi chan characterisation characterizations chaud cheatable checksum chemins chet cile cio circumscription closedness cms co coalgebras cocircularity cocomputability codetable codings coercions coinduction coinductive col collinearity colouring colours com combinational combinations combinatoire combinatoires combinator combinatoric combinatorics combinators combinatory commitability commun commutatives complementation composability compositionality concavity concretization conflocation confluence conftitle congruences congruential connectability constructable constructibility coprimality coproducts coreducibility coroutine 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 datacompression dataflow datalog datatypes de de'Inf deBakker deBoer deLuca deMeer deRougemont dec decipherability decomposability decreasingness definability definedness deflations degli dei del dell'Inf der derandomization derivor derivors derlin des descriptional di diagraphs dialgebras digraph digraphs dinatural dinaturality diophantine discretizations disjointness doacross docstring dra droite du e eNCE ecio ed edgeless edu effectivity eigenfunctions ek elsevier email embeddings en encodings endedness endmarking endofunctor endomorphism engendrant equational equilibria equiprobable equivalencies er es esp estoc etin exc exceedance exponentials expressibilities expressibility expressivity extremal f factorizing falsi feb ffer fi fibration fibrations fifo filename finitary fixpoint fixpoints fjournal flowcharting fonctionnelle fondamentale formulae fractals functionals functor functorial functors g gan gej generalisation generalised genericity geom gerbes ggemann grassmannians groundedness groupe groupoids gue guingois gv hci heapsort hereditarily hierarchly hm hne homomorphic homotopies homotopy hp html http hyperarcs hyperdoctrines hyperedge hyperedges hypergraph hypergraphs hypermap hyperrecurrent i idempotents imbalanced implicational incr indempotent indeterminates indicatrices indicatrix indices inductionless inf inferencing infinies infinitary injective injectivity inkdot intensional 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 limitedness lin liveness localic locos logics logspace lois lookahead lossless lou ltx lu m mann markup matchings matiques matroid maximality mcs memoization ments mer mes metacircular metalevel metalogic metaprogramming metatheorems metatheoretic mgi mgu mi mila min minimisation minpath misere modelling modifiability mods mol monoid monoidal monoids monomials morphic morphism morphisms mots mpeanu mu multi multiagent multichains multicomputer multicounter multihead multilayered multilinear multimode multiparameter multiplicatively multiplicities multiprover multiqueue multiset multisets multitape multivalued multiwalks n nPCE nd ndez ndor ne neighbourhoods nez ng 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 nondeterminacy nondeterminant nondeterminism nondeterministic nondistributive nonerasing nonflat noninteractive noninterleaving nonisomorphic nonisomorphism nonmodal nonmonotonic nonoverlapping nonprimitive nonrecursive nonrecursiveness nonregular nonrelational nonrepetitive nonself nonsort nonsubsequence nonsyntactic nonterminal nonterminating nontermination nontransient normalisation normalizability nov nteger nu 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 parallelization parallelizations parameterized parametricity parametrization parametrized paramodulation partiellement partizan pavings pdf pentads performability permutability pers persistency pipelining 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 preprocessing primality primitivity proc profinite programmation prunning pseudodifferential pseudonormal pseudorandom pspace pubcountry pullback pullbacks pushdown pushout q quadtree quadtrees quasigroups quasilinear quasiperiodic quasiperiodicities quasistationary quation queueing quicksort r radices randomisation randomised rankability ransson rard rationalit raud rd reachability realised realizability realtime recognizability reconnaissabilit reducibilities reductionist refutations reheap relativisation relativizable relativization relativizations relativized relator repr rerouting residua residuosity resolvent rg rgen rgensen ries rieure rka rnberg rner ron rsson ru runtime rzy s saccept satisfiability schemas sciencedirect semialgorithm semicommutations semidirect semidynamic semigroup semigroups semilattice semilattices semilinear semilinearity semimodules semiretracts semiring semirings sentation sentations sep sequent sequentiality serializability ses shi sho showtags si sigmoids similarit sinklessness skel skewfield sok soliton solitons solvability sousgroupes sparsity specifiability sponsororg st standardisation standardising stratifiability stratifiable structors subcategory subcomputation subdirect subexponential subexpressions subfamilies subfamily subgraph sublinear submodule submonoid submonoids subproblems subprocedure subsequential subshift subsort substitutional substring substrings subsumption subtasks subtrees subtyping subvariety subword superlinear superpolynomial supersequence superset superstring superstrings sur surjections sym symbolique synchronisation synchronised synchronizers systolic sz szyn t tableaux tcs teborg tel termes termwise tex th tha thode ti tileability tilings tique tivier topos toposes tr tradeoff tradeoffs transductions transfinite trapezes triconnectivity trie trique tt tuple tuples tv twocolumn typable typedness u ultralinear ultrametric umbral un unambiguity unary unboundedness und undecidability une unfoldings unifiable unifiers unimodal unlabelled unsatisfiability unsolvability unsrt unstratifiable untopological untyped uri utah valuedness vanGlabbeek vanOostrom vanderMeyden vant vertices von vs wc worktape www x xx xxauthor xxnote xxpages xxtitle y ya z zag zanc zeilles zeroes zhou zu