AAS AAT ACC AFA AFL AFLs AGS AGT AHC ALI ARD ARP ASA ASC ASF AST Aarhus Abelson Abteilung Acad Acknowledgement Ae Aiello Aignan Amiens Anf Angeles Angewandte Antwerp Appl Araki Arco Ascq Ashcroft Ashenhurst Aubin Autebert Automata Aviv B BS Bai Bakker Barendregt Beauquier Beebe Beeri Bennison Bergstra Berman Beschreibungsverfahren BibNet BibTeX Bibel Bielefeld Binghamton Boas Boasson Bohm Bollman Brandstadt Brno Burkhard C CA CACI CBF CBP CBR CBT CCC CCE CCP CCS CDS CFF CGA CMH CMN CN CNC CNF CNR CNRS CO CODEN COMP CPC CPD CPG CPL CPP CPT CRC CRR CRS CSAV CSL CSN CSP CT Calcul Cardiff Castelnuovo Centre Centrum Chaitin Chandra Chesnay Choffrut Chottin Christol Ciancaglini Cibernetica Coll Comp Compendex Concordia Courcelle Coventry Cremers Culik Czechoslovak D DAC DAI DHP DLL DP DPDA DPDA's DPO DPS DRC DRD DSE DT DTA DTH Daley Datalogisk De DeBakker Dezani Div Dobkin Dolev Domaine Dortmund Duval Dyck E ECS EDT EECS EGD EGT EHS ELC ELS EPS ERF ETH ETOL ETS EWT EXRUD Egli Ehrenfeucht Eilenberg Eilenberg's Elaborazione Elgot Elgot's Elsevier Emde Engelfriet Engng Enschede Estatistica F FAM FAX FCL FDD FEC FEF FIH FMI FP FPC FSM FSS FVT Fachbereich Faculte Fakultat Ferrante Fich Flajolet Formale Forshungsinst Francon Fredman Friedrich G GA GEF GFN GRR GSF GUHA Galil Garey Geiser Geller Ginsberg Ginsburg Goldstine Greibach Groote Guessarian H HD HGI HVC Hajek Hartmanis Hashiguchi Haute Havel Hibbard Hindley Hirschberg Hopcroft Hosono Hotz Hsieh Huet IA IFE IIC IIS IL ILB INSPEC IOD IPL IPS IRIA ISO ISR ISSN ISWIM ITC IVD Ibarra Informatik Informatique Informazione Init Inoue Inst Internet Intuitionistic Iria Istituto J Jena Jensen Johansen Jolla Jozef Jul K KS Karhumaki Karlsruhe Kasami Kleene Kleene's Kleiman Klop Ko Kobayashi Kobenhavn Kobenhavns Kri Kwong L LBL LBN LBS LCB LCF LCP LFP LKG LL LOR LR LSM LSR LTI LaTeX Laaser Ladner Lallement Landweber Laplaza Latteux Le Leeuwen Lehmann Leiden Lett Lille Lindenmayer Linna Lipski Ljubljana Logik Los Loveland Loveland's Luckhardt M MAE MDT MFL MFT MI MN MPP MSIa MSIb MST MT Machtey Majster Mal Mandel Marek Markowsky Matematica Matematico Maurer Mayaguez McCreight Medford Meertens Megiddo Meyer's Meznik Mignotte Milner Minicozzi Missoula Monien Mont Morgenstern Munchen N NCD NJ NL NNS NP NPT NRR NSS NUP NY Nakamura Napoli Nijholt Normandie Nov Novosibirsk O OCLC OCT OET OWF OWS Och Olshansky Ont Optimisation Orsay Ottmann P PAF PCP PDA PDA's PLS PRC PRS PTAPE PTH Pansiot Papadimitriou Parc Pardo Parikh Paterson Paulo Pawlak Penttonen Peretti Perrin Perrot Petri Phys Picardie Piet Pietrzykowski Pippenger Pisa Plaisted Plotkin Pnueli Pomega Preparata Presburger Prodinger Programmation Pu Pudlak Puerto Pushdown Putnam QER QPV Que Queueing R RAE RAS RBC RBD RBE RBF RBG RBP RBS RCN RCR RGC RGP RM RPD RPO RPR RRB RRC RSD RTLa RTLb Rackoff Raoult Rehovot Res Restivo Reutenauer Rico Rivest Rocca Rocquencourt Ros Rosen Rosenkrantz Rosser Rouen Rozenberg Ruohonen S SCG SCI SCV SDP SECD SFW SLP SMC SMW SNP SPL SSB SSC SSN SST STL Saarbrucken Saarlandes Sabatier Sahni Salomaa San Sao Sato Savitch Schnorr Schonhage Schutzenberger Sci Seiferas Sektion Selman Sendai Shamir Shepherdson Skyum Smyth Soare Soininen Soisalon Soittola Solovay's Spanier Specker Spor Sprachen Springsteel Starke Statman Stefan Stockmeyer Strasbourg Strassen Strassen's Sturt Subword Sud Swansea Szymanski T TBS TCE TCSCDI TDI THEOR TLC TLP TSC TTC TTG TTL TWS Ta Takanami Talence Tarjan TeX Technion Technol Tel Tendell Th Tohoku Torino Toulouse Toyonaka Trakhtenbrot Tubingen Tue Turku Twente UAI UAT UER UK URL UT Ube Ullman Univ Urbana Urbanek Utrecht V VLO VOAa VOAb VOAc VSF Valiant's Valrose Vau Verbeek Vilfan Villeneuve Vitanyi Voluceau Vrije Vuillemin W WA WWW Wassenaarseweg Wechsung Wegener Weihrauch Weizmann Weyhrauch Wien Winograd Winograd's Wong Wrathall Y Yamaguchi Yehudai Z ZZR Zassenhaus abbrev ack acknowledgement acm algebraicized apr ary aug automata axiomatization ba beebe bibdate bibmods bibnames bibsort bibsource biconnected bijectivity boundedness byvolume chan characterisations characterizations checksum chet co codetable codings com combinational combinators combinatory corpsource d d'Ascq d'Informatique da de deGroote dec dell'Informazione des di diagonalization diophantine docstring dra du e edu elsevier email en er estoc feb filename findability fixpoint fjournal flowcharting flowgraph formulae generable generalised groupoid hereditarily html http i ieee injectivity intensionalities intuitionistic ique irreducibility isotone ispell issn j jp jul jun k ka kow krantz ku labelled li liveness ltx mann mcs mi monoid monoids morphisms mu multicounter multihead n nhfb nl nondeterminism nondeterministic nonerasing nonsingular nonterminal nonterminals nov o oct offline online optimisation org organisation organisations pentads permutators po polyautomata polyhedra posets pre primality pubcountry pushdown quasirealtime queueing r reachability recognisable reducibilities ru rzy s sciencedirect semiAFL semidecision semigroup semigroups semilinear semirings sep separatedness shi sho showtags si skel sok solvability st standardisation subexponential subpatterns subsequential subword surjectivity synchronisation szyn tcs tel tex tha ti transductions travelling twocolumn u unary und undecidability unsrt utah vanEmdeBoas vant wc www x xx xy y ya yx zanc zeilles