×

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,083 Publications (since 2005)
References indexed: 335 Publications with 10,463 References
all top 5

Authors

11 Bojańczyk, Mikołaj
10 Chatterjee, Krishnendu
9 Jacobs, Bart
9 Larsen, Kim Guldstrand
9 Segoufin, Luc
9 Worrell, James B.
8 Birkedal, Lars
8 Hennessy, Matthew C. B.
8 Henzinger, Thomas A.
8 Kurz, Alexander
8 Mayr, Richard M.
8 Milius, Stefan
8 Place, Thomas
7 Abdulla, Parosh Aziz
7 Grohe, Martin
7 Mardare, Radu
7 Rabinovich, Alexander
7 Schröder, Lutz
7 Vardi, Moshe Y.
7 Walukiewicz, Igor
7 Yoshida, Nobuko
6 Bodirsky, Manuel
6 Dal Lago, Ugo
6 Endrullis, Jörg
6 Lasota, Sławomir
6 Møgelberg, Rasmus Ejlers
5 Adámek, Jiří
5 Biernacki, Dariusz
5 Blumensath, Achim
5 Bouyer, Patricia
5 Brihaye, Thomas
5 Clairambault, Pierre
5 Colcombet, Thomas
5 Conradie, Willem J.
5 Coquand, Thierry
5 Courcelle, Bruno
5 Das, Anupam
5 Figueira, Diego
5 Finkel, Alain
5 Ghani, Neil
5 Goubault-Larrecq, Jean
5 Kesner, Delia
5 Klin, Bartek
5 Kopczyński, Eryk
5 Krajíček, Jan
5 Kupke, Clemens
5 Leroux, Jérôme
5 Lutz, Carsten
5 Markey, Nicolas
5 Melgratti, Hernán
5 Montanari, Ugo G.
5 Muscholl, Anca
5 Normann, Dag
5 Ouaknine, Joel O.
5 Parrow, Joachim
5 Pattinson, Dirk
5 Pauly, Arno M.
5 Pous, Damien
5 Raskin, Jean-François
5 Rutten, Jan J. M. M.
5 Uustalu, Tarmo
5 van Glabbeek, Robert Jan
5 Velebil, Jiří
5 Venema, Yde
5 Vollmer, Heribert
5 Yang, Hongseok
4 Abel, Andreas M.
4 Ahrens, Benedikt
4 Atig, Mohamed Faouzi
4 Barceló, Pablo
4 Ben-Amram, Amir M.
4 Bertrand, Nathalie
4 Bollig, Benedikt
4 Bonchi, Filippo
4 Bonsangue, Marcello Maria
4 Borgström, Johannes
4 Bouajjani, Ahmed
4 Bruyère, Véronique
4 Carton, Olivier
4 de’Liguoro, Ugo
4 Dezani-Ciancaglini, Mariangiola
4 Filiot, Emmanuel
4 Gauwin, Olivier
4 Gimbert, Hugo
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 Kiefer, Stefan
4 Kobayashi, Naoki
4 König, Barbara
4 Kozen, Dexter C.
4 Laroussinie, François
4 Lenglet, Sergueï
4 Libkin, Leonid O.
4 Lohrey, Markus
...and 1,527 more Authors
all top 5

Fields

847 Computer science (68-XX)
675 Mathematical logic and foundations (03-XX)
83 Category theory; homological algebra (18-XX)
40 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
32 Order, lattices, ordered algebraic structures (06-XX)
20 General algebraic systems (08-XX)
19 General topology (54-XX)
18 Combinatorics (05-XX)
18 Probability theory and stochastic processes (60-XX)
13 Information and communication theory, circuits (94-XX)
11 Quantum theory (81-XX)
8 Operations research, mathematical programming (90-XX)
7 Functional analysis (46-XX)
6 Group theory and generalizations (20-XX)
4 Measure and integration (28-XX)
4 Ordinary differential equations (34-XX)
4 Systems theory; control (93-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
3 Algebraic topology (55-XX)
3 Numerical analysis (65-XX)
2 Number theory (11-XX)
2 Associative rings and algebras (16-XX)
2 Real functions (26-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Operator theory (47-XX)
1 General and overarching topics; collections (00-XX)
1 Field theory and polynomials (12-XX)
1 Algebraic geometry (14-XX)
1 Nonassociative rings and algebras (17-XX)
1 Topological groups, Lie groups (22-XX)
1 Functions of a complex variable (30-XX)
1 Integral equations (45-XX)
1 Geometry (51-XX)
1 Convex and discrete geometry (52-XX)
1 Manifolds and cell complexes (57-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Biology and other natural sciences (92-XX)

Publications by Year

Citations contained in zbMATH

Loading citation profile