Search alternatives:
languages » language
axiomatic » automatic, aromatic
automata » automated, automatic
languages » language
axiomatic » automatic, aromatic
automata » automated, automatic
Narrow Search
004 - Data processing & computer science
57
005 - Computer programming, programs & data
39
006 - Special computer methods
16
511 - General principles of mathematics
6
003 - Systems
3
160 - Logic
2
more ...
510 - Mathematics
2
512 - Algebra
2
401 - Philosophy & theory
1
410 - Linguistics
1
518 - Numerical analysis
1
519 - Probabilities & applied mathematics
1
629 - Other branches of engineering
1
see all ...
less ...
Ebbinghaus, Heinz-Dieter
3
Nerode, Anil
3
Baeten, Jos C.M.
2
Bowen, Jonathan P.
2
Enjalbert, Patrice
2
Finkel, Alain
2
more ...
Kanamori, Akihiro
2
Kirchner, Helene
2
Li, Wei
2
Libkin, Leonid
2
Monien, Burkhard
2
Montanari, Ugo
2
Nivat, Maurice
2
Schmidt, Renate
2
Wagner, Klaus W.
2
Wirsing, Martin
2
Zermelo, Ernst
2
Abadi, Martin
1
Alt, Helmut
1
Artemov, Sergei
1
Bae, Kyungmin
1
Baier, Christel
1
Ball, Tom
1
Bauer, F.L.
1
Baumgartner, Peter
1
Becvar, J.
1
Beierle, Christoph
1
Benevides, Mário
1
Berardi, Stefano
1
Bezem, Marc
1
Blikle, A.
1
Bloom, Stephen L.
1
Blume, Matthias
1
Boca, Paul
1
Bojańczyk, Mikołaj
1
Bolc, Leonard
1
Borowik, Piotr
1
Butler, Michael
1
Börger, Egon
1
Cantone, Domenico
1
Cate, Balder D. ten
1
Ciobanu, Gabriel
1
Clarke, E.
1
Cleaveland, Walter R.
1
Clote, Peter G.
1
Cooper, W.S.
1
Coppo, Mario
1
Cori, Robert
1
Dalen, Dirk van
1
Degano, Pierpaolo
1
Demri, Stéphane
1
Denvir, Tim
1
Diaz, J.
1
Dunne, Steve
1
Eiter, Thomas
1
Esik, Zoltan
1
Even, S.
1
Fahrenberg, Uli
1
Ferreira, Afonso
1
Flach, Peter
1
Fleuriot, Jacques
1
Fontaine, Pascal
1
Fraser, Craig G.
1
Freivalds, Rusins
1
Froidevaux, Christine
1
Gabbay, Dov M.
1
Galloway, Andy
1
Gecseg, F.
1
Gelfond, Michael
1
Gergely, Tamas
1
Ghilardi, Silvio
1
Girard, Jean-Yves
1
Gorrieri, Roberto
1
Groote, Philippe de
1
Grundy, Jim
1
Haveraaen, Magne
1
Herman, Rosalind
1
Hermanns, Holger
1
Hindley, J. Roger
1
Honsell, Furio
1
Hurd, Joe
1
Ida, Tetsuo
1
Ito, Takayasu
1
Jansen, Nils
1
Jantzen, Matthias
1
Jech, Thomas
1
Jin, Yaochu
1
Jipsen, Peter
1
Jones, Cliff B.
1
Jouannaud, Jean-Pierre
1
Kaplan, Stephane
1
Kapur, Deepak
1
Kariv, O.
1
Karpinski, Marek
1
King, Steve
1
Kobayashi, Naoki
1
Kohlas, Juerg
1
Kohlenbach, Ulrich
1
Kozen, D.
1
Krantz, Steven G.
1
see all ...
less ...
Search Tools