×

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 published open access.
Documents indexed: 895 Publications (since 2005)
References indexed: 156 Publications with 4,818 References
all top 5

Authors

9 Chatterjee, Krishnendu
8 Birkedal, Lars
8 Jacobs, Bart
8 Kurz, Alexander
8 Mayr, Richard M.
8 Segoufin, Luc
8 Worrell, James B.
7 Abdulla, Parosh Aziz
7 Bojańczyk, Mikołaj
7 Larsen, Kim Guldstrand
7 Milius, Stefan
7 Rabinovich, Alexander
7 Vardi, Moshe Y.
7 Walukiewicz, Igor
6 Grohe, Martin
6 Henzinger, Thomas A.
6 Place, Thomas
6 Yoshida, Nobuko
5 Adámek, Jiří
5 Bodirsky, Manuel
5 Clairambault, Pierre
5 Dal Lago, Ugo
5 Endrullis, Jörg
5 Ghani, Neil
5 Kupke, Clemens
5 Mardare, Radu
5 Møgelberg, Rasmus Ejlers
5 Normann, Dag
5 Rutten, Jan J. M. M.
5 Schröder, Lutz
5 Uustalu, Tarmo
5 Velebil, Jiří
5 Vollmer, Heribert
5 Yang, Hongseok
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 Goubault-Larrecq, Jean
4 Hansen, Helle Hvid
4 Hendriks, Dimitri
4 Hermanns, Holger
4 Hliněný, Petr
4 Jančar, Petr
4 Japaridze, Giorgi
4 König, Barbara
4 Kopczyński, Eryk
4 Laroussinie, François
4 Lasota, Sławomir
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 Ouaknine, Joel O.
4 Padovani, Luca
4 Parrow, Joachim
4 Pattinson, Dirk
4 Pauly, Arno M.
4 Plotkin, Gordon D.
4 Pous, Damien
4 Raskin, Jean-François
4 Schweikardt, Nicole
4 Schwinghammer, Jan
4 Silva, Alexandra
4 Straßburger, Lutz
4 van Glabbeek, Robert Jan
4 Venema, Yde
4 Weihrauch, Klaus
4 Zeitoun, Marc
3 Abel, Andreas M.
3 Ahrens, Benedikt
3 Altenkirch, Thorsten
3 Avron, Arnon
3 Baldan, Paolo
3 Ben-Amram, Amir M.
3 Berger, Ulrich
3 Bès, Alexis
3 Beyersdorff, Olaf
3 Biernacki, Dariusz
3 Bollig, Benedikt
3 Borgström, Johannes
3 Bouajjani, Ahmed
3 Brihaye, Thomas
3 Bruyère, Véronique
3 Castellan, Simon
3 Chen, Hubie
...and 1,286 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription