×

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: 954 Publications (since 2005)
References indexed: 206 Publications with 6,309 References
all top 5

Authors

10 Chatterjee, Krishnendu
9 Worrell, James B.
8 Birkedal, Lars
8 Bojańczyk, Mikołaj
8 Jacobs, Bart
8 Kurz, Alexander
8 Mayr, Richard M.
8 Place, Thomas
8 Segoufin, Luc
7 Abdulla, Parosh Aziz
7 Henzinger, Thomas A.
7 Larsen, Kim Guldstrand
7 Milius, Stefan
7 Rabinovich, Alexander
7 Vardi, Moshe Y.
7 Walukiewicz, Igor
6 Grohe, Martin
6 Schröder, Lutz
6 Yoshida, Nobuko
5 Adámek, Jiří
5 Biernacki, Dariusz
5 Bodirsky, Manuel
5 Clairambault, Pierre
5 Dal Lago, Ugo
5 Endrullis, Jörg
5 Ghani, Neil
5 Kopczyński, Eryk
5 Kupke, Clemens
5 Lasota, Sławomir
5 Lutz, Carsten
5 Mardare, Radu
5 Møgelberg, Rasmus Ejlers
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 Blumensath, Achim
4 Bonchi, Filippo
4 Bonsangue, Marcello Maria
4 Bouyer, Patricia
4 Colcombet, Thomas
4 Coquand, Thierry
4 Courcelle, Bruno
4 de’Liguoro, Ugo
4 Dezani-Ciancaglini, Mariangiola
4 Figueira, Diego
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 König, Barbara
4 Laroussinie, François
4 Lenglet, Sergueï
4 Leroux, Jérôme
4 Libkin, Leonid O.
4 Lohrey, Markus
4 Loreti, Michele
4 Markey, Nicolas
4 Metcalfe, George
4 Montanari, Ugo G.
4 Muscholl, Anca
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 Schweikardt, Nicole
4 Schwentick, Thomas
4 Schwinghammer, Jan
4 Silva, Alexandra
4 Skrzypczak, Michał
4 Straßburger, Lutz
4 van Glabbeek, Robert Jan
4 Weihrauch, Klaus
4 Wolter, Frank
4 Zeitoun, Marc
4 Zimmermann, Martín G.
3 Abel, Andreas M.
3 Altenkirch, Thorsten
3 Avron, Arnon
3 Baldan, Paolo
...and 1,356 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription