AAI AAM AAW ACA ACP ACS ADC ADP ADT ADW AEP AFA AFU AGF AGS AICA AIS AIT AK ALNA AMF AMR ANA AOT APC AQA ASA ASC ASD ASE ASI ASL ASM ASPMHFAs AST ATA ATF ATM ATMs Aalbersberg Aalborg Aarhus Abadi Abdali Abdallah Abiteboul Ablyv Abo Abramsky Acad Ackermann Ackermann's Adamek Adic Adjunction Adv Afek Affine Aigman Aignan Aiken Ait Akad Akademi Akker Akyildiz Alain Aldo Alexi Alfateh Allender Allouche Almaden Alon Alsace Alt Alta Ambos Amiens Amir Analisi Andrzej Angewandte Anglia Angluin Antipolis Antoni Antonio Aplicadas Appl Applicazioni Appliqu Armbruster Arques Artalejo Arturo Arvind Asano Assaf Assoc Attiya Atzeni Auf Augsburg Augustin Ausiello Autom Automation Autonoma Averbuch Avi Avignon Avron Axiomatisation B BCK BCN BCNE BCNF BDL BEC BHO BLL BMR BMT BPC BPP BQM BSD Baader Bachmair Badouel Baeten Bai Bajaj Bakker Balcazar Bangalore Banyan Barbin Bartha Basel Basser Battista Bavel Beal Beauquier Beeri Beeson Beijing Belaga Benoit Berard Berarducci Berge Berghammer Bergstra Bermond Bernot Bertolazzi Beynon Bi BibNet BibTeX Bidoit Biophys Biprefix Birget Birmingham Biswas Bjorn Blanchard Bleuzen Blum Blumer Bohm Bolyai Bonic Boonyavatana Borodin Bosco Boudol Bouge Boundedness Bracho Brandstadt Bratislava Brazma Breazu Bremen Brent Brighton Brigitte Broek Brouwerian Broy Brunswick Bruxelles Bruyere Brzozowski Bublitz Bucher Buchi Bucuresti Buening Bulg Bunder Buning Burkhard Busse Buttner C CA CAC CAS CBA CBN CBT CCA CCC CCF CCG CCH CCL CCM CCP CCR CCS CDE CDF CDP CE CEDIAG CEI CFC CFF CFG CFI CFK CFL CFM CFR CFSMs CFT CGA CGC CGF CGL CGS CHT CIT CK CKF CL CLR CMA CMC CMM CNET CNF CNR CNRS CNUCE CODEN COH COL COMP CPB CPC CPDL CPG CPH CPM CPP CPR CPS CPT CRC CRF CRM CRP CS CSA CSC CSF CSG CSH CSI CSP CSS CST CSU CSX CT CTC CTG CTL CTP CTR CTS CTU CUA CWP Caen Calabria Calcolo Cameroon Carlo Carpi Castellani Catalunya Cayley Cazanescu Centre Centro Cerro Cesari Ch Chan Changwook Characterizations Chenadec Chesnay Chlebus Choffrut Chofu Christoph Christophe Christos Chrobak Chua Chun Ciancaglini Clarkson Clayton Clelia Clote Co Cockett Codd Cole Colin Coll Combinatory Comenius Commun Comp Compagnie Compendex Complutense Comput Confluence Cong Conjuctive Coquand Cor Cori Corrado Corvallis Cosnard Courant Courcelle Cracow Crin Crochemore Culik Cybern Cybernet Czechoslovak D DAL DAS DATALOG DBA DBMS DCF DDL DDT DEP DFA DFD DFM DFP DGB DHH DI DL DLA DLC DLD DLOG DMO DNR DOP DPA DPDAs DPP DPT DRE DSA DSP DT DTE DTO DUA Dahlhaus Dana Daniele Danko Darondeau Dataflow Datenverarbeitung DeFelice DeLuca Debrecen Defence Definability Deh Dehn Dehn's Dekking Deleage Delft Demel Demlova Denis Deque Der Dershowitz Dev Devillers Dezani Dhahran Di DiBattista Diagonalizations Diaz Diekert Dietzfelbinger Dieu Digraphs Dijon Diks Dinh Dipartimento Dirk Diskrete Div Domaine Domenico Domosi Dortmund Doshi Doshita Dowling Drabent Droste Du Duba Duboc Duchamp Dumont Dunne Duprat Duske Duval Dyck Dymond Dynamique E EAD EAS EAV EBC EBT ECA ECC ECP ECT EDS EFM EFV EGT EKC ELC EMP EMS ENS ENSMP EOL EP EPC EPR EPT EREW ERT ESA ESD ESE ESM ESO ESP ESS ETP ETR ETS EVP EXPTIM EXPTIME Ecole Ecuaciones Edelsbrunner Edmonton Egham Egli Ehrenfeucht Ehrenfeucht's Ehrig Eilam Ein Eindhoven Electr Elias Elio Elod Embeddings Eng Engelfriet Engl Enjalbert Enschede Entropie Equational Equipe Erlangen Ermo Escrig Esik Esko Essen Etat Etsuji Etsuro Etude Etzion Euclidian Eur Exactes Exp F FAA FAC FAL FAU FAX FBS FCM FCP FDM FDP FEC FGF FGS FL FMD FNA FORMEL FPF FPL FPP FRD FSH FSJ FTI FTR FTS Fac Fachbereich Fachini Faculte Fages Fagin Fairbanks Fak Fakultat Falaschi Farinas FarinasDelCerro Farinone Farr Fauconnier Felleisen Fenton Fernuniv Ferreira Fich Filippo Finkel Finl Firenze Fixpoint Flajolet Flammini Fle Fleischhack Floyd's Fogelman Forys Fourneau Fr Fractal Francon Fredholm Frege Freiburg Fri Fribourg Friedhelm Friedrich Fris Frobenius Frougny Frutos FrutosEscrig Fujitsu Funcionales G GA GAA GAM GCA GCM GCV GDM GDS GEI GFI GFR GIF GLE GMT GNF GOH GOP GPA GPP GPR GR GRE GRO GSC GTE GTH Gabarro Gafni Gaifman Galil Gallier Gambosi Gardarin Gargov Garzon Gasarch Gathen Gecseg Geffert Gehrig Gelenbe Gen Gentzen Georgio Ger Gesamthochschule Gesellschaft Giancarlo Ginsburg Ginzburg Giorgio Giovannetti Girard Girard's Gire Gischer Giuseppe Gluskov GmbH Gohon Goldschlager Goles Gonczarowski Gonthier Gonzalez Gr Gradel Graz Greco Greibach Gries Griesser Groningen Gruemberg Grumberg Grundlagen Gruska Grzymala Gucht Guenter Guernalec Guessarian Guibas Guichet Gunma Guo Gurani Gutbrod Gw Gyorgy H HCR HDS HDT HLN HOM HPD HPH HPT HRO HSD HUN HVA Habel Hachinohe Hagiya Hajek Haken Hallnas Hamamatsu Hamburg Hankin Hannover Harel Hartmanis Hashiguchi Hasse Haussler Haute Hayashi Heering Heide Heintz Helfrich Hellekalek Hemachandra Hennessy Herbrand Hesselink Hessenberg Hideki Hidenosuke Higman Higman's Hilbertian Hindley Hiratsuka Hirofumi Hirokawa Hirose Hiroyuki Hitotsubashi Hoa Hoare Hoare's Hoche Hodel Hofer Hofu Hol Holenderski Holloway Honkala Hoogeboom Hortala Hotz Hromkovic Hsiang Hsu Huang Huber Huckenbeck Huet Huwig Huynh IA IAF IAM IASI IAT IBP ICA ICL ICU IEI IFN IFR IFS IFT IHC IIC IJC IKo IL ILB ILC IMAG IMD IND INPG INRIA INSCC INSPEC IPD IR IRISA IRT IRU ISA ISC ISF ISM ISO ISQ ISSN ITA ITN IWL IWO Ianov Ianov's Ibarra Igarashi Iliopoulos Immerman Imori Ind Inf Informat Informatica Informatik Informatique Inoue Inst Instrum Int Interdisciplinare Internet Intuitionistic Investigaciones Isr Issy Istituto Italiano Ito Itsuo Ivana Iwata Iyengar J JWB Jacopini Jaffar Jagiellonian Janicki Jantzen Jena Jensen Jepsen Jerrum Jerzy Jiang Jieh Jojczyk Jolla Joost Jorg Jorma Josephs Jouannaud Jozsef Jpn Jukna Jul Jun Juraj Juris K KBT KCC KS KY Kaci Kai Kaiserslautern Kalorkoti Kaminski Kanagawa Kanaoka Kannan Kaplan Kaposi Kapur Karchmer Karhumaki Kari Karloff Karlsruhe Karp Karpinski Kasai Kasami Kashyap Katsushi Kazan Kazushi Kennaway Ker Kerisit Kinber Kirchner Kirousis Kirschenhofer Kiryu Kista Klawe Kleene Kleene's Kleijn Kleine KleineBuening KleineBuning Klemme Klop Klop's Ko Kobayashi Kobuchi Kohlbecker Kokushikan Kolmogorov Komensky Konieczny Konig Konstanz Koomen Koomen's Korach Korkine Kosice Kossuth Kott Koubek Koutny Kraaikamp Kratsch Kraus Kreitz Kreowski Kretschmer Kri Kripke Krishnamoorthy Krohn Kruskal Kshitij Kuich Kung Kuratowski Kurtz Kuzak L LAM LAN LBA LBC LBP LBS LC LCB LCF LCO LCS LDF LG LGL LHT LIR LITP LL LPS LR LRG LRI LRR LSF LTR LTS LaTeX Lafont Lajos Lakshmanan Lando Langages Lanzhou Larcher Lassez Latteux Latvian Lauer Laurent Laville Le LeChenadec LeRest Lech Leconte Lehmann Lehmkuhl Lehrstuhl Leibniz Leiden Leih Leiserson Leiss Leivant Lengauer Lerat Les Lett Lettmann Levcopoulos Liardet Libre Lickteig Lidingo Lieberherr Lille Linceo Lindenmayer Lindsay Lingas Linial Linkoping Linz Lipschitz Lipski Liskiewicz Litovsky Liu Livesey Lof Lof's Logico Logique Longo Loria Loro Lorys Los Louchard Loui Louveciennes Luca Luis Lukasiewicz Luminy Luo Lyapunov Lycee Lyndon Lyngby M MAF MCB MCN MCQ MCS MDF MDT MEIJE MEP MFCS MI MIMD MLC MLP MMS MPA MPS MRC MRP MSI MSN MSP MST MUC MVD Madhavan Madlener Mahaney Maher Mahler Maindreville Makoto Makowsky Mal Maluszynski Manber Mannila Mansour Maon Marberg Marc Marchetti Marco Marcoussis Marek Margaria Marongiu Marseille Martelli Martino Masami Mascari Matematica Matematicas Matematiche Mathe Matsuno Maurizio Mauro Mayr Mazoyer Mazurkiewicz McDiarmid McNulty Mcgill Mech Megiddo Meinel Memmi Mendes MendesFrance Mentrasti Merritt Metatheory Methodische Metivier MeyerAufDerHeide Mezei Mezghiche Meznik Mi Microelectron Mie Mignosi Milano Milner Milner's Min Ming Minker Minkowksi's Minkowski Minkowski's Mishra Modelisation Mohrherr Moiso Mon Monash Monien Monoids Mons Mont Montanari Moran Mori Moriya Morphisms Moscarini Mosse Motohashi Moulineaux Mt Muenchen Mulhouse Multicounter Multihead Multilinear Multiset Multivalued Munchen Mundici N NADA NAO NBN NC NCT NE NED NFA NFG NFP NH NJ NLC NLOGSPACE NMM NN NOP NP NPC NPE NRS NSM NSP NSPACE NST NSW NTB NTISP NTM NVS NY Nacional Nafplion Nageswara Nait NaitAbdallah Nam Nanterre Naor Napoli Narendran Natl Nechiporuk Neciporuk Neciporuk's Neth Nigmatullin Nimrod Nishida Nishio Noelle Noetherian Noga Nonapplicable Noncommutation Noncommutative Nonerasing Nord Nordic Normandie O OAA OCLC OCP OET OFG OFL OLB OOF OPP ORT OSA OSL OTS Och Ochmanski Ogden's Ohlebusch Okamoto Okawa Olderog Online Ont Optimisation Orejas Orlowska Orponen Orsay Ottmann Outerplanar Ouzou Owicki Oyamaguchi P PARC PBN PCB PCD PCE PCF PCM PCO PCP PCR PCS PDA PDL PDM PEB PEC PED PEO PFE PHCF PHL PIPID PIS PLP PLR PMC PML PMM PNI PNP POH PPS PRAMs PRE PRK PRL PROLOG PSC PSG PSM PSPACE PT PTC PTIME PTP PTR PTS PTV PVA Paderborn Paige Palamidessi Palis Palo Paolo Papadimitriou Paraconsistent Parametrization Parberry Parchmann Pardubska Parigot Parkville Parrow Passau Passy Pasztor Paun Pecuchet Pelc Peled Peleg Pelin Pelz Penczek Perrin Perron Pettorossi Petuaud Peyton Phan Philips Philos Phys Picardie Picone Piet Pino PinoPerez Piotrow Piperno Pippenger Pisa Pitsburgh Plaisted Plotkin Poitiers Politecnica Polymorphism Polytech Pomsets Poorten Posets Poulsen Powerset Prasad Preorders Presburger Prex Priese Probabilit Prodinger Programmation Prolog Proskurowski Protasi Provence Pu Pune Q QIG QR QSA Qld QoSaQ Que Queensland Queueing R RAD RAL RAS RBA RCH RCS RDD RER RFD RFF RFL RGC RHD RIC RISC RLB RLF RLP RM RNC RNM RPC RPG RPL RPO RPR RQP RRC RRE RRF RSC RSD RSF RSI RSS RT RTA RTH RTL RTR RW RWG RWS Rabin Rabin's Raffaele Ragde Ramanan Ramanujam Ramon Rao Raoult Rasiowa Rauzy Ravikumar Realtime Redziejowski Rees Rehovot Rehrmann Reims Reisig Reiterman Relativizing Rende Rennes Rensselaer Res Reseaux Resiliency Restivo Reutenauer Riga Rindone Ritzmann Rocca Rocquencourt RodriguezArtalejo Roma Romania Ronchi RonchiDellaRocca Ronse Roos Ros Roscoe Rosenkrantz Rosser Rote Roucairol Rouen Rowen Rozenberg Ruohonen Rupert Rytter S SAI SAR SAS SBE SBR SCB SCCS SCE SCI SCP SCR SCS SDD SDF SDL SDP SEARCHPATH SEC SEF SEP SEU SFB SFV SGC SIB SIG SIL SKE SLD SLDNF SLF SMN SMS SMT SNC SNF SNP SNR SOC SOT SP SPA SPC SPD SPL SPMHFAs SPN SPP SPT SQA SR SRB SRF SRR SRT SRW SSC SSE SSI SSL SSP SSR STS SUA SUBST SUC SVD SVE Saarbrucken Saarbruecken Saarlandes Sabatier Sacca Sackler Sado Safarik Sain Saito Sakarovitch Salomaa Salzburg San Santoro Saoudi Sapienza Sardinas Sarit Sassano Satish Sato Satz Saxe Scarpellini Sch Schauss Schematization Scheuing Schieber Schnorr Schoning Schreier Schupp Schurfeld Schutzenberger Schwichtenberg Sci Scienze Scotl Scottedward Seger Seidl Seiferas Seino Seite Sekimoto Sektion Semic Semicommutations Semicomputable Semigroup Semigroups Sep Serializability Sethi Shallit Shamir Sheng Shepherdson Shizuoka Shmuel Simon's Simona Simone Sinica Siromoney Sistemas Sistemi Sistemistica Sistla Skarbek Skolem Slovak Slutzki Smyth Snir Sofic Sokolowski Solitro Solovay's Sopena Soria Soulie Spaccamela Spanga Spanier Spehner Spirakis Spor Squier Srivas Staiger Stanley's Statman Stefanekova Stefanescu Stefano Stickel Stockmeyer Stolfi Stoss Stott Stoughton Strasbourg Straubing Stuckey Studi Sturmian Sturt Submonoids Subrahmanian Subsumption Subword Sud Sudborough Superstrings Swansea Swed Syst Szalas Szeged Szpankowski T TAM TAPSOFT TBS TC TCB TCF TCI TCN TCP TCR TCS TCSCDI TCT TEP TES TFA TGC THEOR TIA TL TLP TLR TMC TMs TN TNC TNP TOPOS TPM TR TRG TRS TRT TS TSA TSC TSF TSG TSR TSS TT TTP TTT TX Ta Taentzer Takahashi Takanami Takashi Talamo Talence Tali Tamassia Tampere Taniguchi Tannen Tarhio Tarjan Tarlecki Tarsi Tata Tchuente TeX Technion Technische Technol Telecommun Telecomunicazioni Tetsuo Th Thanh Thatte Theodor Theor Theoret Therese Therien Thibon Thierrin Thierry Thomsen Thue Timestamp Timmerman Tiomkin Tiuryn Tizi Tokai Tokushima Tomita Topor Topos Tor Torino Toulouse Towson Toyohashi Transductions Tretkoff Troeger Troelstra Trystram Tsu Tuan Tubingen Tulipani Turan Turku Twente Tzoreff U UCI UER UFD UFR UK UMC URL URM USF UT UTI Ube Ugo Ukkonen Undecidability Univ Untermonoiden Upfal Urbanek Uri Urquhart Urrutia Urzyczyn Uzi V VA VAD VASSs VRC VTA Val Valbonne VanGucht Vandoeuvre Vardi Varman Varricchio Vau Vazirani Velinov Veni Venkatesan Venturini Vergata Vic Vieille Viliam Villeneuve Villetaneuse Villeurbanne Vilnius Vink Vishkin Vogler Voigt Volker Vollmar Voluceau Vyskoc W WA WAC WI WNA WOD WRAMs WSC WSO WSS WWW Waltham Warmuth Warszawa Watanabe Wedderburn Wegener Weierstrass Weihrauch Weijland Weil Weispfenning Weizmann Welzl Weyl Whitty Wien Wigderson Wilharm Willecke Wim Winskel Wirsing Wirth Wissenschaften Wladyslaw Wlodzimierz Wofgang Wojciech Wollongong Wolper Wroclaw Wurzburg Wyrostek X Xin XinHe Xu Y YEL Yamada Yamaguchi Yamasaki Yaounde Yehudai Yoeli Yokomori Yokosuka Yokouchi Yoneda Yoshida Yu Yung Z Zaionc Zaks Zaniolo Zeitman Zeugmann Zhang Zhu Zielonka Zierer Zilli Zolotareff Zoltan Zuo Zvi Zwick abbrev abelian ack acknowledgement acm acyclicity adic adjoints adjunction adr affiliationaddress affine aire amortised analysing appli apr arbre artin ary atomicity auf aug automation aux axiomatisation axiomatizability axiomatizations ba bck bcnf beebe behaviour behavioural behaviours ber bibdate bibmods bibnames bibnet bibsort bibsource biconditional bidelta biinfinite biprefix bisimilar bisimulation bitonic blocksize booktitle booleans boundedness boundness byvolume c cartesian cc ccc chan characterisation characterisations chet clausal co coNP coalgebras codetable colorability colourability coloured colouring com combinatory commutator compositive computably conferenceyear conflocation confluence conftitle congruences conjugacy conjugaison conservativity convergents corpsource coverability cryptoanalysis cryptosystem cryptosystems cryptotext csp d d'Ascq d'Atri d'Electricit d'Inf d'Informatique d'inf d'un d'une da dans dataflow de deBakker deFelice deLuca deSimone dec definability definedness dei del deletability dell'Inf della deque der des di diagonalization diagonalizations digraph digraphs divisibility docstring dra du e eNCE edu effectivity eigenfunctions eliminants elsevier email embeddable embeddings en encodement endomorphisms engendered enumerability equational er es estoc exp f facteurs factorisation factorisations feb fft fibred fini finitarily finitary fixedpoint fixedpoints fixpoint flowgraph flowgraphs fonction fractal fractales ftp genealogical generalisation generalisations generalised homeomorphs homothetical html http hypergraph i ieee implicational imprimitive infinis infinitary intercluster intuitionistic ique ispell issn j jan jie journalabr jp jul jun k ka kow krantz kth ku l labelled labelling lang langage le leftideals les leur levelable lgk li lin lineaire ln logico logspace longueur ltx m mann matroid maximisation mberg mcs meetingaddress meetingdate mes mi mimd minimisation minsum mn modelling monogeneous monoid monoide monoids morphic mots mu multicounter multigraph multihead multipushdown multiset multisets multitape multivalued n nce neighbourhood nexttime nhfb ning nl nlc nonapplicable nonarithmetical noncircular noncommutation noncommutative noncommuting noncomplete noncontext nonconventional nondistinct nonequational nonerasing nonextensional nonfinite nonmonotone nonordered nonplanar nonpolynomial nonprimitive nonpseudostochastic nonrecursive nonscalar nonselfembedding nonsequential nonstratification normalizability nov np nu num o observability occam oct online op opdenAkker optimisation ordinals org organisation orique outerplanar outfix p palutators paraconsistent parallelisation parametrization paramodulation pdl pentads pipid plaintext po poly polycategory polylogarithmic polymorphism polynomially polynominal pomsets poset posets powerdomain powerdomains pre preorder preorders preparator preperfect prex primality productibility pseudocomplements pseudorandom pubcountry pushout q quasisuperposition queueing r ra rale randomised randomising rard realtime recognisable reconnaissables redex refutations relat relatifs relativizable relativized resiliency retiming rewritings rg rieure rn ru rzy s schematization schematology sciencedirect semiThue semiadjunction semicommutations semicomputable semiconditional semiformal semifunctors semigroup semigroups semilattices semilinear semiregular semiring semirings sep sequents serialisability serializability shi sho showtags si simd skel skeletonization skolemization sld sofic sok solvability specialised specifi sponsororg st structuredness stuttering subalgebras subfamily submodel submonoid submonoids subsequential subsumption subword subwords superlinear superpolynomials superstrings sups surreduction synchronisation synchronised synchronising syntaxique syst systolic szyn t tableaux tcs tel temps tesselation texte th tha thomas ti timestamp tion topologique topos transductions transpositions transversals triadic twocolumn tz tzenberger u un und undecidability unrelativized unrepetitive unrollings unsrt utah vanGucht vanHung vandenBroek vant vlsi von vonzurGathen vs wc worktape www xx xxauthor xxnote xxtitle y ya z zanc zeilles zeugmann zur