ACA
ACD
ACN
ACO
ACP
ACR
ADC
ADE
ADL
ADT
AES
AFA
AFL
AFLs
AG
AGR
AGRa
AGRb
AHS
AIA
AIP
ANR
AOS
APA
APC
APP
ARP
AST
ATM
AVL
Aachen
Abteilung
Acad
Ackermann
Ackermann's
Adamek
Adleman
Afek
Aignan
Ainhirn
Aizawa
Akad
Alaiwan
Albrechts
Amiens
Andreka
Angewandte
Angluin
Antipolis
Apostolico
Appl
Applicazioni
Appliqu
Araki
Ari
Ashcroft
Astesiano
Ata
Atzeni
Auf
Augustin
Ausiello
Austry
Autebert
Autom
Automatica
Avenhaus
B
BC
BCI
BCNF
BCP
BCS
BDS
BEA
BFR
BFW
BL
BLI
BNC
BNP
BQM
BQMa
BQMb
BRL
Badouel
Bagchi
Bai
Bakker
Bancilhon
Bangalore
Batini
Beatty
Beauquier
Behaviours
Benzaken
Berenguer
Bergstra
Berstel
Beschreibungsverfahren
Beynon
Bezout
BibNet
BibTeX
Bielefeld
Bilimits
Biomath
Biprefix
Biskup
Blattner
Boasson
Boe
Borel
Borger
Boudol
Bougaut
Boussinot
Bozapalidis
Bozapalidou
Braquelaire
Bratislava
Braunschweig
Broy
Bruhat
Bruijn
Brzozowski
Bucher
Bundeswehr
Bundewehr
Buning
Bunkyo
Burkhard
Burstall
C
CAH
CBA
CBC
CBL
CBN
CCC
CCF
CCR
CCS
CD
CDF
CDT
CEL
CEP
CFD
CFM
CFS
CGE
CIC
CIO
CKP
CL
CLP
CLR
CLRa
CLRb
CLS
CLT
CMA
CMF
CMN
CMP
CMR
CMT
CNA
CNF
CNR
CNRS
CNS
CODEN
COMP
CPC
CPD
CPI
CPN
CPO
CPO's
CPOs
CPP
CRC
CRD
CRF
CRR
CRS
CSA
CSC
CSF
CSL
CSP
CSU
CTA
CTC
CTD
CTG
CTN
CTP
CTR
CTT
CTV
CVUT
Calcolo
Callegarin
Campinas
Centre
Ch
Chan
Changwook
Chazelle
Chengdu
Chesnay
Chlebus
Christofides
Chromsky
Chuang
Cibernetica
Ciencia
Clerbout
CoNP
Codd
Coll
Coloured
Commun
Compendex
Complutense
Comput
Computa
Coppo
Corbeville
Cori
Courant
Courcelle
Cousineau
Crochemore
Csirmaz
Culik
Curien
Curry's
Cuza
Czechoslovak
D
DBA
DBI
DBMS
DCFLs
DCN
DFM
DFP
DFQ
DIC
DLP
DM
DME
DNF
DOL
DPA
DPDA's
DPDAs
DPE
DPF
DPL
DPS
DSC
DSH
DSN
DSP
DSS
DST
DTM
DTOL
Damm
Datenverabeitung
Datenverarbeitung
DeSimone
Dedekind's
Definability
Delest
Denenberg
Der
Dershowitz
Dev
Dezani
Diaz
Dipartimento
Div
Djahromi
Dobkin
Domaine
Dominoes
Drosten
Duris
Duske
Dybjer
Dyck
E
EAP
ECC
ECP
ECT
EDB
EDTOL
EFA
EGS
EHS
EIB
EIC
EIQ
EMS
ENB
ENSMP
ENT
EOL
EPC
EPL
EPT
ERL
ESP
ETD
ETE
ETH
Eagin
Ecuaciones
Edelsbrunner
Egli
Ehrenfencht
Ehrenfeucht
Ehrich
Ehrig
Eidgenossische
Eilenberg
Eindhoven
Eischer
Eisman
Ekkonen
Electrotech
Elrad
Engeler
Engeler's
Engng
Epis
Equivalance
Erd
Erdos
Ershov
Escrig
Estadual
Estatistica
Etzion
Experimentaux
F
FAX
FCR
FDL
FDP
FEL
FGE
FIM
FLR
FMI
FPI
FPS
FSS
FTR
FTW
FVP
Fac
Fachbereich
Fachini
Facultat
Fairbanks
Fakultat
Fehr
Fellner
Fernandez
Fernuniv
Flammini
Floyd's
Foldes
Fondamentale
Formale
Forschung
Fraenkel
Francez
Franchi
Frederickson
Fredman
Freiburg
Freivalds
Freund
Fukuoka
Fulkerson
Funcionales
Furer
G
GAA
GCS
GGN
GGO
GGS
GGT
GH
GLE
GPC
GPL
GR
GSP
GSS
GTC
GTM
GVP
Gacs
Galbiati
Galil
Gallier
Gan
Gathen
Gati
Gelenbe
Genova
Genrich
Gentzen
Germano
Gesamthochschule
Gesellschaft
Girault
Godel
Gogolla
Goguen
Goldfarb
Goldschlager
Graz
Green's
Greendlinger
Grefenstette
Greibach
Grigor'ev
Grigorev
Gruska
Gupta
Gurari
H
HD
HLP
HPR
HS
HVT
Hagauer
Hannover
Harary
Harel
Harju
Hartmanis
Hartmann
Hasler
Haussler
Haute
Havel
Hayashi
Hehner
Heide
Heilbrunner
Heintz
Hennessy
Higman
Hindley
Hoare
Hoare's
Hoarelike
Hoares
Hochschule
Hodgson
Honkala
Hopcroft
Horishima
Hotz
Howson
Hromkovic
Huynh
Hyperlisp
IAC
IAE
IAI
IBP
ICD
ICT
IDW
IEB
IFA
IKo
ILS
IMAG
IMD
INSCC
INSPEC
IOT
IPE
IPS
IRT
ISC
ISS
ISSN
ITA
ITF
IWO
Iasi
Ibaraki
Ibarra
Ilan
Indermark
Indexings
Inf
Infinitary
Informatics
Informatik
Informationsprozesse
Informationssytemforschung
Informationsverarbeitung
Informatique
Informatyki
Inoue
Inst
Instituto
Internat
Istituto
Istrail
Itzhaik
Iwasaki
J
JWB
Ja'Ja
Jaffe
Janicki
Jankowski
Janssens
Jantzen
Joshi
Jou
Jul
K
KDA
KKIOV
Kagimasa
Kaiserslautern
Kamihama
Kamimura
Kanaoka
Karhumaki
Karlsruhe
Karpinski
Kasami
Katholieke
Katseff
Kawabata
Kazakh
Kelemenova
Ker
Ketonen
Kfoury
Kiel
Kimura
Kinber
Klaeren
Kleene
Kleijn
Kleine
Kleitman
Klop
Ko
Kofu
Kolmogorov's
Korenjak
Kossowski
Kott
Kozen
Kreowski
Kri
Kripke
Krom
Kruskal's
Kucera
Kudlek
Kuich
Kurka
Kybernetik
Kyushu
L
LBP
LC
LCC
LCP
LCR
LFA
LGL
LGO
LHR
LIL
LITP
LL
LLP
LLR
LP
LR
LRL
LRR
LSL
LSU
LTB
LTR
LaTeX
Ladner
Lakehead
Lakshmanan
Landweber
Languedoc
Lassez
Latteux
Latvian
Lautenbach
Laval
Lazard
Le
Leggett
Lehmann
Lehrstuhl
Leiden
Leininger
Leiss
Leivant
Lempel
Lenstra
Lett
Lieberherr
Lille
Linkoping
Linna
Linnik
Lipeck
Little's
Liu
Logik
Loh
Longo
Lotti
Loui
Louscou
Luca
M
MAS
MCM
MCP
MCS
MDT
MEE
MEIJE
MFF
MFP
MG
MII
MLR
MPC
MPD
MPE
MPP
MSC
MSI
MSN
MST
MUP
Maass
Machi
Madhavan
Madlener
Maggiolo
Mahanti
Maher
Mahr
Makowsky
Mal
Maluszynski
Manders
Maon
Marchetti
Margolis
Maruoka
Marvellous
Masalagiu
Matematica
Maths
Maurer
Maxflow
McAloon
McMaster
Medicale
Megiddo
Mehlhorn
Meseguer's
Meshulam
MeyerAufDerHeide
Mezghiche
Mie
Milner
Milner's
Miyano
Modelisation
Moldavanskii's
Monien
Monier
Monting
Montpellier
Moraga
Moscarini
Munchen
Munro
Myhill
N
NCB
NDP
NDPCF
NEC
NER
NES
NFN
NFP
NFPa
NFPb
NIC
NLC
NNC
NNN
NOL
NP
NPN
NPOP
NPQUERY
NPS
NPT
NRP
NSC
NSR
NTS
Nakamura
Nambiar
Napoli
Narendran
Nemeti
Nerode
Nesetril
Netto
Neubiberg
Nicola
Niemi
Nijholt
Nijmegen
Nishitani
Nivat
Nivat's
Nonredundancy
Normandie
Northridge
O
O'Dunglaing
O'Dunlaing
OAS
OCLC
ODR
ODunglaing
ODunlaing
OEG
OI
OMT
OMW
OOD
OPL
OPP
OSM
OTS
Och
Ohlebusch
Olderog
Ono
Ont
Oppen
Optimisation
Orlowska
Orsay
Oyamaguchi
P
PAA
PAC
PCF
PCG
PCL
PCR
PDDI
PDL
PDS
PDT
PFT
PGCD
PGF
PGS
PLO
PNE
PNL
PPA
PPG
PPGa
PPGb
PPI
PPS
PPV
PROLOG
PSG
PSO
PSPACE
PT
PTF
PTI
PTP
PTS
Pacini
Padawitz
Paderborn
Papadimitriou
Parchmann
Paredaens
Parikh
Parisi
Park's
Parkville
Passau
Pasztor
Pavia
Pawlak
Peano
Peano's
Peled
Perl
Pernambuco
Perrin
Pfender
Picardie
Piet
Pietrzykowski
Pisa
Pittl
Pittle
Plaisted
Plotkin
Plotkin's
Pnueli
Podstaw
Poitiers
Politecnica
Polytech
Pos
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
RCL
RDC
REJ
RFD
RFL
RFN
RFP
RFT
RGF
RGL
RM
RNG
RNI
RNP
RPL
RPP
RRN
RRO
RS
RTU
RWTH
Radhakrishnan
Raiha
Rajlich
Ramanan
Ramat
Raoult
Rauszer
Ravikumar
Reducibilities
Rehovot
Reif
Reisch
Reischuk
Reiss
Ren
Rennes
Res
Restivo
Reutenauer
Rice's
Rocca
Roma
Romani
Ronchi
RonchiDellaRocca
Ros
Rosenkrantz
Rosser
Rouen
Rozenberg
S
SAE
SAR
SBO
SBS
SCA
SCCS
SCF
SCN
SCS
SDF
SDQ
SDS
SEF
SEG
SES
SFA
SFAa
SFAb
SFF
SG
SLD
SLP
SLPa
SLPb
SLT
SMD
SMH
SMI
SMS
SNP
SNR
SNS
SPE
SPH
SPL
SPV
SRC
SRD
SRN
SRP
SRR
SRS
SS
SSC
SSG
SSL
SSM
SSN
SSP
SSR
SSU
STH
STS
SUR
Saarbrucken
Saarlandes
Sadri
Saheb
Sain
Salemi
Salomaa
Salovay
Sato
Sch
Schettini
Schnitger
Schnorr
Schoning
Schreiber
Schulte
SchulteMonting
Schupp
Schutzenberger
Scienze
Scott's
Segerberg
Seireras
Selman
Sendai
Senizergues
Seroussi
Sethi
Shamir
Shatin
Shepherdson
Shyamasundar
Shyamasundar's
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
Sudborough
Swansea
Syslo
Systemes
Systolic
Szwerinski
T
TBS
TCN
TCP
TCSCDI
TDM
TEP
TEV
TFT
THEOR
TL
TM
TML
TMT
TOD
TPL
TPM
TPT
TR
TSC
TSE
TSF
TTA
TTP
TTS
TUA
TYH
Ta
Taentzer
Taitslin
Takahashi
Takanami
Takasu
Talence
Tamaki
Taniguchi
Tata
TeX
Technol
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
UGK
UHE
UPT
UQR
UR
URL
USU
UTC
Ube
Uchimura
Ukkonen
Univ
Urbanek
V
Valbonne
Valk
Vau
Vazirani
Veni
Venneri
Venturini
VenturiniZilli
Verraedt
Vic
Viennot
Villeneuve
Vishkin
Vitanyi
Volger
Voluceau
W
WGC
WMG
WPS
WWW
Wadge
Wadsworth's
Warszawa
Wasilkowski
Wedde
Wegener
Wegner
Weihrauch
Weizmann
Welzl
Weyhrauch
Wiedmer
Wiehagen
Wiele
Wien
Wijngaarden
Williamstown
Wilrijk
Winklmann
Winkowski
Winskel
Wirsing
Wissenschaften
Wotschke
Wozniakowski
Wrathall
Wyllie
Wythoff
X
Y
Ya
Yamaguchi
Yamanashi
Yamasaki
Yao
Yehudai
Yesha
Yi
Yoeli
Yu
Yueh
Z
Zak
Zakowski
Zaks
Zannettacci
Zentralinst
Zentrum
Zhang
Zilli
Zucca
Zucker
abbrev
ack
acknowledgement
acm
ao
appli
approximability
apr
arity
aug
automation
axiomatisation
ba
backtrackings
beebe
behaviour
behaviours
bibdate
bibmods
bibnames
bibsort
biconnection
biconnectivity
bifaithful
bilimits
bingen
biprefix
bisimulation
blockstructured
boundedness
byvolume
c
cfl
chan
characterisation
chet
clopen
co
codetable
colimits
colour
coloured
colouring
colours
com
combinatory
conflocation
confluence
conftitle
congruences
constructability
corpsource
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
e
eNCE
edu
elsevier
email
embeddability
embeddings
epis
equationally
equipotence
er
es
estoc
executability
factorisation
feb
fixpoint
fuer
g
generalised
graphlike
h
homorphisms
html
http
hypergraphs
hypermap
i
iZ
ieee
ik
inequivalence
infinitary
ique
ispell
issn
j
jan
ji
jie
jp
jul
jun
k
ka
kolam
kow
krantz
kth
ku
l
labelings
labelled
lang
le
lemmata
leur
li
lowermost
ltx
m
mEOL
macroprocessing
mann
maximality
mbH
mcs
metatheorem
metatheory
misere
modelling
monogenic
monoids
multicounter
multihead
multilists
multiparenthesis
multiplicities
multireset
multisets
multitape
multivalued
n
neighbourhood
nhfb
nl
nonalgebraic
nonalgorithmic
nonambiguous
noncircular
noncommuting
noncomputable
nondecomposable
nonerasing
nonguarded
nonlabelled
nonlogical
nonmonadic
nonpersistent
nonpolynomial
nonpreemptive
nonreal
nonrecursive
nonredundant
nonscalar
nonsequential
nov
numberings
o
oct
offline
online
optimisation
optimisers
org
organisation
orique
outerplanar
p
pentads
permuter
permuters
po
poly
polynomially
polyomino
polyominoes
polytopes
posets
powerdomains
prenex
preperfectness
preprocessed
primality
pubcountry
q
quasirealtime
queueing
realtime
rebalancing
recognisable
reducibilities
relat
relativized
relator
ru
rzy
s
schematological
sciencedirect
semiThue
semigroup
semigroups
semilinear
semiring
sep
serialisability
shi
sho
showtags
si
skel
sok
solvability
squarefree
st
starheight
subfamily
sublinear
submonoid
subrecursive
subsemigroup
subterms
subword
subwords
superconcentrator
superconcentrators
superexponential
supernets
supersequence
synchronisation
synchronised
systolic
systolically
szyn
tautologous
tcs
teborg
tel
th
tha
tractible
transductions
trilinear
twocolumn
u
unboundedly
und
undecidability
unranking
unsrt
utah
valuedness
vant
vonzurGathen
vs
w
wc
wordsequence
worktape
www
x
xx
ya
zanc
zeilles
zur