AAC AAE AAG AAH AAL AAM AAP ABL AC ACA ACC ACF ACG 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 ALS ALT AMAST AMD AMF AMN ANL ANR AOD AOP AOS AP APC APK APP APR APS APW APX AQA AQC ARF ASA ASB ASC ASD ASG ASI ASL ASM ASN ASV ATA ATC ATD ATL ATP ATR ATU AVB AVR AWG AWR Aachen Aalborg Aarhus Aart Aasa Abbas Abdelillah Abdenacer Abderrahim Abelian Abello Abhi Abiteboul Ablayev Abramsky Abramsky's Acad Aceto Acknowledgement Adamek Adel Adelaide Adele AdeleA Adleman Adolfo Adv Adviesdienst Afdeling Afek Affine Afonso Agfa Agostino Agrawal Aguilera Ahmed Aignan Aigrain Aires Ait Ajay Ajili Ajtai Aki Akinari Akinori Akira Akito Akutsu Alagar Alagi Alagic Alain Alamos Alban Albers Albizuri Albrecht Aldo Alejandro Alessandra Alessandria Alessandro Alessi Alexandre Alexandroff Alexandru Alexei Alfredo Alg Algorithmen Algorithmes Ali Alica Alimohamed Allemand Allender Allouche Almeida Alonso Alpuente Alsace Alta Alth Althofer Alur Amadio Amaldi Ambainis Ambos Ames Amiens Amir Amo Amrhein Ana Analyse Anantharaman Anatol Anatoli Anca Anders Andersson Andr Andrea Andreae Andreas Andreev Andrei Andresen Andris Andrzej Angeles Angewandte Anglia Anil Annika Antimirov Antipolis Anton Antonella Antoni Antonino Antonio Antonios Antoy Antsaklis Antti Antwerp Aoyagi Apolloni Apostolico Appl Applicata Applicazioni Apr Aps Apsitis Arai Arcueil Argence Argenio Ari Arie Arikawa Arimura Ariola Armando Armidale Armin Arnaud Arne Arora Arqu Arques Arto Artur Arturo Arun Arvind Asano Asarin Ascq Ashdod Ashish Asperti Assoc Astesiano Astrophys Atsushi Atsuyoshi Attila Aubiere Auer Aug Augustin Auletta Ausiello Autebert Autom Automata Automaticity Automorphism Autonoma Avalon Avant Avanzate Aviezri Aviv Axel Axiomatisation Axiomatising Ayumi Azuma B BAB BAP BC BCB BCC BCH BCP BDDs BDE BDN BDS BEM BEQ BFC BHK BHT BIORAM BIP BLC BM BNN BNS BNU BOJ BPP 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 Banach Bandini Bangalore Barbanera Barcucci Barendregt Barendregt's Barendsen Barnaby Barr Bart Bartal Barthelmann Barton Barua Bas Basart Bassino Bastien Bauderon Bauemoppel Bauern Bauernoppel Baumker Bayes Bazzi Beal Beate Beauchamps Beaudry Beauquier Bedon Beebe Beek Beguin Behavioural Beigel Beimel Beklemishev Bel'tyukov Bel'tyukov's Belanger Beling Belkhiter Bellcore Belnap Belnap's Bengt Benke Bennett's Bensaou Benveniste Berarducci Bergeron Berghammer Bergstra Berlekamp Berlekamp's Berline Berman Bernardin Bernardinello Bernardo Bernd Bernhard Bernot Berstel Berthe Bertsel Besancon Beschreibungsverfahren Bettayeb Bezem BibNet BibTeX Bidoit Bielefeld Bierman Bignone Biing Bilardi Billingsley Binghamton Biran Bireflectivity Birgit Birkhoff Bisimilarity Bisimulation Bisimulations Biswa Bittar Bj Bjarne Bjorner Blaise Blanchard Blanck Bloo Blum Blundo Blute Boasson Boaz Bodlaender Boer Bohdan Bohm Boldi Boley Bollig Bommadevara Bonacina Bonatti Bono Bonsangue Booz Borchers Borchert Boreale Borel Boris Bosc Bossut Botelho Botorog Bouajjani Bouchard Bouchitt Bouchitte Boudol Boufkhad Boug Bouge Bouhoula Bourget Bournez Boykan Bozapalidou Br Bracho Bradfield Braga Brandst Brandstadt Branicky Bratislava Brattka Braumer Brauner Braunschweig Breitbart Bremen Bremond Breslauer Breugel Brighton Brigitte Brimkov Brisbane Bro Brogi Bronnimann Bronstein Bruijn Bruin Brujin Bruns Brunswick Bruxelles Bruy Bruyere Brzoska Bucciarelli Buchberger Buchberger's Buchholz Buchi Bucuresti Bueno Buenos Bugliesi Bunder Bundgen Buneman Burago Burckel Burkart Burkhard Burlington Burmeister Burnaby Busi Bussche Buszkowski C CA CAAP CAC CAE CAF CAS CBP CBR CBS 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 CEBa CEBb CEBc CEC CEN CER CERMSEM CES CF CFA CFC CFF CFI CFO CFP CFR CFW CGG CGOOD CGP CGT CHD CHO CHP CI CIC CIL CIM CIRC CIT CIV CL CLA CLB CLC CLD CLP CM CMC CMD CMF CMI CML CMM CMP CMS CNC CNF CNI CNR CNRS CNS CO CODEN COMP COMPUGRAPH COMPULOG CPC CPD CPE CPG CPI CPL CPM CPO CPS CPT CPV CQE CRB CRC CRCW CRE CRF CRG CRIN CRL CRP CRS CRV CS CSB CSC CSD CSE CSF CSG CSI CSL CSM CSP CSR CSS CT CTA CTD CTE CTL CTO CTR CUN CVK CWI CWP CWR Cachan Cachera Cadoli Caen Caenorhabditis Cagman Cai Calmet Calude Camilla Campbell Canfield Cao Caract Carlo Carlos Carlsson Carme Carpi Carrere Carri Carriere Carsten Cartan Cartwright Cassaigne Cassez Cassis Castagna Castellani Castelli Catalonia Catalunya Cattaneo Catuscia Cayley Cech Cedeno Cederbaum Cedex Cegielski Celina Centre Centro Cenzer Ceola Cerioli Cerny Cerone Cezaux Chaboud Chadzelek Chakrabarti Chalmers Chambery Champarnaud Chandrasekharan Changwook Chantal Chaochen Characterizations Chartres Chatalic Chaudhuri Chebotarev Chebyshev Cheng Chervonenkis Chesnay Chi Chia Chiara Chiaravalli Chih Chiola Cho Choffrut Cholesky Chopard Chor Choueka Christel Christer Christiane Christoffel Christoph Christophe Christos Chrysafis Chrystopher Chu Chua Chuan Chuchang Chukyo Chun Chung Chunru Chuzo Chwa Ciancaglini Cicerone Cichon Ciencias Cisi Clayton Cleaveland Clelia Clementi Clerbout Clergerie Clermont Clos Clote Co Cockett Codenotti Codish Coffman Colbourn Colchester Colin Coll Collette Colombet Colorability Colson Colussi Combinatoire Combinatorics Combinatory Comenius Comini Commun Comon Compendex Compositionality Comput Computerverfahren Concordia Confluence Conrado Constru Contejean Contol Conway Cori Corine Corradini Corrado Cortesi Cosimo Cosmo Cosnard Costa Costantini Costas Courant Courcelle Courcoubetis Covariant Coven's Coventry 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 DAQV DAS DATALOG DArgenio DBB DBC DBE DBMS DBR DBS DBT DC DCA DCC DCL DCM DCO DCPO DCR DDA DDB DDD DDR DDT DE DED DEM DER DESIR DET DEXPTIME DFA DFAs DFP DGA DI DIQ DISI DLOGSPACE DLOGTIME DMI DML DNF DOC DOL DPC DPD DPE DPG DPO DPP DRA DRR DS DSA DSI DSL DSM DSN DSP DSPACE DSU 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 Dauphine Davide De DeFelice DeMarrais DeNicola DePrisco DeTurk DecOcc Dechter Deco Degano Degtyarev Deh Dehornoy Del Delahaye Delia 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 Dicky Didier Diekert Dietmar Dietzfelbinger Diks Dima Dimitrios Dimitris Dimopoulos Dingzhu Dini Dipartimento Dipt Dirk Discretes Diskrete Dittrich Div Divesh Divyakant Djelloul Dolev Domenico Dominique Dong Dongyang Donini Doombos Doornbos Doron Dortmund Douadi Dougherty Downarowicz Downey Dragan Drakengren Drangmeister Drappa Dresden Drewes Drmota Droste Droubay Du Duanning Dubhashi Dubois Dufourd Duggan Duksung Dumas Dumitrescu Duntsch Duquenne Durand Dutheillet Duval Dybjer Dyck Dyckhoff E EAM EAS EATCS EBA EBN ECA ECB ECC ECI ECL ECM ECP EDF EDR EDS EEA EEB EEN EET EFA EFDOL EFF EFI EGM EGU EHC EHG EHL EIL EIM EJ ELECTRE ELIAS ELL ELN EML EMP EMPA ENH ENS ENST EP EPC EPCa EPCb EPD EPE EPI EPK EPL EPO EPP EPS ERC ERCW EREW ERM ESD ESE ESI ESL ESM ESR ESS ESSI ETB ETI ETL ETOL ETS EUF EUP EUW EVN EXPSPACE EXPTIME Ea Eades Eb Ebinger Echanges Ecole Econ Edalat Edine Edmonds Edmonton Edoardo Eduard Eelco Efim Egidio Egly Ehrenfeucht Ehrig Eiben Eidgenossische Eiji Eiju Eike Einar Eindhoven Eiter Ekin El ElHamidi Elaborazione Elbl Electr Elena Elettronica Elihai Elisa Eloranta Elsevier Elvira Emiris Emms Emo Eng Engelfriet Engels Enjalbert Enno Enrique Enschede Enshao Eotvos Equational Equipe Erd Erdogmus Erdos Eriksson Erkki Erlebach Erol Ershov Erzs Esbelin Escard Escardo Esik Esko Esparza Esteban Etalle Etessami Eui Eur Evangelos Evelina Evelyne Evripidis Ewa Ewacha Ewan Exactas Expertensyst Extremal F FAC FACS FAF FAI FAO FAP FAS FASE FAX FB FCB FCM FCS FD FDP FDQ FDS FDT FEA FEH FFP FFS FGLM FH FHO FHR FIL FL FLI FLP FLS FMA FMC FML FMR FOL FOS FOT FPC FPL FPM FPO FPR FPS FPT FPTAS FQR FRD FRK FRL FRN FRP FSA FSG FSL FSN FSP FSR FSS FSSP FST FSV FTA FTC 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 Fe Feige Fekete Felder Felipe Felsner Feng Feodor Ferenczi Ferguson Fernanda Fernandez Fernau Ferragina Ferrari Ferreira 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 Fortran Fouks Fouquere Fourneau Fournier Fr Fra Fraenkel Fraigniaud Fraisse Francesca Franceschinis Francesco Franck Francon Fraser Fredholm Fredlund Fredman Frege Freie Freivalds Frequences Freyd Fri Fribourg Friedhelm Friedrich Frigioni Friso Froidevaux Frota Frougny Fu Fujii Fujitsu Fukuoka Fulk Fulkerson Funabashi Furio G GA GAR GASCOM GAU GBC GC GCD GCE GCH GDB GF GFP GFW GGC GGT GHT GID GKP GLA GLL GMC GME GMS GPL GPN GREYC GRF GRH GRR GRS GSL GSS GTA GTC GTF GTS GVT Ga Gabarr Gabarro Gabbay Gabbrielli Gabriele Gabriella Galbav Galbiati Galil Gallier Galmiche 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 Genoa Genome Genova Gentzen Geodesy Geophys Georg Geppino Ger Gerardo Gerd Gernot Gert Gesellschaft Gestion Geuvers Gevaert Ghelli Gheorghe Giaccio Giacobazzi Giakoumakis Giammarresi Gian Gianantonio Giancarlo Gianfranco Gianluigi Gianna Gianpiero Gil Gilberto Gilles Gilman Ginsburg Giora Giorgio Giovanna Girard Girodias Gisela Giulia Giuseppe Glabbeck Glabbeek Gliwice Globerman Gloor Glushkov Glynn Gobel Godel Goldblatt Goldreich Goldstein Goles Golin Gollmann Goos Gopalan Goralcik Gorbunov Gorrieri Goteborg Gottlob Gou 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 Grossman Grothendieck Gruau Grue Grumbach Grundlagenforschung Grundy Gruska Grzegorczyk Grzegorczyk's Grzegorz Gu Guaiana Guangzhou Gub Gubas Gucht Gudula Guericke Guernic Guerrini Guessarian Guibas Guimar Guitart Gumm Guna Guo Guoliang Gupta Gurevich Gurion Gustedt Guthrie's Guyadec Gy Gyenizse Gyssens Gyuris H HAF HAN HB HBO HCC HDOL HED HEF HFC HFDOL HFS HGH HHS HML HOR HOS HRNCE HRU HSU HTL HTO HTS HTWK Haastad Habel Habermehl Habib Hackstadt Haddac Haddad Haddawy Hadjiat Haeseler Hagauer Hagerup Hagino Hagiya Haiko Hainaut Haj Hajos Hakala Hakan Halbwachs Hales Halperin Hamburg Hamidi Han Handley Hanen Hankel Hankin Hanne Hanno Harald Harel Harju Harley Harro Hartenstein Hartmann Hartmut Hartonas Hasegawa Hashimoto Hassan Hasse Hausdorff Hausen Haute Hava Havas Haxthausen Hayashi Hazewinkel Heckel Heckmann Heen Heide Heikki Heimann Heinemann Helios Hemaspaandra Hemmerling Hendrik Heng Henk Hennessy Hennicker Henning Henri Henrik Henriques Henryk Hentenryck Henzinger Herbrand Heribert Herlihy Hermann Hermitian Hermo Herrigel Hertling Herve Herzog Heum Hideki Higgins Higman Higuera Hilken Hin Hindley Hing Hiroaki Hiroakira Hirokawa Hiroki Hiroshi Hirowatari Hirshfeld Hoare Hoare's Hobart Hochschule Hodas Hodkinson Hoene Hoeven Hofmann Hohl Hokkaido Holger Hollingsworth Homann Hon Hongde Honkala Honsell Hoofman Hoogeboom Hoogers Hoogsboom Hooman Hopf Hopfield Hora Horwitz Hosaka Hosam Hotz HotzelEscardo Houle Hratchia Hromkovi Hsiang Hsu Hu Hua Huai Huang Huaxiong Huey Huffman Huggins Hui Huong Hurwitz Hwang Hwei Hwey Hypergraph IA IAE IAF IAKS IAS IASI IBDDs IBP IBR IC ICALP ICB ICDT ICI ICN ICS ICT IDC IDOMENEUS IDS IEEE IFC IFS IFT IGF IIMAS IIR IIV IL ILC ILE ILP ILTa ILTb IMAG IMC INA INF INP INRIA INSPEC INT IPF IPL IPP IPT IQO IRC IRCOM IRISA IRIT IRM IRP IRS ISA ISC ISI ISMRA ISO ISP ISS ISSN IST ISV ITA ITW IUL IUT IWU IZO Ia Iain Ian Ianni Ib Ibaraki Ibarra Ida Idury Igor Iizuka Ikeda Ilan Ilaria Ilie Iliopoulos Imag Imai Immerman Immermann Imrich Ind Inf Infinitary Informatica Informatics Informationssyst Ing Ingenieria Ingenieure Inger Ingo Ingolfsdottir Inoue Inst Institut Insup Int Intensional Intermetrics Internet Intrigila Intuitionism Intuitionistic Inverardi Ioan Ioannis Irani Isabelle Ishiguro Ishihara Ishikawa Ishizaka Ismo Ist Istituto Itkis Ito Itsik Itsuo Ivo Iwama Iwamoto Iyengar J JCS JSS JaJa Jaana Jaap Jaco Jacobo Jacquet Jaffray Jain Jajodia Jakobsen Jamie Jamison Jancar Janeiro Jansen Janssen Janssens Jantke Jaoua Jaromczyk Jategaonkar Javier Jeavons Jena Jenner Jens Jeong Jer Jeron Jerrum Jerzy Jewett Jha Ji Jia Jian Jianer Jiang Jiangxi Jianwen Jiao Jiaotong Jiazhen Jie Jieh Jimenez Jin Jing Jingsen Jinzhong Jo Joaquim Joeris Johan Johansen Johnsson Johnston Joinet Jonoska Jonsson Joost Joris Jos Josep Jouannaud Joyal Jozef Jozsef Juedes Juha Juhani Jul Julien Jun Juraj Justin Jutta Jyrki K KEP KMP KNM KPN KRA KS KTH KY Ka Kaci Kafura Kagan Kahn Kahrs Kai Kaiserslautern Kaivola Kaizhong Kajitani Kaklamanis Kalvis Kamala Kamareddine Kaminski Kanagawa Kanazawa Kaneda Kang Kann Kanovitch Kaplan Kaplan's Kapur Karabi Karczmarczuk Karhum Karhumaki Kari Karim Karls Karlsruhe Karp 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 Kemp Kenichi Kennaway Ker Kesner Khanh Khasidashvili Kiat Kiel Kieronska Kiesswetter Kimber Kimio Kimmo Kinber King's Kirchner Kirkville Kirousis Kirschenhofer Kishinau Kista Kivinen Klaas Klapper Klav Kleene Kleijn Kloeden Kloks Klop Knapik Knapp Knaster Knoop Ko Kobayashi Koblenz Kognitive Kohei Kohlas Kohn Koichi Koiran Koji Kojiro Kok Kolmogorov Kolpakov 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 Krause Kreowski Kri Kripke KrishnaRao Krithivasan Krizanc Kronecker Krumke Kruskal Kruskal's Krzysztof Kshemkalyani Kuan Kuchen Kucherov Kudlek Kuen Kuich Kulkarni Kullmann Kultur Kumar Kummer Kunen 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 LAO LAR LAS LBB LBC LBM LBO LBP LCB LCC LCD LCF LCP LCR LDE 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 LO 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 LTV LU LUT LVD LVR LWS LaBRI LaTeX Labella Labelled Labhalla Lac Lacoste Lacroix Ladner Ladner's Lafaye LafayedeMicheaux Lakhneche Laks Lakshmanan Lalaye Lalita Lam Lamarche Lambek Lamma Lamport Laneve Lange Languedoc Lao Larmore Laroussinie Larra Las Latteux Latticial Latvia Latvian Laumond Laure Laurent Lausanne Laval Lawler Le LeGoueslierdArgence Leavens Lecomte Leen Lefmann Lefteris Lehman Lehr Lehrstuhl Lei Leibniz Leicester Leiden Leino Leipzig Leiss Leitsch Lemmon Lempel Lempil Leng Lenisa Leonardi Leoncini Leonid Leonidas Lescanne Leszek Lett Leung Lev Levcopoulos Levene Levin Levitt Lhouari Li Lian Liang Liapunov Libkin Libre Liege Liem Lifia Lifschitz Liguoro Lila Lille Liminf Limor Limsoon Lin Lindenmayer Lindenmayerian Linearizable Ling Lingas Linkoping Liouvillian Lipponen Lipschitz Lisboa Lishan Lisitsa Litovsky Liu Liudmila Livesey Livio Ljubljana Llenguatges Lo LogP Logics Logik Logique Loizou Lolli Lombardi Loogen Lopresti Lorand Lorentz Los Lothar Lotti Louchard Louscou Louxin Loveland Lowe Lozano Lu LuFG Luby Luby's Luc Luca Luchangco Luciano Lui Luigi Luisa Luiz Lukasiewicz Lulea Luminy Lund Lungo Lusheng Luthi Luttgen Lutz Lynchburg Lyndon Lyngby M M'sila MATHEMATICA MBC MBT MBY MCA MCB MCC MCF MCI MCL MCT MCV MDL MDM MDS MDT MES MFCS MFM MFT MGA MGF MGP MI MIR MIV MIVa MIVb ML MLC MLL MLP MLT MM MMC MMP MMR MN MNC MNM MNT MO MOL MP MPA MPC MPCE MPF MPL MRA MSA MSC MSD MSF MSH MSO MSP MSR MSS MST MT MTAa MTAb MTC MTL MTP MUE MVL Maarten Maass MacKenzie Macarie Maciej Mackie Mackworth Macquarie Maddila Maddux Madhav Madlener Madonia Mads Maffioli Magdeburg Maggiolo Magnus Mahajan Maher Maheshwari Mahmoud Majewski Majid Majster Makanin Makhlouf Mal Malacaria Maler Malesi Malesinska Malgouyres Mali Malika Malinowski Malony Maluszynski Manabe Mancarella Mandelbrot Manibrata Mannheim Mannila Manohar Manolis Mantaci Manuel Manuela Manzini Manzur Mara Maraist Marathe Marburg Marc Marcel Marcello Marchiori Marcin Marcjetto Marco Marcos Marek Margara Margenstem Margenstern Margherita Marian Mariangiola Marianne Maribel Mariko Marios Marisa Marius Marjo Marko Markovian 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 McDowell McGill McMaster Measor Mech Med Meena Megiddo Mehmet Meidanis Meinke Melan Melancon Melchisedech Melliar Mellin Mello Menlo Meo Meseguer Messeguer Meta Metayer Metivier MeyeraufderHeide Mezghiche Mich Micha Michal Micheal Micheaux Michel Michele Michelle Michiel Middeldorp Middendorf Middletown Mignosi Mihail Mihalache Mihoubi Miki Mikkel Miklos Mikov Mila Milano Milena Mili Milis Millist Milner Milner's Miltersen Miltos Min Ming 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 Monash Monge Monique Mons Monserrat Mont Montalbano Montanari Montangero Montbonnot Monte Monteiro Monti Montpellier Montserrat Mooly Moran Morcrette Moreno Morgan's Mori Morita Morokhovets Morristown Morshed Mortsel Morvan Morzenti Mosbah Moschovakis Moser Moshe Moti Motzkin Mouchard Moulin Mu Muchnik Mukherji Mukouchi Mulhouse Mullins Multi Multilayered Multisets Munchen Mundici Munier Munro Munster Muscholl N NAC NADA NBG NC NCA NCAS NCE NCH NCM NCN NCS NDOL NDQ NDU NEA NEC NF NFA NFAs NFC NGC NGR NIC NIO NIS NJ NK NLB NLC NLOGSPACE NLT NMC NMS NMW NNP NNS NOF NOI NOP NP NPA NPG NPT NSC NSI NSR NSS NSW NT NTMs NTS NTT NUR NV NVD NY Nachum Nadathur Nadia 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 Neil Neis Nejib Nerode Nesi Neuendorf Neumann Newtownabbey Neyagawa Ngo Ngoc Nguyen Nickolas Nicola Nicolai Nicolas Nicollin Niedermeier Niederreiter Nielson Niemi Nienhuys Nieuwenhuis Nijholt Nijmegen Nikolai Nikolaj Nilsson Nim Nimrod Nimwegen Ning Nipkow Nir Nishida Nishimura Nivat Niwi Niwinski Niwinskie Noa Nobuko Nobuyuki Nolte Noltemeier Nondeterminism Nondeterministic Nonholonomic Nonreturning Nonsymmetric Norbert Nord Noriko Normale Notre Nour Nourani Nourine Nov Novak Novosibirsk O O'Hearn OA OAG OBA OBDDs OBS OCA OCD OCL OCLC OCS ODEs ODS OHA OHearn OIY OL OMB OMC OPA OPC OPE OPV ORA ORDAL ORG OSA OSF OSI OSL OSM OSN OSR OST OTS OWR Oberman Och Oct Oded 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 PFI PFO PFP PFS PFT PG PGE PGH PGR PGT PH PHL PHP PHR PIA PID PII PIO PLC PLE PLG PLL PLP PMS PMT PNB PNC PNG PNL PNM PNT POA POLYLOGTIME PP PPC PPE PPI PPK PPM PPN PPP PPT PR 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 PUC PVD PVU PW PWD PWDOL PWT PX PYM Pacholski Pade Paderborn Padova Pagli Paige Painlev Painleve Pais Pak Palamidessi Palash Paliath Palo Palopoli Palsberg Panaivoson Panasonic Panconesi Pandu Pandya Panitz Panos Pantziou Paola Paolo Papadimitnou Papadimitriou Pappinghaus Paradyn Parallelisme Parameterized Parametrization Parente Parigot Parigot's Parikh Parisi Paritosh Parkville Parlati Paschos Pasquale Passau Paterson Patnaik Patras Patrik Patt Paulien Paun Pavage Pavel Pavia Pavlotskaya Pe Pe'er Pedicini Peitgen Pekka Peladeau Pelc Pelecq Peled Peleg Pelibossian Pelletier Penaud Penczek Penelope Peng Penna Pereira Pereslavl Pergola Periodicities Perm Permutability Perrier Perrin Persiano Perugia Petersson Petkov Petr Petri Pettorossi Pevzner Pfaffian Pfl Pflugel Ph Philipp Philippa Philippe Philippou Philipps Philos Philosophie Phys Picardie Picinin Picouleau Pierluigi Piero Pierpaolo Pierro Piet Pietro Pigozzi Pinchinat Pinna Pino Pinotti Pinzani Piotr Piperno Pirillo Pisa Pisot Pitsch Pitts Pivert Plandowski Plasmeijer Plaxton Pnueli Podehl Podelski Poign Poissonization Poitiers Pokrovskii Polakow Politecnica Polya Polyomino Polyominoes Polytech Pomerance Pompeu Ponse Portier Porto Prade Praktische Prasad Prefectural Presburger Presicce Priami Priese Prisco Priti Prodinger Programmation Proietti Prolog Propos Propri Proskurowski Protasi Provence Pu Pucci Pudl Pugliese Pura Pushdown Q QAC QAF QAI QDD QDS QEP QLT QOW QPA QPU QRQ QRQW QSC QSE QTC Qian Qiang Qifan Qijia Qld Qu Quaglia Quaranta Quasiperiodicity Que Queensland Quemener Quentin Queueing Quitt Quoc R RAD RAF RAJ RAS RBA RBC RBD RBI RBP RBR RCC RCCS RCF RCL RCP RCS RDP REB REL RER RES RFB RFD RGC RGD RGP RGR RGT RHS RI RLC RLI RLS RM RMB RMG RML RMO RMT RNA RNC RNO RNP ROH RP RPB RPD RPL RPO RPT RRE RRG RRL RRP RRR RRT RRV RSA RSI RSL RSO RSR RSS RTC RTFIL RTN RTO RTQ RTR RUP RUTCOR RVD RWC RWCA RWD Rabin Rabin's Rabinovich Rachid Radhakrishnan Radola Rainer Rajaraman Rajeev Rajit Rajmohan Rajsbaum Rakesh Ralf Ramachandran Ramakrishna Ramakrishnan Ramalho Ramalingam Raman 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 Reachability Recents Recherches Rechnen Reddy Redei Redei's Rees Regan Reggio Regnier Rehovot Reinert Reingold Reinhard Remmel Ren Renji Rennes Renren Renvall Renzo Representability Res Rescigno Resta Restivo Retore Reutenauer Reuter Revol Ribeiro Ricardo Riccardo Rice's Rida Riemannian Riga Riis Rijke Rijks Rimli Rina Risler Rita Robson Roccetti Rocco Roch Rochelle Roel Rogozhin Roka Rolf Rolim Roma Romania Romanian Romanik Roope Roos Ros Rosa Rosaz Roscoe Rosenkrantz Rossell Rossello Rosser Rossi Rossmanith Rossner Rostock Rote Roth Rothe Rotterdam Rouen Rougemont Roux Rovan Royer Rozenberg Ruanaidh Rubio Rudolf Ruet Ruprecht Rus Rusinowitch Rustan Rutger Rutten Ryde Ryl Rystsov Rytter Ryu Ryuhei S SA SAA SAGBI SB SBB SBC SBD SBTA SCA SCB SCC SCCS SCD SCE SCH SCI SCL SCN SCONE SCP SCS SCT SCV SCW SDA SDP SDR SDS SDT SDU SEG SEGRAGRA SEL SEMAGRAPH SER SESAM SFC SFD SFF SHC SI SICS SIMD SIO SIV SL SLA SLD SLDNF SLI SLM SMC SMG SMI SMS SMT SMW SNC SNI SNP SNR SNW SOFTEC SOH SP SPA SPD SPE SPG SPI SPIC SPL SPN SPO SPR SPT SPU SProc SQL SRA SRC SRG SRI SRL SRN SRO SRP SRR SRS SRU SRV SS SSC SSD SSE SSL SSM SSN SSS STA STACS STC STE STG STL STP STR STS STT SUD SUR SUT SUU SWB SWE SWL SWS Sa Saad Saarbrucken Saarlandes Sabatier Sabidussi Sabrina Sacc Sachio Saec Safat Safra Sagiv Sagot Saheb Saitama Sakai Sakakibara Sakarovitch Sakurai Salah Salemi Salibra Salomaa Salzburg Salzer Sambin San Sandeep Sandi Sandro Sangiorgi Sangyo Sanjay Sanjeev Sannella Santini Santis Sapporo Sarkar Sarker Sarrafzadeh Sassone Sathiya Satisfiability Sato Satoru Satoshi Satta Sattler Sauerhoff Savick Savicky Sazonov Scedrov Sch Schachinger Schaerf Schaffter Schau Schauss Scheen Scheideler Schek Schellinx Schettini Schickard Schied Schmerl Schmid Schmitt Schnitger Schnoebelen Schoning Schoning's Schott Schr Schroder Schuler Schupp Schurr Schurz Schutzenberger Schutzenberger's Schwartzbach Schwarze Schwarzkopf Schweizer Schwichtenberg Schwiegelshohn Schwind Sci Scollo Scott's Sebastiaan Sebastiano Sedgewick Seebold Seese Seetharaman Segala Seidel Seiden Seiferas Seifert Seleznjev Selivanov Sellink Selman Selmi Semagraph Semenov Semirings Sen Sendai Senellart Seng Sengupta Senizergues Sep Serafino Sergio Serna Serra Sethi Setsuo Sghaier Shafer Shallit Shamim Shamir Shan Shand Shang Shankar Shannon Sharir Sharma Shatin Shavit Shay Shellsort Shen Sheng Sheva Shi Shietung Shigemi Shih Shihua Shilov Shimizu Shimon Shimozono Shinichi Shinohara Shinshu Shiva Shizuoka Shlomi Shlomo Shmuel Shoudai Shparlinski Shrivastava Shub Shuichi Shvartsman Shyam Shyamasundar Sieber Siegelmann Sieling Siemens Siena Sierpinski Sifakis Sigstam Sikkel Sikorski Silesia Silva Silvestri Silvio Simone Simplot Sinica Sipper Sirvent Sistemas Sistemes Sistemi Sistemistica Siva Sivakumar Skordev Slissenko Slovak Slovakia Slovenia Slutzki Smale Smetsers Smolka Smyth Smythe Sobolev Soc Sociales Sofic Soldano Solomampionona Solovay's Soma Sopena Soria Sorina Soumen Spacemela Spehner Spinrad Spirakis Spooner Spor Sprague Spreen Sprugnoli Sridhar Srikrishna Srinivas Srivastava Staiger Stancampiano Stanislav Stat Stefan Stefania Stefano Steffen Steinby Stemann Stemple Stephan Stinson Stockmeyer Stoltenberg Storrs Strahler Strasbourg Straubing Streicher Stuber Stuckey Studi Sturmian Sturt Su Suad SubPTIME Subgraph Subgraphs Subrahmanian Suciu Sud Sudarshan Sudborough Sui Sulekha Sundaram Sunderhauf Superieure Superlinear Superstring Sur Sureson Suros Sushant Sushil Susumu Svante Sven Swansea Switchbox Sylvain Symvonis Synchronisation Syst Systs Sz Szeged Szpankowski T TAC TAM TAPSOFT TAT TBE TBM TBR TCC TCF TCL TCM TCO TCP TCR TCSCDI TDC TDP TDS TDT TEF TEP TET TFC TFP TFS TGP THEOR THT TIR TL TLA TLB TLR TLT TMA TME TMF TML TMS TMT TN TNL TPA TPC TPD TPG TPM TPR TPT TQ TRN TRSs TRV TS TSC TSD TSE TSM TTL TTN TVC TWC TWDM TX 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 Tanaka Tandy Tannen Taoufik Tarannikov Tarjan Tarlecki Tarski Tarski's Tas Tata Tatsuie Tatsuya Taubenberger Tchier TeX Technion Technische Technol Tecnologie Teillaud Tel Telecom Telecommun Teledetection Teleinf Telemark Tellier Tempero Tendeau Teng Tennent Teodor Tero Teruel Terwijn Tetsuo Teuhola Teusink Th Thalheim Theo Theor Theoret 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 Tor Toran Torben Torenvliet Torino Torrens Torres Tortora TortoradeFalco Toshihiro Toueg Tougne Touitou Toulouse Toyama Tran Treinen Trevisan Troelstra Trombetta Tromp Tronci Tropper Truszczy Trystram Tsan Tsang Tsay Tseitin Tseytin Tsuen Tsujii Tsukiji Tsukuba Tubingen Tue Tuijn Tulley Turakainen Turakainen's Turchin Turchin's Turini Turku Tuttle Twente Tyne Tyszkiewicz Tze U UAS UAT UBP UCC UCF UCL UCN UCO UCT UDF UDS UEP UET UFC UFM UGG UHF UIR UIS UK UKO UL UMA UMD UMI UNR UOA UPD UPF URG URL URT USF USR UST UT UTL UTM UUM UVL Ube Uchang Uday Udine Uehara Uemura Ueno Ugo Ukkonen Ukraine Ulam Ulam's Ulf Ullman Ulmer Ulrike Umberto UnCover Unary Unbordered Undecidability Univ Univariate Uppsala Urbana Uri Uriel Urquhart Urrutia Uspensky Utard Utrecht Uwe Uzi V V'yugin VA VC VCCS VCI VDD VERIMAG VFR VHR VHS VIC VLA VLSI VMP VRS VSA VSZ VT Vaasa Vaccaro Vadim Vakgroep Val Valbonne Valencia Valentin Valentini Valeria Valiant's Valiente Vall Vallcee Vallee Valmari Valparaiso Valtteri 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 Vervoer Vianu Vianu's Viari Vic Vidal Vide Vielhaber Viennot Viet 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 WA WAC WB WC WCA WCH WDI WFI WI WIC WNS WQO WSE WSN WTC WTO WWW Wachs Waczul Wada Wadler Wadsworth Wah Wai Walukiewicz Wamel Wareham Warnow Watanabe Wegener Wegner Wei Weibel Weichang Weiermann Weifa Weihl Weihrauch Weili Weizmann Welf Welzi Welzl Wen Wenceslas Wenhui Werchner Westfechtel Westfield Whitesides Wiber Widmayer Wien Wieslaw Wilf Wilfrid Wilfried Wilke Willi Wimmel Winfried Winkler Winsborough Winskel Wirsing Wirth Wirtschaft Wissenschaftliches Wojciech Wojciechowski Wollongong Wolper Wolter Women's Wong Worsch Woude Woz Wozniakowski Wroclaw Wu 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 Ye 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 Zaks Zalessky Zantema Zaragoza Zaroliagis Zavattaro Zbigniew Zealand 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 Zohar Zolt Zsuzsanna Zucca Zucker Zvi Zwick abbrev abducibles abductive abelian ack acknowledgement acm aconjunctive adic adjunction adjunctions affine affines aga al algebraicity algorithme analyses anamorphism anamorphisms antichains approximability approximable apr ar arithm arithmetics arity ary assertional associ associatives asteroidal asymptotics asynchrony atoire atomicity auf aug autoepistemic automata automaticity automatiques automorphism axiomatics axiomatisation axiomatizable axiomatization axiomatizations az ba balistique bastien beebe behaviour behavioural behaviours bel bi bibdate bibmods bibnames bibnet bibsort bibsource biconnected bidimensional bidimensionnelle bifix biimmune bijective bilattice bilattices billard biocomputing bioremediation bipartitioning bisimilar bisimilarities bisimilarity bisimulation bisimulations bler boolean boundedness bres byvolume c calcul calculational cardinalities cartesian cas catamorphism catamorphisms categorial ccc cgi chan checksum chessboard chet chlin chordless chromosome chrono cielski cile ciproques circumscription clav co coNP coalgebra coalgebraic cocomparability codetable codicity codings coexponents cographs cohomology colimits collage colour colourable coloured colouring com combinational combinations combinatoires combinator combinatoric combinatorics combinators combinatory complementation completable complets complexit compositionality concatenable conflocation confluence conformisms conftitle congruences connex constructivism contractivity contractum coprimes coprocessors corecurrent corpsource coset costed covariant 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 dI da dag dans dataflow datatypes dcpos de de'Liguoro deBerg deBoer deBruin deFigueiredo deGraaf deGroote deLuca deVink dec decipherability decisional deco decomposability definability degli del delaClergerie delaHiguera delai dell'Inf dependences depoissonization der derandomization des descriptional deterministe determinizable determinization di diagonalization diger digraph digraphs dinaturals diophantine discontinuum discretization discretizations discretized disentailment disjointness disunification divisibility docstring domaine dominoes dominos dra dt du duction durational e eNCE eco ed edu ek elegans elsevier email embeddability embeddable embeddings en enc encasement endofunctions endofunctor endofunctors endomorphism endomorphisms endoscopy enforcable engendr entailments equational equicontinuous er ern es estoc ethological existentials expressivity extremal f facteurs factorisable factorisation feb fer ffer ffgen fibquart filename finies finitariness finitary fixpoint fixpoints fjournal flatwords fonctions fong formalisation formel formulae fparith fractal fractals ftp functionals functor functors g gej generalisation generalised genericity genome glueing goire graphique groupoids guin gv h halfspaces hamiltonicity heapsort hei hereditarily hm holonomic homomorphic homotopy html http hv hybridization hyperarc hyperedge hyperelliptic hypergraph hypergraphs hypermedia hyperplanes hyperuniverse hyperuniverses i iakowski idempotence identifiability ieniec imbedding implicants implicational impredicative independants indicatrices indices indistinguishability inductionless inequation inequational inequations inferrible infinis infinitary initiality insubstantiality integrability intensional interprocedural interprocess interunit intervalles intuitionistic invertibility ique irreducibility isosceles ispell issn iter iu j jan jp jul jun k ka ke kely ki kilter kinded kinen kinks kow krantz ku l l'Aquila l'Image l'Inf l'algorithme labelled ladeau langages le learnability learnable learner's lecq lemy les lfsd lgyi li lia libossian lightwave liminf linearizability liveness ller logics logspace lookahead lookup loppements ltermann ltx lvarez m makespan malignness mann matchings matrice maxima mbH mcs medial mek memoryless mes meta metastability metatheorem metatheory mi min minimales minimality minimisation modelling mond monoid monoidal monoids monomials monomorphisms morphic morphism morphismes morphisms mot mots mu multi multibody multihead multilist multimodal multiparty multiplicatives multirate multisearch multiset multitype multivalued multiview mvPX n navigational nchez ncountable nd nderhauf ndez ndgen ndor neatening neighbourhood ner nez ng nger ngsm ngsm's nhfb niching nig nilpotent ning nio nis nislav nizergues nl noetherian nombre nonambiguity nonassociativity nonblocking noncentralized noncocommutative noncollapsing noncommutative noncommuting noncopying nondegenerated nondeterminism nondeterministic nondistance nondistinct nonholonomic nonholonomy nonhomeomorphic noninclusion noninteractive noninterleaving nonisomorphism nonlogical nonmodular nonmonotonic nonmonotonicity nonoperational nonordered nonorthogonal nonoverlapping nonprimitive nonreachability nonrecognition nonrecursive nonredundant nonregular nonreturning nonsequential nonserializable nonsingular nonstochastic nonsubsequences nonsupersequences nonsuperstring nonsymbolic nonsymmetric nonterminals nonterminating nontermination nontransitivity normalisation normalising nov nter ntsch num numberings nyi o observability observables oct ois oise online opfibrations optima optimisation orderable ordinals org organisation orientable outerplanar outfix overfull overgeneralization overlining oz p paperfolding parabolas parallelisation parallelising parallelization parameterized parametrization parateurs partitionable pathwidth pavages pavants pdf pendance pentads perceptrons permutability permutative pez phane pipelining po pointfree poly polyhedra polyhedric polylogarithm polylogarithmic polymorphism polynomially polynomiaux polynominally polyomino polyominoes polytime pomset poset posets powerdomains powerset powersets ppel ppinghaus pre predeterministic premixed premonoidal preorder preordered preorders preprocessing preservance presortedness prespecification primitivity prioritized probl proofnets pseudoidentities pubcountry puissances pullback pushdown pushout pushouts q quadtrees quantale quantales quasilinear quasiperiodicity queueing quivalence quorums r radiosity randomised rard rationnelles rationnels raud rd reachability realizability rearrangeably recognizability redex redexes reducibilities refutability relabelling relativized representability resequencing residuosity reusability rewriter rewriter's rewritings rg rgen rgio rgy ric rie rien riodes rique risation rka rn rner roadmap ronique roundoff ru runtime ry rzy s sa sans satisfiability schedulings schemas schematization schematizations schematized sciencedirect sconing semidecision semigroup semigroups semilattice semilinear seminaive semiregular semirings semisimple sep sepackage sequent sequentiality serializability serializable shellsort sheng shi sho showtags si sieniec sik sila ska skel sofic sok solvability sortings specializations speciation sponsororg ss ssner st stabilisation stabilising stad standardisation statecharts stationarity sturmienne sturmiennes stuttering subalgebra subalgebras subcalculi subcubes subexponential subexpressions subformula subframe subgrammars subgraph subgraphs sublanguage sublanguages sublinear sublocation sublogarithmic submodular submonoid suborders subquadratic subsequential subshift subsort substring subsumption subterm subtrees subtyping subwords supercompiler superlinear superpolynomial superpositions supersequence supersequences superset superstrings superword supremum surjective synchronisation synchronizers synd syst systolic szl szyn t tabu taxonomical tayer tcs tel tensorial ter tex tgt th tha thomas ti ticite tilings timestamp timestamps tique tis tjen topologie topos tradeoff tradeoffs transductions transfinite travelling treewidth triconnected trois trous tsky ttir tude tuple tuples twocolumn typability typeable typechecking tyukov tzel tzenberger tzer u ultimement ultrametric un unary uncrossing und undecidability undefinedness underdiagonal une unicit uniforme uniformities uniformizing unimodal uniprocessor unital univariate universelles unnested unsrt unstratified untimed untyped uo usepackage utah v vacillatory vanBakel vanBreugel vanDalen vanGlabbeek vanNimwegen vanOostrom vanWamel vandePol vanderHoeven vant vertices visualisation von vs w watermarking wc weighings wellorderings wia wp www xx xxauthor xxnote xxtitle y ya yugin z zanc zar zeilles zeugmann