×

zbMATH — the first resource for mathematics

Logical Methods in Computer Science

Short Title: Log. Methods Comput. Sci.
Publisher: Logical Methods in Computer Science c/o Institute of Theoretical Computer Science, Technical University of Braunschweig, Braunschweig
ISSN: 1860-5974/e
Online: https://lmcs.episciences.org/browse/regularissues
http://www.lmcs-online.org/
Comments: Indexed cover-to-cover; Published electronic only as of Vol. 1 (2005). This journal is available open access.
Documents indexed: 1,010 Publications (since 2005)
References indexed: 252 Publications with 7,767 References
all top 5

Authors

10 Bojańczyk, Mikołaj
10 Chatterjee, Krishnendu
9 Jacobs, Bart
9 Segoufin, Luc
9 Worrell, James B.
8 Birkedal, Lars
8 Kurz, Alexander
8 Mayr, Richard M.
8 Milius, Stefan
8 Place, Thomas
7 Abdulla, Parosh Aziz
7 Henzinger, Thomas A.
7 Larsen, Kim Guldstrand
7 Rabinovich, Alexander
7 Schröder, Lutz
7 Vardi, Moshe Y.
7 Walukiewicz, Igor
6 Bodirsky, Manuel
6 Endrullis, Jörg
6 Grohe, Martin
6 Lasota, Sławomir
6 Mardare, Radu
6 Yoshida, Nobuko
5 Adámek, Jiří
5 Biernacki, Dariusz
5 Blumensath, Achim
5 Clairambault, Pierre
5 Colcombet, Thomas
5 Dal Lago, Ugo
5 Ghani, Neil
5 Klin, Bartek
5 Kopczyński, Eryk
5 Kupke, Clemens
5 Leroux, Jérôme
5 Lutz, Carsten
5 Markey, Nicolas
5 Møgelberg, Rasmus Ejlers
5 Montanari, Ugo G.
5 Muscholl, Anca
5 Normann, Dag
5 Ouaknine, Joel O.
5 Pauly, Arno M.
5 Pous, Damien
5 Rutten, Jan J. M. M.
5 Uustalu, Tarmo
5 Velebil, Jiří
5 Venema, Yde
5 Vollmer, Heribert
5 Yang, Hongseok
4 Ahrens, Benedikt
4 Atig, Mohamed Faouzi
4 Barceló, Pablo
4 Bollig, Benedikt
4 Bonchi, Filippo
4 Bonsangue, Marcello Maria
4 Bouyer, Patricia
4 Conradie, Willem J.
4 Coquand, Thierry
4 Courcelle, Bruno
4 Das, Anupam
4 de’Liguoro, Ugo
4 Dezani-Ciancaglini, Mariangiola
4 Figueira, Diego
4 Gauwin, Olivier
4 Gimbert, Hugo
4 Goubault-Larrecq, Jean
4 Hansen, Helle Hvid
4 Hendriks, Dimitri
4 Hermanns, Holger
4 Hirschkoff, Daniel
4 Hliněný, Petr
4 Immerman, Neil
4 Jančar, Petr
4 Japaridze, Giorgi
4 Kesner, Delia
4 König, Barbara
4 Kozen, Dexter C.
4 Laroussinie, François
4 Lenglet, Sergueï
4 Libkin, Leonid O.
4 Lohrey, Markus
4 Loreti, Michele
4 Metcalfe, George
4 Mio, Matteo
4 Nielson, Flemming
4 Nour, Karim
4 Padovani, Luca
4 Parrow, Joachim
4 Pattinson, Dirk
4 Plotkin, Gordon D.
4 Polesiuk, Piotr
4 Raskin, Jean-François
4 Sangiorgi, Davide
4 Schnoebelen, Philippe
4 Schweikardt, Nicole
4 Schwentick, Thomas
4 Schwinghammer, Jan
4 Silva, Alexandra
4 Skrzypczak, Michał
4 Straßburger, Lutz
...and 1,438 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription