×

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,108 Publications (since 2005)
References Indexed: 360 Publications with 11,426 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 Endrullis, Jörg
7 Grohe, Martin
7 Mardare, Radu
7 Rabinovich, Alexander
7 Schröder, Lutz
7 Vardi, Moshe Y.
7 Walukiewicz, Igor
7 Yoshida, Nobuko
6 Adámek, Jiří
6 Blumensath, Achim
6 Bodirsky, Manuel
6 Dal Lago, Ugo
6 Lasota, Sławomir
6 Møgelberg, Rasmus Ejlers
6 van Glabbeek, Robert Jan
5 Ahrens, Benedikt
5 Biernacki, Dariusz
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 Velebil, Jiří
5 Venema, Yde
5 Vollmer, Heribert
5 Yang, Hongseok
4 Abel, Andreas M.
4 Atig, Mohamed Faouzi
4 Barceló, Pablo
4 Ben-Amram, Amir M.
4 Bertrand, Nathalie
4 Bès, Alexis
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 Kawai, Tatsuji
4 Kiefer, Stefan
4 Klop, Jan Willem
4 Kobayashi, Naoki
4 König, Barbara
4 Kozen, Dexter C.
4 Laroussinie, François
...and 1,549 more Authors
all top 5

Fields

859 Computer science (68-XX)
689 Mathematical logic and foundations (03-XX)
88 Category theory; homological algebra (18-XX)
42 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
34 Order, lattices, ordered algebraic structures (06-XX)
20 General algebraic systems (08-XX)
20 General topology (54-XX)
19 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)
5 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)
2 Biology and other natural sciences (92-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 Partial differential equations (35-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 Classical thermodynamics, heat transfer (80-XX)

Publications by Year

Citations contained in zbMATH Open

692 Publications have been cited 2,852 times in 2,156 Documents Cited by Year
Generic trace semantics via coinduction. Zbl 1131.68058
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
44
2007
Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem. Zbl 1239.08002
Barto, Libor; Kozik, Marcin
33
2012
Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035
Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C.
30
2008
Psi-calculi: a framework for mobile processes with nominal data and logic. Zbl 1213.68399
Bengtson, Jesper; Johansson, Magnus; Parrow, Joachim; Victor, Björn
29
2011
Algorithmic correspondence and completeness in modal logic. I: The core algorithm SQEMA. Zbl 1126.03018
Conradie, Willem; Goranko, Valentin; Vakarelov, Dimiter
28
2006
From nondeterministic Büchi and Streett automata to deterministic parity automata. Zbl 1125.68067
Piterman, Nir
28
2007
A characterisation of first-order constraint satisfaction problems. Zbl 1131.68098
Larose, Benoit; Loten, Cynthia; Tardif, Claude
24
2007
Automatic structures: richness and limitations. Zbl 1128.03028
Khoussainov, Bakhadyr; Nies, Andre; Rubin, Sasha; Stephan, Frank
24
2007
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
21
2007
Relating coalgebraic notions of bisimulation. Zbl 1247.68192
Staton, Sam
20
2011
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid
19
2008
First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Zbl 1269.03035
Birkedal, Lars; Møgelberg, Rasmus Ejlers; Schwinghammer, Jan; Støvring, Kristian
19
2012
General recursion via coinductive types. Zbl 1125.68038
Capretta, Venanzio
19
2005
Cores of countably categorical structures. Zbl 1128.03021
Bodirsky, Manuel
19
2007
Game refinement relations and metrics. Zbl 1147.68056
de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle
18
2008
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
18
2013
Handling algebraic effects. Zbl 1314.68191
Plotkin, Gordon D.; Pretnar, Matija
18
2013
On the algebraic structure of Weihrauch degrees. Zbl 1454.03053
Brattka, Vasco; Pauly, Arno
18
2018
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
17
2010
Automata theory in nominal sets. Zbl 1338.68140
Bojańczyk, Mikołaj; Klin, Bartek; Lasota, Sławomir
17
2014
Neighbourhood structures: bisimilarity and basic model theory. Zbl 1172.03011
Hansen, Helle Hvid; Kupke, Clemens; Pacuit, Eric
16
2009
On the decidability and complexity of metric temporal logic over finite words. Zbl 1128.03008
Ouaknine, Joel O.; Worrell, James B.
16
2007
New directions in categorical logic, for classical, probabilistic and quantum logic. Zbl 1338.03117
Jacobs, Bart
16
2015
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
15
2008
Model checking probabilistic pushdown automata. Zbl 1126.68053
Kučera, Antonín; Esparza, Javier; Mayr, Richard
15
2006
On global types and multi-party sessions. Zbl 1238.68026
Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Padovani, Luca
15
2012
Linear encodings of bounded LTL model checking. Zbl 1127.68057
Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor
14
2006
Normalisation control in deep inference via atomic flows. Zbl 1142.03033
Guglielmi, Alessio; Gundersen, Tom
13
2008
The degree structure of Weihrauch-reducibility. Zbl 1271.03057
Higuchi, Kojiro; Pauly, Arno
13
2013
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. Zbl 1126.68376
Neven, Frank; Schwentick, Thomas
13
2006
Epistemic updates on algebras. Zbl 1330.03035
Kurz, Alexander; Palmigiano, Alessandra
12
2013
Linear Datalog and bounded path duality of relational structures. Zbl 1125.68408
Dalmau, Victor
12
2005
Elgot algebras. Zbl 1127.68058
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
12
2006
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination. Zbl 1241.68096
Cohen, Cyril; Mahboubi, Assia
12
2012
General bindings and alpha-equivalence in Nominal Isabelle. Zbl 1242.68283
Urban, Christian; Kaliszyk, Cezary
11
2012
Unification in the description logic EL. Zbl 1214.68379
Baader, Franz; Morawska, Barbara
11
2010
Flow faster: efficient decision algorithms for probabilistic simulations. Zbl 1161.68473
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
11
2008
The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016
Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y.
11
2008
Asymptotically almost all \(\lambda \)-terms are strongly normalizing. Zbl 1278.03034
David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek
11
2013
(Leftmost-outermost) beta reduction is invariant, indeed. Zbl 1394.68137
Accattoli, Beniamino; Dal Lago, Ugo
11
2016
Separating regular languages with first-order logic. Zbl 1448.68273
Place, Thomas; Zeitoun, Marc
11
2016
Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224
Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel
11
2013
Non-idempotent intersection types and strong normalisation. Zbl 1297.03010
Bernadet, Alexis; Lengrand, Stéphane Jean
11
2013
Globally governed session semantics. Zbl 1448.68344
Kouzapas, Dimitrios; Yoshida, Nobuko
11
2014
Parity and Streett games with costs. Zbl 1335.68137
Fijalkow, Nathanaël; Zimmermann, Martin
11
2014
Contextual equivalence for higher-order pi-calculus revisited. Zbl 1125.68084
Jeffrey, Alan S. A.; Rathke, Julian
11
2005
Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
11
2015
A synthesis of the procedural and declarative styles of interactive theorem proving. Zbl 1238.68147
Wiedijk, Freek
11
2012
Algebraic notions of termination. Zbl 1214.68185
Desharnais, Jules; Möller, Bernhard; Struth, Georg
10
2011
Towards a proof theory of Gödel modal logics. Zbl 1266.03044
Metcalfe, George; Olivetti, Nicola
10
2011
Enriched \(\mu\)-calculi module checking. Zbl 1147.68049
Ferrante, Alessandro; Murano, Aniello; Parente, Mimmo
10
2008
Model checking probabilistic timed automata with one or two clocks. Zbl 1147.68574
Jurdzinski, Marcin; Sproston, Jeremy; Laroussinie, Francois
10
2008
Abstract GSOS rules and a modular treatment of recursive definitions. Zbl 1307.68051
Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel
10
2013
Querying the guarded fragment. Zbl 1314.68146
Bárány, Vince; Gottlob, Georg; Otto, Martin
10
2014
An operational foundation for delimited continuations in the CPS hierarchy. Zbl 1125.68050
Biernacka, Małgorzata; Biernacki, Dariusz; Danvy, Olivier
10
2005
Semantics of separation-logic typing and higher-order frame rules for Algol-like languages. Zbl 1127.68019
Birkedal, Lars; Torp-Smith, Noah; Yang, Hongseok
10
2006
Backward reachability of array-based systems by SMT solving: termination and invariant synthesis. Zbl 1213.68379
Ghilardi, Silvio; Ranise, Silvio
10
2010
QRB-domains and the probabilistic powerdomain. Zbl 1239.06002
Goubault-Larrecq, Jean
10
2012
Deciding Kleene algebras in Coq. Zbl 1238.68146
Braibant, Thomas; Pous, Damien
10
2012
Alternating register automata on finite words and trees. Zbl 1238.68074
Figueira, Diego
10
2012
Linear dependent types and relative completeness. Zbl 1261.03073
Dal Lago, Ugo; Gaboardi, Marco
9
2012
Model checking of continuous-time Markov chains against timed automata specifications. Zbl 1233.68156
Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
9
2011
Interpolation in local theory extensions. Zbl 1170.03018
Sofronie-Stokkermans, Viorica
9
2008
Coalgebraic automata theory: basic results. Zbl 1161.18001
Kupke, Clemens; Venema, Yde
9
2008
Resolution trees with lemmas: resolution refinements that characterize DLL algorithms with clause learning. Zbl 1159.03009
Buss, Samuel R.; Hoffmann, Jan; Johannsen, Jan
9
2008
The complexity of generalized satisfiability for linear temporal logic. Zbl 1183.03017
Bauland, Michael; Schneider, Thomas; Schnoor, Henning; Schnoor, Ilka; Vollmer, Heribert
9
2009
On the expressiveness and complexity of ATL. Zbl 1143.68044
Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan
9
2008
Full abstraction for nominal general references. Zbl 1188.68179
Tzevelekos, Nikos
9
2009
Computational problems in metric fixed point theory and their Weihrauch degrees. Zbl 1351.03054
Neumann, Eike
9
2015
The power of priority channel systems. Zbl 1448.68341
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
9
2014
Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365
Gebler, Daniel; Larsen, Kim G.; Tini, Simone
9
2016
Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68329
Finkel, Alain; Goubault-Larrecq, Jean
9
2012
Essential convexity and complexity of semi-algebraic constraints. Zbl 1253.68143
Bodirsky, Manuel; Jonsson, Peter; von Oertzen, Timo
9
2012
The succinctness of first-order logic on linear orders. Zbl 1125.03024
Grohe, Martin; Schweikardt, Nicole
9
2005
Logics for unranked trees: an overview. Zbl 1126.03039
Libkin, Leonid
9
2006
Generalized majority-minority operations are tractable. Zbl 1127.68039
Dalmau, Victor
9
2006
Expressiveness of metric modalities for continuous time. Zbl 1128.03007
Hirshfeld, Yoram; Rabinovich, Alexander
9
2007
Logic meets algebra: the case of regular languages. Zbl 1128.03029
Tesson, Pascal; Thérien, Denis
9
2007
Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002
Keimel, Klaus; Plotkin, Gordon D.
9
2017
Reasoning about strategies: on the satisfiability problem. Zbl 1448.68312
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
9
2017
Ludics with repetitions (exponentials, interactive types and completeness). Zbl 1218.03025
Basaldella, Michele; Faggian, Claudia
8
2011
Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity. Zbl 1252.68161
Nishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
8
2012
On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062
Bodirsky, Manuel; Hils, Martin; Martin, Barnaby
8
2012
Classical BI: its semantics and proof theory. Zbl 1198.03028
Brotherston, James; Calcagno, Cristiano
8
2010
Interactive learning-based realizability for Heyting arithmetic with \(\mathrm{EM}_1\). Zbl 1201.03052
Aschieri, Federico; Berardi, Stefano
8
2010
A rational deconstruction of Landin’s SECD machine with the J operator. Zbl 1161.68012
Danvy, Olivier; Millikin, Kevin
8
2008
The Wadge hierarchy of deterministic tree languages. Zbl 1159.03025
Murlak, Filip
8
2008
On the expressive power of 2-stack visibly pushdown automata. Zbl 1161.68023
Bollig, Benedikt
8
2008
Formalising the pi-calculus using nominal logic. Zbl 1168.68030
Bengtson, Jesper; Parrow, Joachim
8
2009
Structure theorem and strict alternation hierarchy for FO\(^{2}\) on words. Zbl 1168.03019
Weis, Philipp; Immerman, Neil
8
2009
Lower bounds for complementation of \(\omega \)-automata via the full automata technique. Zbl 1158.68022
Yan, Qiqi
8
2008
Model checking one-clock priced timed automata. Zbl 1149.68401
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
8
2008
Separability in the ambient logic. Zbl 1151.03017
Lozes, Étienne; Hirschkoff, Daniel; Sangiorgi, Davide
8
2008
Rational streams coalgebraically. Zbl 1147.68024
Rutten, Jan
8
2008
Computation tree logic with deadlock detection. Zbl 1200.68166
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
8
2009
Regular cost functions. I: Logic and algebra over words. Zbl 1280.03044
Colcombet, Thomas
8
2013
Finite choice, convex choice and finding roots. Zbl 1448.03052
Le Roux, Stéphane; Pauly, Arno
8
2015
Computability of 1-manifolds. Zbl 1315.03118
Burnik, Konrad; Iljazovic, Zvonko
8
2014
Reachability analysis of communicating pushdown systems. Zbl 1248.68330
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
8
2012
The monadic second-order logic of graphs. XVI: Canonical graph decompositions. Zbl 1126.03016
Courcelle, Bruno
8
2006
Reconfiguration and message losses in parameterized broadcast networks. Zbl 07327956
Bertrand, Nathalie; Bouyer, Patricia; Majumdar, Anirban
1
2021
Failure trace semantics for a process algebra with time-outs. Zbl 07350777
van Glabbeek, Rob
1
2021
Modalities in homotopy type theory. Zbl 07155169
Rijke, Egbert; Shulman, Michael; Spitters, Bas
6
2020
Probabilistic logics based on Riesz spaces. Zbl 1442.03010
Furber, Robert; Mardare, Radu; Mio, Matteo
2
2020
Efficient and modular coalgebraic partition refinement. Zbl 1442.68113
Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz
2
2020
Regular tree algebras. Zbl 07168152
Blumensath, Achim
2
2020
Classical control, quantum circuits and linear logic in enriched category theory. Zbl 07199589
Rennela, Mathys; Staton, Sam
2
2020
On the logical complexity of cyclic arithmetic. Zbl 07155168
Das, Anupam
1
2020
Non-idempotent types for classical calculi in natural deduction style. Zbl 07155170
Kesner, Delia; Vial, Pierre
1
2020
Language preservation problems in parametric timed automata. Zbl 1429.68098
André, Étienne; Lime, Didier; Markey, Nicolas
1
2020
Call-by-name gradual type theory. Zbl 1442.68031
New, Max S.; Licata, Daniel R.
1
2020
Continuous regular functions. Zbl 07168153
Gorman, Alexi Block; Hieronymi, Philipp; Kaplan, Elliot; Meng, Ruoyu; Walsberg, Erik; Wang, Zihe; Xiong, Ziqin; Yang, Hongru
1
2020
The complexity of combinations of qualitative constraint satisfaction problems. Zbl 07199580
Bodirsky, Manuel; Greiner, Johannes
1
2020
Translation of algorithmic descriptions of discrete functions to SAT with applications to cryptanalysis problems. Zbl 07199588
Semenov, Alexander; Otpuschennikov, Ilya; Gribanova, Irina; Zaikin, Oleg; Kochemazov, Stepan
1
2020
A new coinductive confluence proof for infinitary lambda calculus. Zbl 07199590
Czajka, Łukasz
1
2020
Completeness of the ZX-calculus. Zbl 07215290
Jeandel, Emmanuel; Perdrix, Simon; Vilmart, Renaud
1
2020
Directed homotopy in non-positively curved spaces. Zbl 07226006
Goubault, Éric; Mimram, Samuel
1
2020
Constructive canonicity of inductive inequalities. Zbl 07243670
Conradie, Willem; Palmigiano, Alessandra
1
2020
On resolving non-determinism in choreographies. Zbl 07269246
Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio
1
2020
The complexity of subgame perfect equilibria in quantitative reachability games. Zbl 07285575
Brihaye, Thomas; Bruyère, Véronique; Goeminne, Aline; Raskin, Jean-François; van den Bogaard, Marie
1
2020
Shrub-depth: capturing height of dense graphs. Zbl 07029306
Ganian, Robert; Hliněný, Petr; Nešetřil, Jaroslav; Obdržálek, Jan; Ossona de Mendez, Patrice
8
2019
Size, cost, and capacity: a semantic technique for hard random qbfs. Zbl 07029312
Beyersdorff, Olaf; Blinkhorn, Joshua; Hinde, Luke
5
2019
Sahlqvist via translation. Zbl 07029314
Conradie, Willem; Palmigiano, Alessandra; Zhao, Zhiguang
4
2019
The subpower membership problem for finite algebras with cube terms. Zbl 07029310
Bulatov, Andrei; Mayr, Peter; Szendrei, Ágnes
3
2019
Displayed categories. Zbl 1419.18001
Ahrens, Benedikt; Lefanu Lumsdaine, Peter
3
2019
Proving soundness of extensional normal-form bisimilarities. Zbl 1421.68011
Biernacki, Dariusz; Lenglet, Serguei; Polesiuk, Piotr
2
2019
On thin air reads: towards an event structures model of relaxed memory. Zbl 1423.68311
Jeffrey, Alan; Riely, James
2
2019
Canonical models and the complexity of modal team logic. Zbl 07056226
Lück, Martin
2
2019
A denotational semantics for SPARC TSO. Zbl 1421.68096
Kavanagh, Ryan; Brookes, Stephen
2
2019
Divergence and unique solution of equations. Zbl 1442.68134
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
2
2019
On the commutativity of the powerspace constructions. Zbl 07093560
de Brecht, Matthew; Kawai, Tatsuji
2
2019
Nash equilibrium and bisimulation invariance. Zbl 1442.68142
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
2
2019
Simplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversity. Zbl 1427.68125
Knop, Dušan; Koutecký, Martin; Masařík, Tomáš; Toufar, Tomáš
2
2019
A Curry-Howard approach to Church’s synthesis. Zbl 07147442
Pradic, Pierre; Riba, Colin
2
2019
Probabilistic call by push value. Zbl 07003198
Ehrhard, Thomas; Tasson, Christine
1
2019
Extending set functors to generalised metric spaces. Zbl 1408.18005
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
1
2019
Degrees of extensionality in the theory of Böhm trees and Sallé’s conjecture. Zbl 07029305
Intrigila, Benedetto; Manzonetto, Giulio; Polonsky, Andrew
1
2019
Algebra, coalgebra, and minimization in polynomial differential equations. Zbl 07029313
Boreale, Michele
1
2019
On the incomparability of cache algorithms in terms of timing leakage. Zbl 07037621
Cañones, Pablo; Köpf, Boris; Reineke, Jan
1
2019
On the first-order complexity of induced subgraph isomorphism. Zbl 1432.03049
Verbitsky, Oleg; Zhukovskii, Maksim
1
2019
Coaxioms: flexible coinductive definitions by inference systems. Zbl 1432.68251
Dagnino, Francesco
1
2019
A classical groupoid model for quantum networks. Zbl 1423.68057
Reutter, David J.; Vicary, Jamie
1
2019
All-path reachability logic. Zbl 1421.68015
Ştefănescu, Andrei; Ciobâcă, Stefan; Mereuta, Radu; Moore, Brandon; Roşu, Grigore; Şerbănuṭă, Traian Florin
1
2019
The height of piecewise-testable languages and the complexity of the logic of subwords. Zbl 1421.68063
Karandikar, Prateek; Schnoebelen, Philippe
1
2019
Polishness of some topologies related to word or tree automata. Zbl 1454.03061
Finkel, Olivier; Carton, Olivier; Lecomte, Dominique
1
2019
A strategy for dynamic programs: start over and muddle through. Zbl 1421.68014
Datta, Samir; Mukherjee, Anish; Schwentick, Thomas; Vortmeier, Nils; Zeume, Thomas
1
2019
The logical strength of Büchi’s decidability theorem. Zbl 07058775
Kołodziejczyk, Leszek; Michalewski, Henryk; Pradic, Pierre; Skrzypczak, Michał
1
2019
An \(\omega\)-algebra for real-time energy problems. Zbl 1421.68092
Cachera, David; Fahrenberg, Uli; Legay, Axel
1
2019
Logical properties of random graphs from small addable classes. Zbl 07089065
Dawar, Anuj; Kopczyński, Eryk
1
2019
An efficient algorithm to decide periodicity of \(b\)-recognisable sets using LSDF convention. Zbl 1437.68102
Marsault, Victor
1
2019
Game characterizations and lower cones in the Weihrauch degrees. Zbl 07093558
Nobrega, Hugo; Pauly, Arno
1
2019
A categorical semantics for causal structure. Zbl 1442.68146
Kissinger, Aleks; Uijlen, Sander
1
2019
On the succinctness of atoms of dependency. Zbl 07104925
Lück, Martin; Vilander, Miikka
1
2019
The data complexity of ontology-mediated queries with closed predicates. Zbl 07104931
Lutz, Carsten; Seylan, Inanc; Wolter, Frank
1
2019
\(\aleph_1\) and the modal \(\mu\)-calculus. Zbl 1454.03027
Gouveia, Maria João; Santocanale, Luigi
1
2019
The dynamic geometry of interaction machine: a token-guided graph rewriter. Zbl 1442.68030
Muroya, Koko; Ghica, Dan R.
1
2019
A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra. Zbl 1427.68178
Bojańczyk, Mikołaj; Klin, Bartek
1
2019
On the algebraic structure of Weihrauch degrees. Zbl 1454.03053
Brattka, Vasco; Pauly, Arno
18
2018
The Ho-Zhao problem. Zbl 1459.06003
Ho, Weng Kin; Goubault-Larrecq, Jean; Jung, Achim; Xi, Xiaoyong
6
2018
Weihrauch-completeness for layerwise computability. Zbl 1459.03069
Pauly, Arno; Fouché, Willem; Davie, George
4
2018
The covering problem. Zbl 1448.03026
Place, Thomas; Zeitoun, Marc
4
2018
Coalgebraic behavioral metrics. Zbl 06943961
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
3
2018
Equational reasonings in wireless network gossip protocols. Zbl 1408.68030
Lanotte, Ruggero; Merro, Massimo; Tini, Simone
3
2018
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313
Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M.
3
2018
A dichotomy for first-order reducts of unary structures. Zbl 06876266
Bodirsky, Manuel; Mottet, Antoine
3
2018
SOS-based modal decomposition on nondeterministic probabilistic processes. Zbl 1448.68333
Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
3
2018
Coinductive foundations of infinitary rewriting and infinitary equational logic. Zbl 1459.68089
Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra
2
2018
Families of DFAs as acceptors of \(\omega\)-regular languages. Zbl 1398.68291
Angluin, Dana; Boker, Udi; Fisman, Dana
2
2018
Automated synthesis of distributed self-stabilizing protocols. Zbl 1398.68056
Faghih, Fathiyeh; Bonakdarpour, Borzoo; Tixeuil, Sebastien; Kulkarni, Sandeep
2
2018
Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties. Zbl 1459.03022
Fontaine, Gaëlle; Venema, Yde
2
2018
Model theory and proof theory of coalgebraic predicate logic. Zbl 1459.03104
Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko; Schröder, Lutz
2
2018
A Galois connection between Turing jumps and limits. Zbl 06932682
Brattka, Vasco
2
2018
Unguarded recursion on coinductive resumptions. Zbl 06932686
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Jakob, Julian
2
2018
Categorical structures for type theory in univalent foundations. Zbl 06943957
Ahrens, Benedikt; Lumsdaine, Peter Lefanu; Voevodsky, Vladimir
2
2018
On interpolation and symbol elimination in theory extensions. Zbl 06943960
Sofronie-Stokkermans, Viorica
2
2018
Event structures for Petri nets with persistence. Zbl 1417.68113
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
2
2018
Intuitionistic layered graph logic: semantics and proof theory. Zbl 1454.03030
Docherty, Simon; Pym, David
2
2018
Affine sessions. Zbl 1407.68338
Mostrous, Dimitris; Vasconcelos, Vasco Thudichum
2
2018
Separating regular languages with two quantifier alternations. Zbl 06987097
Place, Thomas
2
2018
One-way definability of two-way word transducers. Zbl 1404.68065
Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele
2
2018
Compatibility properties of synchronously and asynchronously communicating components. Zbl 1464.68030
Hennicker, Rolf; Bidoit, Michel
1
2018
Pushing for weighted tree automata. Zbl 1390.68394
Hanneforth, Thomas; Maletti, Andreas; Quernheim, Daniel
1
2018
Globular: an online proof assistant for higher-dimensional rewriting. Zbl 1459.68227
Bar, Krzysztof; Kissinger, Aleks; Vicary, Jamie
1
2018
A generalization of a theorem of Hurewicz for quasi-Polish spaces. Zbl 1459.03074
de Brecht, Matthew
1
2018
Logical relations for coherence of effect subtyping. Zbl 1398.68080
Biernacki, Dariusz; Polesiuk, Piotr
1
2018
The sequential functionals of type \((\iota \rightarrow \iota)^n \rightarrow \iota\) form a dcpo for all \(n \in \mathbb N\). Zbl 1459.03068
Normann, Dag
1
2018
An enriched view on the extended finitary monad-Lawvere theory correspondence. Zbl 1419.18004
Garner, Richard; Power, John
1
2018
Dynamic causality in event structures. Zbl 1459.68134
Arbach, Youssef; Karcher, David S.; Peters, Kirstin; Nestmann, Uwe
1
2018
Monadic second order logic with measure and category quantifiers. Zbl 1459.03054
Mio, Matteo; Skrzypczak, Michał; Michalewski, Henryk
1
2018
A categorical foundation for structured reversible flowchart languages: soundness and adequacy. Zbl 1398.68082
Glück, Robert; Kaarsgaard, Robin
1
2018
Trees from functions as processes. Zbl 06932685
Sangiorgi, Davide; Xu, Xian
1
2018
Proper functors and fixed points for finite behaviour. Zbl 1448.18008
Milius, Stefan
1
2018
Extension by conservation. Sikorski’s theorem. Zbl 1454.03085
Rinaldi, Davide; Wessel, Daniel
1
2018
Do hard SAT-related reasoning tasks become easier in the Krom fragment? Zbl 1403.68078
Creignou, Nadia; Pichler, Reinhard; Woltran, Stefan
1
2018
Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Zbl 1407.68252
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
1
2018
Reasoning about bounds in weighted transition systems. Zbl 06987096
Hansen, Mikkel; Larsen, Kim Guldstrand; Mardare, Radu; Ruggaard Pedersen, Mathias
1
2018
\(n\)-permutability and linear Datalog implies symmetric Datalog. Zbl 06876264
Kazda, Alexandr
1
2018
Analyzing timed systems using tree automata. Zbl 1398.68290
Akshay, S.; Gastin, Paul; Krishna, Shankara Narayanan
1
2018
Study of behaviours via visitable paths. Zbl 06876270
Fouqueré, Christophe; Quatrini, Myriam
1
2018
An integrated first-order theory of points and intervals over linear orders. I. Zbl 1453.03013
Conradie, Willem; Durhan, Salih; Sciavicco, Guido
1
2018
...and 592 more Documents
all top 5

Cited by 2,715 Authors

24 Chatterjee, Krishnendu
19 Milius, Stefan
19 Pauly, Arno M.
17 Jacobs, Bart
16 Silva, Alexandra
15 Larsen, Kim Guldstrand
15 Raskin, Jean-François
15 Yoshida, Nobuko
14 Birkedal, Lars
14 Bouyer, Patricia
14 Henzinger, Thomas A.
14 Murano, Aniello
13 Conradie, Willem J.
13 Schröder, Lutz
12 Bodirsky, Manuel
12 Worrell, James B.
11 Bollig, Benedikt
11 Bonchi, Filippo
11 Doyen, Laurent
11 Droste, Manfred
11 Finkel, Olivier
11 Krebs, Andreas
11 Kufleitner, Manfred
11 Montanari, Ugo G.
11 Tini, Simone
10 Baier, Christel
10 Ghilardi, Silvio
10 Krokhin, Andrei A.
10 Kupferman, Orna
10 Kwiatkowska, Marta Z.
10 Markey, Nicolas
10 Møgelberg, Rasmus Ejlers
10 Palmigiano, Alessandra
10 Skrzypczak, Michał
9 Bonsangue, Marcello Maria
9 Brattka, Vasco
9 Bruni, Roberto
9 Dal Lago, Ugo
9 Filiot, Emmanuel
9 Goubault-Larrecq, Jean
9 Hasuo, Ichiro
9 Leroux, Stéphane
9 Loreti, Michele
9 Luttik, Bas
9 Mardare, Radu
9 Pattinson, Dirk
9 Rot, Jurriaan
9 Rutten, Jan J. M. M.
9 Straßburger, Lutz
9 Zanasi, Fabio
8 Bozzelli, Laura
8 Goncharov, Sergeĭ Savost’yanovich
8 Iljazović, Zvonko
8 Katoen, Joost-Pieter
8 Kesner, Delia
8 Kuske, Dietrich
8 Lanotte, Ruggero
8 Lasota, Sławomir
8 Pérez, Jorge A.
8 Pinsker, Michael
8 Rabinovich, Alexander
8 Reynier, Pierre-Alain
8 Selivanov, Viktor L’vovich
8 Wißmann, Thorsten
8 Zimmermann, Martín G.
7 Abdulla, Parosh Aziz
7 Aceto, Luca
7 Atig, Mohamed Faouzi
7 Baillot, Patrick
7 Bárány, Vince
7 Barto, Libor
7 Beyersdorff, Olaf
7 De Nicola, Rocco
7 Deng, Yuxin
7 Endrullis, Jörg
7 Hermanns, Holger
7 Heunen, Chris
7 Ingólfsdóttir, Anna
7 Kozen, Dexter C.
7 Kozik, Marcin
7 Lange, Martin
7 Martin, Barnaby D.
7 Mogavero, Fabio
7 Mottet, Antoine
7 Murawski, Andrzej S.
7 Norman, Gethin
7 Perelli, Giuseppe
7 Sangiorgi, Davide
7 Tzevelekos, Nikos
7 Uustalu, Tarmo
7 Vardi, Moshe Y.
7 Venema, Yde
7 Zeitoun, Marc
6 Adámek, Jiří
6 Allender, Eric W.
6 Berger, Ulrich
6 Bizjak, Aleš
6 Bulatov, Andrei A.
6 Coquand, Thierry
6 Courcelle, Bruno
...and 2,615 more Authors
all top 5

Cited in 163 Journals

180 Theoretical Computer Science
170 Logical Methods in Computer Science
135 Information and Computation
69 Journal of Logical and Algebraic Methods in Programming
64 Journal of Automated Reasoning
59 Annals of Pure and Applied Logic
59 MSCS. Mathematical Structures in Computer Science
50 Journal of Computer and System Sciences
49 Acta Informatica
45 Theory of Computing Systems
33 Information Processing Letters
32 Formal Methods in System Design
30 Journal of Functional Programming
29 ACM Transactions on Computational Logic
26 Algebra Universalis
26 Formal Aspects of Computing
20 Studia Logica
17 Artificial Intelligence
17 The Journal of Symbolic Logic
15 SIAM Journal on Computing
14 Journal of Applied Non-Classical Logics
13 International Journal of Foundations of Computer Science
12 Topology and its Applications
12 European Journal of Combinatorics
12 Journal of Applied Logic
11 Archive for Mathematical Logic
10 Science of Computer Programming
10 Annals of Mathematics and Artificial Intelligence
10 Theory and Practice of Logic Programming
9 Journal of the ACM
8 Fuzzy Sets and Systems
8 Computational Complexity
8 Applied Categorical Structures
8 Theory and Applications of Categories
8 Higher-Order and Symbolic Computation
7 Discrete Applied Mathematics
7 Journal of Pure and Applied Algebra
7 Order
7 Algorithmica
7 The Journal of Logic and Algebraic Programming
7 RAIRO. Theoretical Informatics and Applications
7 Computability
6 Journal of Philosophical Logic
6 Synthese
6 Journal of Symbolic Computation
6 Journal of Complexity
6 International Journal of Approximate Reasoning
6 SIAM Journal on Discrete Mathematics
6 International Journal of Algebra and Computation
6 Mathematical Logic Quarterly (MLQ)
6 Fundamenta Informaticae
6 Logica Universalis
6 The Review of Symbolic Logic
5 Semigroup Forum
5 Soft Computing
5 Computer Languages, Systems & Structures
5 Mathematics in Computer Science
4 Discrete Mathematics
4 Advances in Mathematics
4 Constraints
4 Nonlinear Analysis. Hybrid Systems
4 Journal of Logic and Analysis
4 Computer Science Review
3 Israel Journal of Mathematics
3 Notre Dame Journal of Formal Logic
3 Journal of Logic, Language and Information
3 Selecta Mathematica. New Series
3 RAIRO. Theoretical Informatics and Applications
3 Journal of Mathematical Logic
2 Canadian Mathematical Bulletin
2 Commentationes Mathematicae Universitatis Carolinae
2 Information Sciences
2 Journal of Combinatorial Theory. Series B
2 Proceedings of the American Mathematical Society
2 Programming and Computer Software
2 Siberian Mathematical Journal
2 Transactions of the American Mathematical Society
2 Forum Mathematicum
2 Discrete Event Dynamic Systems
2 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
2 International Journal of Computer Mathematics
2 Distributed Computing
2 Mathematical Programming. Series A. Series B
2 Indagationes Mathematicae. New Series
2 Topology Proceedings
2 Journal of Mathematical Sciences (New York)
2 The Electronic Journal of Combinatorics
2 The Bulletin of Symbolic Logic
2 Communications in Contemporary Mathematics
2 Journal of Applied Mathematics
2 Central European Journal of Mathematics
2 Quantum Information Processing
2 Algorithms
2 Journal of Formalized Reasoning
2 Science China. Information Sciences
1 Computers & Mathematics with Applications
1 Communications in Mathematical Physics
1 International Journal of Control
1 Journal of Mathematical Analysis and Applications
1 Journal of Mathematical Physics
...and 63 more Journals
all top 5

Cited in 49 Fields

1,644 Computer science (68-XX)
939 Mathematical logic and foundations (03-XX)
148 Category theory; homological algebra (18-XX)
110 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
82 Combinatorics (05-XX)
73 Order, lattices, ordered algebraic structures (06-XX)
61 General algebraic systems (08-XX)
41 Operations research, mathematical programming (90-XX)
39 General topology (54-XX)
36 Probability theory and stochastic processes (60-XX)
29 Quantum theory (81-XX)
27 Group theory and generalizations (20-XX)
20 Systems theory; control (93-XX)
17 Information and communication theory, circuits (94-XX)
16 Measure and integration (28-XX)
13 Algebraic topology (55-XX)
8 Statistics (62-XX)
7 Commutative algebra (13-XX)
7 Operator theory (47-XX)
6 Number theory (11-XX)
6 Associative rings and algebras (16-XX)
6 Dynamical systems and ergodic theory (37-XX)
6 Functional analysis (46-XX)
6 Convex and discrete geometry (52-XX)
6 Numerical analysis (65-XX)
5 History and biography (01-XX)
4 Field theory and polynomials (12-XX)
4 Algebraic geometry (14-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
4 Geometry (51-XX)
3 Topological groups, Lie groups (22-XX)
3 Real functions (26-XX)
3 Functions of a complex variable (30-XX)
3 Harmonic analysis on Euclidean spaces (42-XX)
3 Manifolds and cell complexes (57-XX)
3 Biology and other natural sciences (92-XX)
2 Ordinary differential equations (34-XX)
2 Difference and functional equations (39-XX)
2 Global analysis, analysis on manifolds (58-XX)
1 General and overarching topics; collections (00-XX)
1 Nonassociative rings and algebras (17-XX)
1 Partial differential equations (35-XX)
1 Approximations and expansions (41-XX)
1 Abstract harmonic analysis (43-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Differential geometry (53-XX)
1 Optics, electromagnetic theory (78-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Mathematics education (97-XX)

Citations by Year