AAS
AAT
ACC
AFA
AFL
AFLs
AGS
AGT
AHC
AKP
ARD
ASA
ASC
ASF
AST
Abteilung
Acad
Ae
Aiello
Aignan
Amiens
Anf
Angewandte
Appl
Araki
Arco
Ashcroft
Ashenhurst
Aubin
Autebert
B
BS
Bai
Bakker
Barendregt
Beauquier
Beeri
Bennison
Bergstra
Beschreibungsverfahren
BibNet
BibTeX
Bibel
Bielefeld
Boasson
Bohm
Bollman
Brandstadt
Brno
Burkhard
C
CACI
CBF
CBG
CBP
CBT
CCE
CCL
CCP
CCS
CDS
CFF
CGA
CMH
CMN
CNF
CNR
CNRS
CODEN
COMP
CPC
CPD
CPG
CPL
CPP
CPT
CRC
CRR
CS
CSAV
CSL
CSN
CSP
Calcul
Castelnuovo
Centre
Centrum
Chaitin
Chandra
Chesnay
Choffrut
Chottin
Christol
Ciancaglini
Cibernetica
Coll
Comp
Compendex
Concordia
Courcelle
Cremers
Culik
Czechoslovak
D
DAC
DAI
DHP
DLL
DP
DPDA's
DPO
DPS
DRC
DRD
DSE
DT
DTA
DTH
Datalogisk
DeBakker
Dezani
Div
Dobkin
Dolev
Domaine
Duval
Dyck
E
ECS
EECS
EGD
EGT
EHS
ELC
EPS
ERF
ETH
ETOL
ETS
EWT
EXRUD
Egli
Ehrenfeucht
Eilenberg
Eilenberg's
Elaborazione
Elgot
Elgot's
Emde
Engelfriet
Engng
Enschede
Estatistica
F
FAM
FAX
FCL
FCO
FDD
FEC
FEL
FIH
FP
FSM
FSS
FVT
Fachbereich
Faculte
Fakultat
Ferrante
Fich
Flajolet
Formale
Forshungsinst
Francon
Fredman
G
GEF
GFN
GRR
GSF
GUHA
Galil
Garey
Geiser
Geller
Greibach
Groote
Guessarian
H
HD
HGI
HVC
Hajek
Hartmanis
Hashiguchi
Haute
Havel
Hindley
Hirschberg
Hopcroft
Hosono
Hotz
Hsieh
Huet
ICR
IFE
IIC
IIS
ILB
INSCC
INSPEC
IOD
IPL
IPS
IRIA
ISR
ISSN
ISWIM
IVD
Ibarra
Informatik
Init
Inoue
Inst
Intuitionistic
Iria
Istituto
J
JWB
Jena
Jozef
Jul
K
Karhumaki
Karlsruhe
Kasami
Kleene
Kleene's
Kleiman
Klop
Ko
Kobenhavn
Kobenhavns
Kri
Kwong
L
LBL
LBN
LBS
LCF
LCP
LFP
LGL
LIC
LL
LOR
LR
LSM
LSR
LaTeX
Laaser
Ladner
Lallement
Landweber
Laplaza
Latteux
Le
Leeuwen
Lehmann
Leiden
Lett
Lille
Lindenmayer
Linna
Lipski
Ljubljana
Logik
Loveland's
Luckhardt
M
MDT
MFL
MFT
MPP
MSI
MSIa
MSIb
MST
Machtey
Majster
Mal
Mandel
Marek
Markowsky
Matematica
Matematico
Maurer
Mayaguez
McCreight
Meertens
Megiddo
Meyer's
Meznik
Mignotte
Milner
Minicozzi
Monien
Morgenstern
Munchen
N
NCD
NL
NND
NP
NPF
NPT
NRR
NSS
Nakamura
Napoli
Nijholt
Normandie
O
OCLC
OET
OSM
OTM
OWF
Och
Olshansky
Ont
Optimisation
Orsay
Ottmann
P
PAF
PDA's
PLS
PPA
PRC
PRS
PTAPE
Pansiot
Papadimitriou
Parc
Pardo
Parikh
Pawlak
Penttonen
Peretti
Perrin
Perrot
Phys
Picardie
Piet
Pietrzykowski
Pippenger
Pisa
Plaisted
Plotkin
Pnueli
Pomega
Preparata
Presburger
Prodinger
Programmation
Pu
Pudlak
QER
QPV
Que
Queueing
R
RAS
RBC
RBD
RBE
RBF
RBG
RBP
RBS
RCN
RGC
RGP
RM
RPO
RPV
RR
RRB
RRC
RSD
RTL
RTLa
RTLb
Rackoff
Raoult
Rehovot
Res
Restivo
Reutenauer
Rivest
Rocca
Rocquencourt
Ros
Rosenkrantz
Rosser
Rouen
Rozenberg
Ruohonen
S
SCG
SCV
SDP
SECD
SFW
SLP
SMC
SMW
SNP
SPL
SSB
SSC
SSN
STL
Saarbrucken
Saarlandes
Sabatier
Sahni
Salomaa
Sato
Savitch
Schnorr
Schnorr's
Schonhage
Schutzenberger
Scott's
Seiferas
Sektion
Selman
Sendai
Shamir
Shepherdson
Skyum
Smyth
Soare
Soininen
Soisalon
Soittola
Solovay's
Spanier
Specker
Spor
Sprachen
Springsteel
Starke
Statman
Stockmeyer
Strasbourg
Strassen
Strassen's
Sturt
Subword
Swansea
Szymanski
T
TBS
TCE
TCSCDI
TDI
THEOR
TLE
TLP
TST
TTC
TTG
Ta
Takanami
Talence
Tarjan
TeX
Technol
Tendell
Th
Tohoku
Torino
Toulouse
Toyonaka
Trakhtenbrot
Tubingen
Tue
Turku
Twente
UAI
UAT
UER
URL
Ube
Univ
Urbanek
V
VLO
VOA
VOAa
VOAb
VOAc
VSF
Valiant's
Valrose
Vau
Verbeek
Vilfan
Villeneuve
Vitanyi
Voluceau
Vrije
Vuillemin
W
WWW
Wassenaarseweg
Wechsung
Wegener
Weihrauch
Weizmann
Weyhrauch
Wien
Winograd's
Wrathall
Y
Yamaguchi
Yehudai
Z
ZZF
Zassenhaus
abbrev
ack
acknowledgement
acm
algebraicized
apr
ary
aug
ba
beebe
bibdate
bibmods
bibnames
bibsort
bijectivity
boundedness
byvolume
chan
characterisations
chet
co
codetable
com
combinatory
corpsource
d
d'Ascq
d'Informatique
da
de
deGroote
dec
dell'Informazione
des
di
diagonalization
diophantine
docstring
dra
e
edu
elsevier
email
er
estoc
feb
findability
fixpoint
flowgraph
generable
generalised
hereditarily
html
http
i
ieee
injectivity
intensionalities
intuitionistic
ique
irreducibility
isotone
ispell
issn
j
jp
jul
jun
k
ka
kow
krantz
ku
labelled
li
ltx
mann
mcs
monoids
multicounter
multihead
n
nhfb
nl
nonerasing
nov
o
oct
offline
online
optimisation
org
organisation
organisations
pentads
permutators
po
polyautomata
posets
pre
primality
pubcountry
quasirealtime
queueing
r
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
tha
transductions
travelling
twocolumn
u
und
undecidability
unsrt
utah
vanEmdeBoas
vant
wc
www
x
xx
xy
y
ya
yx
zanc
zeilles