(1 - 7 von 11
)
HPSG Gazette, Issue 3, May. 97
www.sfs.uni-tuebingen.de
Tobias Nipkow (TU Muenchen) Martin Odersky (TU Karlsruhe and University of South Australia) ... Anil Nerode (Cornell University) Vijay Saraswat (AT&T Research)
Logic Links
www.math.uni-tuebingen.de
Ludwig-Maximilians-Universität München · Wilfried Buchholz · Oliver ... Michael Morley · Anil Nerode · Richard Shore. Florida International ...
Who's That Mathematician? Paul R. Halmos Collection - Page 37 |...
www.maa.org
Logician Anil Nerode was photographed by Halmos in 1958, probably at the Institute for Advanced Study in Princeton, N.J., where both spent the
Hajiaghayi Wins Nerode Prize | UMIACS
www.umiacs.umd.edu
The EATCS Nerode Prize, first awarded in 2013, is named in honor of Anil Nerode for his major contributions to mathematical logic, theory of ...
First CfP: CiE 2007, Siena, June 2007
resources.illc.uva.nl
... Maass (Graz) Sophie Laplante (Paris) Anil Nerode (Cornell) Roger ... H. Schwichtenberg (Muenchen) W. Sieg (Carnegie Mellon) A. Sorbi ...
LICS Newsletter 117
lics.siglog.org
LFCS Steering Committee: Anil Nerode (General Chair); Stephen Cook; Dirk van ... Second-order Logic (tutorial) - Markus Holzer (Muenchen): Nondeterministic ...
Second Call for Papers: CiE 2007, Siena (Italy), June 2007
resources.illc.uva.nl
... of Cryptographic Systems ANIL NERODE (Cornell) - Logic and Control ... H. Schwichtenberg (Muenchen) W. Sieg (Carnegie Mellon) A. Sorbi ...
sortiert nach Relevanz / Datum