×

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,037 Publications (since 2005)
References indexed: 290 Publications with 9,108 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 Hennessy, Matthew C. B.
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 Conradie, Willem J.
5 Coquand, Thierry
5 Dal Lago, Ugo
5 Figueira, Diego
5 Ghani, Neil
5 Goubault-Larrecq, Jean
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 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 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 Bollig, Benedikt
4 Bonchi, Filippo
4 Bonsangue, Marcello Maria
4 Bouyer, Patricia
4 Courcelle, Bruno
4 Das, Anupam
4 de’Liguoro, Ugo
4 Dezani-Ciancaglini, Mariangiola
4 Finkel, Alain
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 Kesner, Delia
4 Kiefer, Stefan
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 Manzonetto, Giulio
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 Polonsky, Andrew
...and 1,460 more Authors
all top 5

Fields

841 Computer science (68-XX)
696 Mathematical logic and foundations (03-XX)
67 Category theory; homological algebra (18-XX)
32 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
26 Order, lattices, ordered algebraic structures (06-XX)
17 Probability theory and stochastic processes (60-XX)
15 General algebraic systems (08-XX)
15 General topology (54-XX)
14 Combinatorics (05-XX)
12 Information and communication theory, circuits (94-XX)
8 Quantum theory (81-XX)
7 Operations research, mathematical programming (90-XX)
5 Group theory and generalizations (20-XX)
5 Systems theory; control (93-XX)
4 Measure and integration (28-XX)
4 Functional analysis (46-XX)
3 Ordinary differential equations (34-XX)
3 Numerical analysis (65-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Associative rings and algebras (16-XX)
2 Operator theory (47-XX)
1 General and overarching topics; collections (00-XX)
1 Number theory (11-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 Real functions (26-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 Algebraic topology (55-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

Access to citation profile requires subscription