AC ACA ACD ACN ACO ACP ACR ADC ADE ADL ADT AES AFA AFL AFLs AG AGRa AGRb AHS AIA AIP AK ANR AOS APA APC APP APS ARP AST ATM AVL AZ Aachen Aarhus Abelian Abteilung Acad Ackermann Ackermann's Acknowledgement Adamek Adherences Adleman Aignan Aiken Ainhirn Aizawa Akad Alaiwan Albrechts Ames Amiens Andreka Angeles Angewandte Angluin Antipolis Antwerp Apostolico Appl Applicazioni Appliqu Araki Ari Ascq Ashcroft Astesiano Ata Atzeni Auf Augustin Ausiello Austry Autebert Autom Automata Automatica Avenhaus Aviv B BC BCI BCNF BCP BCS BDS BEA BFR BFW BL BLI BNP BQMa BQMb BRL Bagchi Bai Bakker Bancilhon Bangalore Batini Beatty Beauquier Beebe Behaviours Beijing Benzaken Berenguer Bergstra Berman Berstel Beschreibungsverfahren Beynon Bezout BibNet BibTeX Bielefeld Bilimits Bini Biomath Biprefix Biskup Blattner Blum Boasson Boe Borel Borger Boudol Bougaut Boussinot Boyce Bozapalidis Bozapalidou Braquelaire Bratislava Braunschweig Brisbane Broy Bruhat Bruijn Brunswick Brzozowski Bucher Bundeswehr Bundewehr Buning Bunkyo Burkhard Burlington Burstall C CA CAH CBA CBC CBL CCC CCR CCS CDF CDT CEL CEP CF CFC CFD CFM CFR CFS CGE CGL CIC CIO CKP CL CLP CLRa CLRb CLS CLT CM CMA CMF CMN CMP CMR CMT CNA CNF CNR CNRS CNS CO COB CODEN COMP COR CPC CPD CPI CPN CPO CPO's CPOs CPP CRC CRD CRF CRR CSA CSC CSF CSL CSP CSU CTA CTN CTP CTR CTT CTV CVUT Calcolo Callegarin Campinas Carlo Centre Ch Chan Characterizations Chazelle Chengdu Chesnay Chlebus Christofides Chromsky Chuang Cibernetica Ciencia Clayton Clerbout CoNP Codd Coll Coloured Commun Compendex Complutense Comput Computa Coppo Corbeville Cori Costa Courant Courcelle Cousineau Coventry Cox Crochemore Csirmaz Culik Curien Curry's Cuza Czechoslovak D DBA DBI DBMS DCC DCFLs DEL DFM DFP DFQ DIC DLP DM DOL DPA DPDA DPDA's DPDAs DPE DPF DPL DPS DSC DSH DSM DSN DSP DSS DST DTM DTOL Daley Damm Datenverabeitung Datenverarbeitung De DeSimone Dedekind Dedekind's Definability Delest Della Denenberg Der Dershowitz Dev Dezani Diaz Dipartimento Div Djahromi Dobkin Domaine Dominoes Dortmund Drosten Dunglaing Dunlaing Duris Duske Dutton Dybjer Dyck E EAP EBA ECC ECP ECT EDB EDT EDTOL EFA EGS EHW EIB EIC EIQ EL EMS ENSMP ENT EOL EPC EPL EPT ERL ESP EST ETD ETE ETH Eagin Ecole Ecuaciones Edelsbrunner Egli Ehrenfencht Ehrenfeucht Ehrich Ehrig Eidgenossische Eilenberg Eindhoven Eischer Eisman Ekkonen Electrotech Elrad Elsevier Eng Engeler Engeler's Engng Epis Equivalance Erd Erdos Ershov Escrig Estadual Estatistica Etzion Experimentaux F FAX FCR FDL FDP FEL FGE FIM FL FLR FMI FPC FPI FPS FSS FTR FTW FVP Fac Fachbereich Fachini Facultat Fairbanks Fakultat Fehr Fellner Fernandez Fernuniv Floyd's Foldes Fondamentale Formale Formulae Forschung Fraenkel Francez Franchi Frederickson Fredman Freiburg Freivalds Freund Fukuoka Fulkerson Funcionales Furer G GA GAA GCS GGN GGO GGR GGT GH GLE GPC GPL GR GRV GSP GSS GTC GTM Gacs Galbiati Galil Gallier Gan Gathen Gati Gelenbe Genova Genrich Gentzen Germano Gesamthochschule Gesellschaft Ginsburg Girault Godel Gogolla Goguen Goldfarb Goldschlager Goldstine Graz Green's Greendlinger Grefenstette Greibach Grigor Grigor'ev Grigorev Gruska Gupta Gurari H HD HLP HPR HS HVT Hagauer Halpern Hamburg Hannover Harary Harel Harju Harrington Hartmanis Hartmann Hasler Haussler Haute Havel Hayashi Hehner Heide Heilbrunner Heintz Hennessy Higman Hindley Hoare Hoare's Hoarelike Hoares Hochschule Hodgson Homomorphic Honkala Hopcroft Horishima Hotz Howson Hromkovic Huffman Huynh Hyperlisp IA IAC IAE IAI IBP ICD ICT IDS IDW IEB IFA IL ILS IMAG IMD INSPEC IOH IPE IPS IRT ISC ISF ISO ISSN ITA ITF IWO Iasi Ibaraki Ibarra Ilan Indermark Indexings Inf Infinitary Informatica Informatics Informatik Informationsprozesse Informationssytemforschung Informationsverarbeitung Informatique Informatyki Informazione Inoue Inst Instituto Internat Internet Istituto Istrail Ito Itzhaik Iwasaki J Ja Ja'Ja Jaffe Janicki Jankowski Janssens Jantzen Jensen Jolla Joshi Jou Jul K KDA KKIOV KS KY Kagimasa Kahn Kaiserslautern Kamihama Kamimura Kanaoka Kaplan Karhumaki Karlsruhe Karp Karpinski Kasami Katholieke Katseff Kawabata Kazakh Kelemenova Ker Ketonen Kfoury Kiel Kimura Kinber Klaeren Kleene Kleijn Kleine Kleitman Klop Ko Kobayashi Kofu Kolmogorov Kolmogorov's Korenjak Kossowski Kott Kozen Kreowski Kri Kripke Krom Kruskal Kruskal's Kucera Kudlek Kuich Kurka Kybernetik Kyushu L LBN LBP LC LCB LCC LCP LCR LFA LGO LHR LHS LIL LITP LKG LL LLP LLR LP LR LRL LRR LTB LTR LTS LaTeX Ladner Lakehead Lakshmanan Lam Landweber Languedoc Lassez Latteux Latvian Lautenbach Laval Lazard Le Leggett Lehmann Lehrstuhl Leiden Leininger Leiss Leivant Lempel Lenstra Lett Lev Lieberherr Lille Linkoping Linna Linnik Lipeck Little's Liu Logik Loh Longo Los Lotti Loui Louscou Luca M MAS MCM MCP MCS MDT MEE MEIJE MFF MFP MG MI MII MLR MN MPC MPD MPE MPP MSC MSI MSN MST MTS MUP Maass Machi Madhavan Madlener Maggiolo Mahanti Maher Mahr Maier Makowsky Mal Maluszynski Manders Maon Marchetti Margolis Maruoka Marvellous Masalagiu Matematica Mathematik Maths Maurer Maxflow McAloon McGill McMaster Medicale Megiddo Mehlhorn Menlo Meseguer Meseguer's Meshulam MeyerAufDerHeide Mezghiche Mie Milner Milner's Miyano Modelisation Moldavanskii Moldavanskii's Monash Monien Monier Mont Monte Monting Montpellier Moraga Moran Moscarini Munchen Munro Myhill N NCB NCE NDP NDPCF NEC NER NES NFN NFPa NFPb NIC NJ NLC NNC NNH NP NPN NPOP NPQUERY NPS NPT NRC NRP NSC NSR NTS NY Nakamura Nambiar Napoli Narendran Nemeti Nerode Nesetril Netto Neubiberg Nguyen Nicola Niemi Nijholt Nijmegen Nishitani Nivat Nivat's Nondeterminism Nondeterministic Nonredundancy Normandie Northridge Nov Novosibirsk O O'Dunglaing O'Dunlaing OAS OCLC ODP ODR ODunglaing ODunlaing OEG OI OMT OPP ORM OTR OWS Och Oct Olderog Ono Ont Oppen Optimisation Orlowska Orsay Oyamaguchi P PAA PAC PCF PCG PCL PCR PDD PDDI PDL PDS PDT PFT PGCD PGS PLO PNE PNL POH PPA PPGa PPGb PPI PPS PPV PRG PROLOG PSG PSO PSPACE PT PTF PTI PTP PTS Pacini Padawitz Paderborn Papadimitriou Parchmann Paredaens Parikh Parisi Park's Parkville Passau Pasztor Paterson Paulo Pavia Pawlak Paz Peano Peano's Perl Pernambuco Perrin Petri Pfender Picardie Piet Pietrzykowski Pisa Pittl Pittle Plaisted Plotkin Pnueli Podstaw Poitiers Politecnica Polytech Pos Pottinger Pottinger's Poznan Praha Praktische Preparata Presburger Presicce Priese Primality Prodinger Programmation Prtasi Pruitt Pu Pultr Qld Que Queensland Queueing R RBB RBD RBG RBT RCF RDC REJ RFD RFL RFN RFP RFT RGF RGL RM RNG RNI RNP ROL RPL RPP RRN RRO RSH RTU RVP RWTH Radhakrishnan Raiha Rajlich Ramanan Ramat Raoult Rauszer Ravikumar Recherches Reducibilities Rehovot Reif Reisch Reischuk Reiss Ren Rennes Rensselaer Res Restivo Reutenauer Rice's Riga Rocca Roma Romani Romania Ronchi RonchiDellaRocca Ros Rosen Rosenberg Rosenkrantz Rosenthal Rosser Rouen Rozenberg S SAC SAE SAR SBO SBS SC SCA SCCS SCF SCI SCN SCS SDF SDQ SDS SEF SEG SES SFAa SFAb SFF SG SLD SLI SLPa SLPb SMD SMH SMI SMS SNP SNR SNS SNT SPE SPH SPL SPV SRC SRD SRI SRN SRP SRR SRS SS SSA SSB SSE SSL SSM SSN SSR SSU STS SUR Saarbrucken Saarlandes Sadri Saheb Sain Salemi Salomaa Salovay San Sao Sato Sch Schafer Schettini Schnitger Schnorr Schoning Schreiber Schulte SchulteMonting Schupp Schuster Schutzenberger Sci Scienze Scott's Segerberg Seireras Selman Sendai Senizergues Seroussi Sethi Shamir Shatin Shepherdson Shoji Shyamasundar Sichuan Sieveking Sifakis Simone Sinica Sipser Siromoney Siu Skolem Skolemization Slovak Smyth Snir Solovay's Soundararajan Spaccamela Sperner Spor Sprachen Squier Staiger Stavi Steinby Steklov Stockmeyer Stoklosa Stolboushkin Storer Stoy Strassen Strassen's Stratman Straubing Studi Studien Sturt Subramanian Sud Sudborough Swansea Syslo Systemes Systolic Szwerinski T TAT TBP TBS TCN TCR TCSCDI TDA TDP TEP TEV TFT THEOR TL TM TML TMT TN TOD TOS TPL TPT TR TSC TSE TST TTA TTS TUA TUS TWD TX TYH Ta Taitslin Takahashi Takanami Takasu Talence Tamaki Taniguchi Tat Tata TeX Technion Technol Tel Tennent Th Theoretische Therien Thessaloniki Thiagarajan Thierrin Thue Tikekar Tiuryn Toda Tohoku Tokura Tomita Torino Toyonaka Traub Tsou Tsu Tue Turku Tyne U UAO UAS UBS UCD UDE UER UFE UFP UGP UHE UK UPT UQR UR URL USO UT UTC Ube Uchimura Ukkonen Ullman Univ Unprovability Urbana Urbanek V VLSI VT Valbonne Valk Vau Vazirani Veni Venneri Venturini VenturiniZilli Verraedt Vic Viennot Villeneuve Vishkin Vitanyi Volger Voluceau W WA WGC WI WMG WPS WWW Wadge Wadsworth Wadsworth's Waltham Warszawa Wasilkowski Watanabe Wedde Wegener Wegner Weihrauch Weizmann Welzl Weyhrauch Wiedmer Wiehagen Wiele Wien Wijngaarden Williamstown Wilrijk Winklmann Winkowski Winograd Winskel Wirsing Wissenschaften Wong Wotschke Wozniakowski Wrathall Wyllie Wythoff X Y Ya Yamaguchi Yamanashi Yamasaki Yao Yehudai Yesha Yi Yoeli Yu Yueh Z Zak Zakowski Zaks Zannettacci Zealand Zentralinst Zentrum Zhang Zilli Zucca Zucker abbrev ack acknowledgement acm adherences ao approximability apr arity asynchrony aug automata automation automorphism axiomatisation axiomatization axiomatized ba backtrackings beebe behaviour behaviours bibdate bibmods bibnames bibsort bibsource biconnected biconnection biconnectivity bifaithful bijective bilimits bingen biprefix bisimulation blockstructured boundedness byvolume c cfl chan characterisation checksum chet clopen co codetable codings colimits colour coloured colouring colours com combinational combinations combinator combinatorics combinators combinatory complementation conflocation confluence conftitle congruences conjugacy constructability corpsource coset cpo cpos cylindrification d d'Ascq d'Autom d'Inf d'Informatica d'Informatique dP da dataflow de deBakker deBruijn deLuca deNicola deSimone dec definability degli del dell'Informazione der derivability des descriptional di diagonalization diagonalize digraphs dissidence divisibility docstring dominoes dra du e edu elsevier email embeddability embeddings en encodings endomorphism epis equationally equipotence er es estoc ev executability factorisation feb filename finitary fixpoint fjournal flowcharting formulae fuer functionals functor g generalised graphlike h homomorphic homorphisms html http hypergraphs hypermap i iZ ieee ik implementability inequivalence infinitary injective ique ispell issn j jan ji jie jp jul jun k ka kolam kow krantz kth ku labelings labelled le lemmata leur li logics lowermost ltx m mEOL macroprocessing mann matchings mathematic maximality mbH mcs metatheorem metatheory mi misere modelling monogenic monoid monoids morphism morphisms mu multi multicounter multihead multilists multiparenthesis multiplicities multireset multisets multitape multivalued n neighbourhood nhfb nl nonalgebraic nonalgorithmic nonambiguous noncircular noncommuting noncomputable nondecomposable nondeterminism nondeterministic nonerasing nonguarded nonlabelled nonlogical nonmonadic nonpersistent nonpolynomial nonpreemptive nonreal nonrecursive nonredundant nonscalar nonsequential nonsingular nonterminal nonterminals nov numberings o oct offline online optimisation optimisers org organisation orique orthant outerplanar p parameterized pentads permuter permuters po poly polyhedra polynomially polyomino polyominoes polytopes posets postcondition powerdomains prenex preperfectness preprocessed primality priori pubcountry pullback pushdown q quasirealtime queueing reachability realtime rebalancing recognisable recognizability recursiveness reducibilities relativized relator rewritings rka ru rzy s satisfiability schematological sciencedirect semiThue semigroup semigroups semilinear semiring sep sequent serialisability shi sho showtags si skel sok solvability squarefree st starheight subfamily subgraph subgraphs sublinear submonoid subnet subrecursive subsemigroup subterms subtree subword subwords superconcentrator superconcentrators superexponential supernets supersequence synchronisation synchronised systolic systolically szyn tautologous tcs teborg tel tex th tha ti tractible tradeoff transductions trilinear twocolumn u unary unboundedly und undecidability univariate unprovability unranking unsrt utah valuedness vant vertices von vonzurGathen vs w wc wordsequence worktape www x xx ya zanc zeilles zur