ID:DA07348676
International Symposia on Logical Foundations of Computer Science
Symposium on Logical Foundations of Computer Science
LFCS
Search authors sharing the same name
Sergei Artemov, Anil Nerode (eds.)
Springer c2022 Lecture notes in computer science 13137 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
Springer c2020 Lecture notes in computer science 11972 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Springer c2018 Lecture notes in computer science 10703 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 2 libraries
Sergei N. Artemov, Anil Nerode (eds.)
Springer c2007 Lecture notes in computer science 4514
Available at 4 libraries
Sergei Adian, Anil Nerode, (eds.)
Springer-Verlag c1997 Lecture notes in computer science 1234
Available at 51 libraries
A. Nerode, Yu. V. Matiyasevich (eds.)
Springer-Verlag c1994 Lecture notes in computer science 813
: us , : gw
Available at 63 libraries
A. Nerode, M. Taitslin (eds.)
Springer-Verlag c1992 Lecture notes in computer science 620
: gw , : us
Available at 53 libraries
A.R. Meyer, M.A. Taitslin (eds.)
Springer-Verlag c1989 Lecture notes in computer science 363