×

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: Journal; Indexed cover-to-cover; Published electronic only as of Vol. 1 (2005). This journal is available open access.
Documents Indexed: 1,389 Publications (since 2005)
References Indexed: 646 Publications with 22,858 References.
all top 5

Authors

12 Bojańczyk, Mikołaj
11 Segoufin, Luc
10 Birkedal, Lars
10 Chatterjee, Krishnendu
9 Jacobs, Bart
9 Kurz, Alexander
9 Larsen, Kim Guldstrand
9 Mayr, Richard M.
9 Milius, Stefan
9 Place, Thomas
9 Schröder, Lutz
9 Vardi, Moshe Ya’akov
9 Worrell, James B.
8 Grohe, Martin
8 Hennessy, Matthew C. B.
8 Henzinger, Thomas A.
8 Rabinovich, Alexander
7 Abdulla, Parosh Aziz
7 Blumensath, Achim
7 Bodirsky, Manuel
7 Bonchi, Filippo
7 Bouyer, Patricia
7 Coquand, Thierry
7 Dal Lago, Ugo
7 Endrullis, Jörg
7 Finkel, Alain
7 Lasota, Sławomir
7 Loreti, Michele
7 Luttik, Bas
7 Mardare, Radu
7 Walukiewicz, Igor
7 Yoshida, Nobuko
6 Adámek, Jiří
6 Bartoletti, Massimo
6 Brihaye, Thomas
6 Colcombet, Thomas
6 Das, Anupam
6 Fijalkow, Nathanaël
6 Filiot, Emmanuel
6 Kesner, Delia
6 König, Barbara
6 Kupke, Clemens
6 Lutz, Carsten
6 Melgratti, Hernán
6 Møgelberg, Rasmus Ejlers
6 Muscholl, Anca
6 Ouaknine, Joel O.
6 Pattinson, Dirk
6 Pous, Damien
6 Raskin, Jean-François
6 Silva, Alexandra
6 Straßburger, Lutz
6 van Glabbeek, Robert Jan
6 Venema, Yde
6 Zimmermann, Martín G.
5 Ahrens, Benedikt
5 Ben-Amram, Amir M.
5 Biernacki, Dariusz
5 Blondin, Michael
5 Bollig, Benedikt
5 Clairambault, Pierre
5 Conradie, Willem
5 Courcelle, Bruno
5 Demri, Stéphane P.
5 Dezani-Ciancaglini, Mariangiola
5 Ehrhard, Thomas
5 Figueira, Diego
5 Ghani, Neil
5 Gimbert, Hugo
5 Goubault-Larrecq, Jean
5 Hermanns, Holger
5 Hirschowitz, Tom
5 Jančar, Petr
5 Kiefer, Stefan
5 Kimelfeld, Benny
5 Klin, Bartek
5 Kobayashi, Naoki
5 Kopczyński, Eryk
5 Krajíček, Jan
5 Lehtinen, Karoliina
5 Leroux, Jérôme
5 Manzonetto, Giulio
5 Markey, Nicolas
5 Metcalfe, George
5 Mio, Matteo
5 Montanari, Ugo G.
5 Normann, Dag
5 Padovani, Luca
5 Parrow, Joachim
5 Pauly, Arno M.
5 Plotkin, Gordon D.
5 Polonsky, Andrew
5 Rutten, Jan J. M. M.
5 Sangiorgi, Davide
5 Schweikardt, Nicole
5 Schwentick, Thomas
5 Uustalu, Tarmo
5 Velebil, Jiří
5 Viroli, Mirko
5 Vollmer, Heribert
...and 1,909 more Authors
all top 5

Fields

1,093 Computer science (68-XX)
909 Mathematical logic and foundations (03-XX)
114 Category theory; homological algebra (18-XX)
52 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
43 Order, lattices, ordered algebraic structures (06-XX)
23 Combinatorics (05-XX)
23 General algebraic systems (08-XX)
22 Probability theory and stochastic processes (60-XX)
21 General topology (54-XX)
17 Quantum theory (81-XX)
15 Information and communication theory, circuits (94-XX)
11 Algebraic topology (55-XX)
8 Group theory and generalizations (20-XX)
8 Functional analysis (46-XX)
8 Operations research, mathematical programming (90-XX)
5 Ordinary differential equations (34-XX)
5 Systems theory; control (93-XX)
4 Number theory (11-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
4 Measure and integration (28-XX)
3 Numerical analysis (65-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 Commutative algebra (13-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

1,009 Publications have been cited 5,406 times in 3,839 Documents Cited by Year
Generic trace semantics via coinduction. Zbl 1131.68058
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
60
2007
Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem. Zbl 1239.08002
Barto, Libor; Kozik, Marcin
51
2012
From nondeterministic Büchi and Streett automata to deterministic parity automata. Zbl 1125.68067
Piterman, Nir
50
2007
Automata theory in nominal sets. Zbl 1338.68140
Bojańczyk, Mikołaj; Klin, Bartek; Lasota, Sławomir
43
2014
Psi-calculi: a framework for mobile processes with nominal data and logic. Zbl 1213.68399
Bengtson, Jesper; Johansson, Magnus; Parrow, Joachim; Victor, Björn
42
2011
Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035
Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C.
39
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
35
2012
On the decidability and complexity of metric temporal logic over finite words. Zbl 1128.03008
Ouaknine, Joel O.; Worrell, James B.
34
2007
Neighbourhood structures: bisimilarity and basic model theory. Zbl 1172.03011
Hansen, Helle Hvid; Kupke, Clemens; Pacuit, Eric
33
2009
Algorithmic correspondence and completeness in modal logic. I: The core algorithm SQEMA. Zbl 1126.03018
Conradie, Willem; Goranko, Valentin; Vakarelov, Dimiter
32
2006
Automatic structures: richness and limitations. Zbl 1128.03028
Khoussainov, Bakhadyr; Nies, Andre; Rubin, Sasha; Stephan, Frank
32
2007
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
31
2007
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
31
2013
A characterisation of first-order constraint satisfaction problems. Zbl 1131.68098
Larose, Benoit; Loten, Cynthia; Tardif, Claude
30
2007
Handling algebraic effects. Zbl 1314.68191
Plotkin, Gordon D.; Pretnar, Matija
30
2013
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid
29
2008
On the algebraic structure of Weihrauch degrees. Zbl 1454.03053
Brattka, Vasco; Pauly, Arno
29
2018
Model checking probabilistic pushdown automata. Zbl 1126.68053
Kučera, Antonín; Esparza, Javier; Mayr, Richard
27
2006
New directions in categorical logic, for classical, probabilistic and quantum logic. Zbl 1338.03117
Jacobs, Bart
27
2015
General recursion via coinductive types. Zbl 1125.68038
Capretta, Venanzio
26
2005
Monads need not be endofunctors. Zbl 1448.18007
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
26
2015
Cores of countably categorical structures. Zbl 1128.03021
Bodirsky, Manuel
25
2007
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
25
2010
Relating coalgebraic notions of bisimulation. Zbl 1247.68192
Staton, Sam
24
2011
Computational problems in metric fixed point theory and their Weihrauch degrees. Zbl 1351.03054
Neumann, Eike
24
2015
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
23
2008
Separating regular languages with first-order logic. Zbl 1448.68273
Place, Thomas; Zeitoun, Marc
22
2016
Game refinement relations and metrics. Zbl 1147.68056
de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle
22
2008
On global types and multi-party sessions. Zbl 1238.68026
Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Padovani, Luca
21
2012
Linear encodings of bounded LTL model checking. Zbl 1127.68057
Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor
20
2006
Parity and Streett games with costs. Zbl 1335.68137
Fijalkow, Nathanaël; Zimmermann, Martin
20
2014
Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002
Keimel, Klaus; Plotkin, Gordon D.
20
2017
Linear dependent types and relative completeness. Zbl 1261.03073
Dal Lago, Ugo; Gaboardi, Marco
20
2012
Modalities in homotopy type theory. Zbl 1489.03005
Rijke, Egbert; Shulman, Michael; Spitters, Bas
19
2020
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination. Zbl 1241.68096
Cohen, Cyril; Mahboubi, Assia
18
2012
Model checking probabilistic timed automata with one or two clocks. Zbl 1147.68574
Jurdzinski, Marcin; Sproston, Jeremy; Laroussinie, Francois
18
2008
Querying the guarded fragment. Zbl 1314.68146
Bárány, Vince; Gottlob, Georg; Otto, Martin
18
2014
Regular cost functions. I: Logic and algebra over words. Zbl 1280.03044
Colcombet, Thomas
18
2013
Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224
Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel
18
2013
General bindings and alpha-equivalence in Nominal Isabelle. Zbl 1242.68283
Urban, Christian; Kaliszyk, Cezary
17
2012
On the preciseness of subtyping in session types. Zbl 1398.68360
Chen, Tzu-Chun; Dezani-Ciancaglini, Mariangiola; Scalas, Alceste; Yoshida, Nobuko
17
2017
Normalisation control in deep inference via atomic flows. Zbl 1142.03033
Guglielmi, Alessio; Gundersen, Tom
17
2008
Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
17
2015
Pebble games, proof complexity, and time-space trade-offs. Zbl 1285.03070
Nordstrom, Jakob
17
2013
Epistemic updates on algebras. Zbl 1330.03035
Kurz, Alexander; Palmigiano, Alessandra
17
2013
Linear Datalog and bounded path duality of relational structures. Zbl 1125.68408
Dalmau, Victor
16
2005
Backward reachability of array-based systems by SMT solving: termination and invariant synthesis. Zbl 1213.68379
Ghilardi, Silvio; Ranise, Silvio
16
2010
Computability of 1-manifolds. Zbl 1315.03118
Burnik, Konrad; Iljazovic, Zvonko
16
2014
Shrub-depth: capturing height of dense graphs. Zbl 1515.03150
Ganian, Robert; Hliněný, Petr; Nešetřil, Jaroslav; Obdržálek, Jan; Ossona de Mendez, Patrice
16
2019
Non-idempotent intersection types and strong normalisation. Zbl 1297.03010
Bernadet, Alexis; Lengrand, Stéphane Jean
16
2013
Elgot algebras. Zbl 1127.68058
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
15
2006
On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062
Bodirsky, Manuel; Hils, Martin; Martin, Barnaby
15
2012
The complexity of Nash equilibria in stochastic multiplayer games. Zbl 1238.91025
Ummels, Michael; Wojtczak, Dominik
15
2011
(Leftmost-outermost) beta reduction is invariant, indeed. Zbl 1394.68137
Accattoli, Beniamino; Dal Lago, Ugo
15
2016
Quantified CTL: expressiveness and complexity. Zbl 1448.68304
Laroussinie, François; Markey, Nicolas
15
2014
Lineal: a linear-algebraic \(\lambda\)-calculus. Zbl 1448.68206
Arrighi, Pablo; Dowek, Gilles
15
2017
Reasoning about strategies: on the satisfiability problem. Zbl 1448.68312
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
15
2017
The degree structure of Weihrauch-reducibility. Zbl 1271.03057
Higuchi, Kojiro; Pauly, Arno
15
2013
Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365
Gebler, Daniel; Larsen, Kim G.; Tini, Simone
15
2016
Coalgebraic behavioral metrics. Zbl 1515.68199
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
15
2018
The height of piecewise-testable languages and the complexity of the logic of subwords. Zbl 1421.68063
Karandikar, Prateek; Schnoebelen, Philippe
15
2019
A proof of Kamp’s theorem. Zbl 1326.03024
Rabinovich, Alexander
15
2014
Axioms for modelling cubical type theory in a topos. Zbl 1509.03054
Orton, Ian; Pitts, Andrew M.
15
2018
Resolution trees with lemmas: resolution refinements that characterize DLL algorithms with clause learning. Zbl 1159.03009
Buss, Samuel R.; Hoffmann, Jan; Johannsen, Jan
14
2008
Towards a proof theory of Gödel modal logics. Zbl 1266.03044
Metcalfe, George; Olivetti, Nicola
14
2011
Alternating register automata on finite words and trees. Zbl 1238.68074
Figueira, Diego
14
2012
Lower bounds for complementation of \(\omega \)-automata via the full automata technique. Zbl 1158.68022
Yan, Qiqi
14
2008
Model checking one-clock priced timed automata. Zbl 1149.68401
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
14
2008
The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016
Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y.
14
2008
Towards 3-dimensional rewriting theory. Zbl 1314.68172
Mimram, Samuel
14
2014
Unification in the description logic EL. Zbl 1214.68379
Baader, Franz; Morawska, Barbara
14
2010
Weak omega-categories from intensional type theory. Zbl 1250.03127
Lumsdaine, Peter LeFanu
14
2010
Asymptotically almost all \(\lambda \)-terms are strongly normalizing. Zbl 1278.03034
David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek
14
2013
An operational foundation for delimited continuations in the CPS hierarchy. Zbl 1125.68050
Biernacka, Małgorzata; Biernacki, Dariusz; Danvy, Olivier
13
2005
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. Zbl 1126.68376
Neven, Frank; Schwentick, Thomas
13
2006
Expressiveness of metric modalities for continuous time. Zbl 1128.03007
Hirshfeld, Yoram; Rabinovich, Alexander
13
2007
Reachability analysis of communicating pushdown systems. Zbl 1248.68330
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
13
2012
Degrees of lookahead in regular infinite games. Zbl 1248.68299
Holtmann, Michael; Kaiser, Lukasz; Thomas, Wolfgang
13
2012
Computation tree logic with deadlock detection. Zbl 1200.68166
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
13
2009
Structure theorem and strict alternation hierarchy for FO\(^{2}\) on words. Zbl 1168.03019
Weis, Philipp; Immerman, Neil
13
2009
Interpolation in local theory extensions. Zbl 1170.03018
Sofronie-Stokkermans, Viorica
13
2008
Algebraic notions of termination. Zbl 1214.68185
Desharnais, Jules; Möller, Bernhard; Struth, Georg
13
2011
From coinductive proofs to exact real arithmetic: theory and applications. Zbl 1218.03036
Berger, Ulrich
13
2011
The Ho-Zhao problem. Zbl 1459.06003
Ho, Weng Kin; Goubault-Larrecq, Jean; Jung, Achim; Xi, Xiaoyong
13
2018
The power of priority channel systems. Zbl 1448.68341
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
13
2014
Globally governed session semantics. Zbl 1448.68344
Kouzapas, Dimitrios; Yoshida, Nobuko
13
2014
Using higher-order contracts to model session types. Zbl 1448.68329
Bernardi, Giovanni; Hennessy, Matthew
13
2016
QRB-domains and the probabilistic powerdomain. Zbl 1239.06002
Goubault-Larrecq, Jean
13
2012
On irrelevance and algorithmic equality in predicative type theory. Zbl 1238.03028
Abel, Andreas; Scherer, Gabriel
13
2012
A synthesis of the procedural and declarative styles of interactive theorem proving. Zbl 1238.68147
Wiedijk, Freek
13
2012
Enriched \(\mu\)-calculi module checking. Zbl 1147.68049
Ferrante, Alessandro; Murano, Aniello; Parente, Mimmo
13
2008
Admissibility in finitely generated quasivarieties. Zbl 1297.03009
Metcalfe, George; Röthlisberger, Christoph
13
2013
Compact manifolds with computable boundaries. Zbl 1315.03119
Iljazovic, Zvonko
13
2013
Markov decision processes with multiple long-run average objectives. Zbl 1326.90101
Brázdil, Tomáš; Brožek, Václav; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín
13
2014
Contextual equivalence for higher-order pi-calculus revisited. Zbl 1125.68084
Jeffrey, Alan S. A.; Rathke, Julian
12
2005
The succinctness of first-order logic on linear orders. Zbl 1125.03024
Grohe, Martin; Schweikardt, Nicole
12
2005
A system of interaction and structure. II: The need for deep inference. Zbl 1126.03051
Tiu, Alwen
12
2006
Modal logics of topological relations. Zbl 1126.03026
Lutz, Carsten; Wolter, Frank
12
2006
Generalized majority-minority operations are tractable. Zbl 1127.68039
Dalmau, Victor
12
2006
Transforming structures by set interpretations. Zbl 1128.03026
Colcombet, Thomas; Löding, Christof
12
2007
Trade-offs in static and dynamic evaluation of hierarchical queries. Zbl 07731939
Kara, Ahmet; Nikolic, Milos; Olteanu, Dan; Zhang, Haozhe
5
2023
Smart choices and the selection monad. Zbl 07731914
Abadi, Martín; Plotkin, Gordon
2
2023
A coinductive reformulation of Milner’s proof system for regular expressions modulo bisimilarity. Zbl 07731928
Grabmayer, Clemens
2
2023
A spatial logic for simplicial models. Zbl 07731936
Loreti, Michele; Quadrini, Michela
2
2023
Learning of structurally unambiguous probabilistic grammars. Zbl 07667083
Fisman, Dana; Nitay, Dolav; Ziv-Ukelson, Michal
2
2023
Finding cut-offs in leaderless rendez-vous protocols is easy. Zbl 07753362
Balasubramanian, A. R.; Esparza, Javier; Raskin, Mikhail
1
2023
Understanding the relative strength of QBF CDCL solvers and QBF resolution. Zbl 07731913
Beyersdorff, Olaf; Böhm, Benjamin
1
2023
Stateful realizers for nonstandard analysis. Zbl 07731918
Dinis, Bruno; Miquey, Étienne
1
2023
Lacon-, shrub- and parity-decompositions: characterizing transductions of bounded expansion classes. Zbl 07731925
Dreier, Jan
1
2023
A framework to measure the robustness of programs in the unpredictable environment. Zbl 07731930
Castiglioni, Valentina; Loreti, Michele; Tini, Simone
1
2023
Separating sessions smoothly. Zbl 07731931
Fowler, Simon; Kokke, Wen; Dardha, Ornela; Lindley, Sam; Morris, J. Garrett
1
2023
A theory of formal choreographic languages. Zbl 07731937
Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
1
2023
A first-order logic characterization of safety and co-safety languages. Zbl 07731941
Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
1
2023
Bidirectional runtime enforcement of first-order branching-time properties. Zbl 07667087
Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingófsdóttir, Anna
1
2023
A case study on parametric verification of failure detectors. Zbl 07667090
Tran, Thanh-Hai; Konnov, Igor; Widder, Josef
1
2023
Deconfined global types for asynchronous sessions. Zbl 07667093
Dagnino, Francesco; Giannini, Paola; Dezani-Ciancaglini, Mariangiola
1
2023
Concurrent process histories and resource transducers. Zbl 07667097
Nester, Chad
1
2023
Fine-grained complexity of regular path queries. Zbl 07788987
Casel, Katrin; Schmid, Markus L.
1
2023
An analytic propositional proof system on graphs. Zbl 07639905
Acclavio, Matteo; Horne, Ross; Straßburger, Lutz
6
2022
A theory of automated market makers in DeFi. Zbl 07639908
Bartoletti, Massimo; Chiang, Hsin-Yu James; Lluch-Lafuente, Alberto
5
2022
Geometric model checking of continuous space. Zbl 07639915
Bezhanishvili, Nick; Ciancia, Vincenzo; Gabelaia, David; Grilletti, Gianluca; Latella, Diego; Massink, Mieke
4
2022
Good-for-games \(\omega\)-pushdown automata. Zbl 1518.68182
Lehtinen, Karoliina; Zimmermann, Martin
4
2022
Modules over monads and operational semantics (expanded version). Zbl 07577567
Hirschowitz, André; Hirschowitz, Tom; Lafont, Ambroise
3
2022
A recursive approach to solving parity games in quasipolynomial time. Zbl 07471697
Lehtinen, Karoliina; Parys, Paweł; Schewe, Sven; Wojtczak, Dominik
3
2022
No-go theorems for distributive laws. Zbl 07471702
Zwart, Maaike; Marsden, Dan
3
2022
Quantifying over Boolean announcements. Zbl 07471709
van Ditmarsch, Hans; French, Tim
3
2022
Weight annotation in information extraction. Zbl 07471710
Doleschal, Johannes; Kimelfeld, Benny; Martens, Wim; Peterfreund, Liat
3
2022
Duality for powerset coalgebras. Zbl 07471716
Bezhanishvili, Guram; Carai, Luca; Morandi, Patrick
3
2022
Enumerating answers to first-order queries over databases of low degree. Zbl 07566063
Durand, Arnaud; Schweikardt, Nicole; Segoufin, Luc
3
2022
Algebraic coherent confluence and higher globular Kleene algebras. Zbl 1508.18018
Calk, Cameron; Goubault, Eric; Malbos, Philippe; Struth, Georg
2
2022
Fusible numbers and Peano arithmetic. Zbl 07577570
Erickson, Jeff; Nivasch, Gabriel; Xu, Junyan
2
2022
Instance reducibility and Weihrauch degrees. Zbl 07577584
Bauer, Andrej
2
2022
The theory of universal graphs for infinite duration games. Zbl 07596577
Colcombet, Thomas; Fijalkow, Nathanaël; Gawrychowski, Paweł; Ohlmann, Pierre
2
2022
The dichotomy of evaluating homomorphism-closed queries on probabilistic graphs. Zbl 07471691
Amarilli, Antoine; Ceylan, İsmail İlkan
2
2022
A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems. Zbl 07471693
Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca; Loreti, Michele
2
2022
Regular matching problems for infinite trees. Zbl 07471714
Camino, Carlos; Diekert, Volker; Dundua, Besik; Marin, Mircea; Sénizergues, Géraud
2
2022
Higher order automatic differentiation of higher order functions. Zbl 07566054
Huot, Mathieu; Staton, Sam; Vákár, Matthijs
2
2022
Characteristic logics for behavioural hemimetrics via fuzzy lax extensions. Zbl 07566075
Wild, Paul; Schröder, Lutz
2
2022
The Shapley value of inconsistency measures for functional dependencies. Zbl 07566076
Livshits, Ester; Kimelfeld, Benny
2
2022
The theory of traces for systems with nondeterminism, probability, and termination. Zbl 07566077
Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria
2
2022
General decidability results for asynchronous shared-memory programs: higher-order and beyond. Zbl 07639910
Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
1
2022
Building specifications in the Event-B institution. Zbl 07639912
Farrell, Marie; Monahan, Rosemary; Power, James F.
1
2022
Inductive and coinductive topological generation with Church’s thesis and the axiom of choice. Zbl 07639913
Maietti, Maria Emilia; Maschio, Samuele; Rathjen, Michael
1
2022
Quasilinear-time computation of generic modal witnesses for behavioural inequivalence. Zbl 07639914
Wißmann, Thorsten; Milius, Stefan; Schröder, Lutz
1
2022
Convexity via weak distributive laws. Zbl 07639916
Bonchi, Filippo; Santamaria, Alessio
1
2022
Why does propositional quantification make modal and temporal logics on trees robustly hard? Zbl 07577569
Bednarczyk, Bartosz; Demri, Stéphane
1
2022
Uniform envelopes. Zbl 07577572
Neumann, Eike
1
2022
A first-order complete temporal logic for structured context-free languages. Zbl 07577575
Chiari, Michele; Mandrioli, Dino; Pradella, Matteo
1
2022
Minimization and canonization of GFG transition-based automata. Zbl 07577580
Radi, Bader Abu; Kupferman, Orna
1
2022
Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy. Zbl 07577583
Bisping, Benjamin; Jansen, David N.; Nestmann, Uwe
1
2022
Strongly-normalizing higher-order relational queries. Zbl 07596571
Ricciotti, Wilmer; Cheney, James
1
2022
Minimality notions via factorization systems and examples. Zbl 07596579
Wißmann, Thorsten
1
2022
Relating functional and imperative session types. Zbl 07596581
Saffrich, Hannes; Thiemann, Peter
1
2022
On the Taylor expansion of \(\lambda\)-terms and the groupoid structure of their rigid approximants. Zbl 07471690
Olimpieri, Federico; Vaux Auclair, Lionel
1
2022
Rast: a language for resource-aware session types. Zbl 07471698
Das, Ankush; Pfenning, Frank
1
2022
Normalization for planar string diagrams and a quadratic equivalence algorithm. Zbl 1502.18039
Delpeuch, Antonin; Vicary, Jamie
1
2022
Games where you can play optimally with arena-independent finite memory. Zbl 07471700
Bouyer, Patricia; Le Roux, Stéphane; Oualhadj, Youssouf; Randour, Mickael; Vandenhove, Pierre
1
2022
An extensible equality checking algorithm for dependent type theories. Zbl 1504.68276
Bauer, Andrej; Petković Komel, Anja
1
2022
On the Nielsen-Schreier theorem in homotopy type theory. Zbl 07471707
Swan, Andrew W.
1
2022
Bounded reachability problems are decidable in FIFO machines. Zbl 07471708
Bollig, Benedikt; Finkel, Alain; Suresh, Amrita
1
2022
Verifying liquidity of recursive Bitcoin contracts. Zbl 07471711
Bartoletti, Massimo; Lande, Stefano; Murgia, Maurizio; Zunino, Roberto
1
2022
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption. Zbl 07471713
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2022
Optimizing tree decompositions in MSO. Zbl 07471715
Bojańczyk, Mikołaj; Pilipczuk, Michał
1
2022
Canonicity and homotopy canonicity for cubical type theory. Zbl 1486.03027
Coquand, Thierry; Huber, Simon; Sattler, Christian
1
2022
A tier-based typed programming language characterizing feasible functionals. Zbl 07566046
Hainry, Emmanuel; Kapron, Bruce M.; Marion, Jean-Yves; Péchoux, Romain
1
2022
Hilbert’s tenth problem in Coq (extended version). Zbl 1528.03182
Larchey-Wendling, Dominique; Forster, Yannick
1
2022
BDD-based algorithm for SCC decomposition of edge-coloured graphs. Zbl 07566051
Beneš, Nikola; Brim, Luboš; Pastva, Samuel; Šafránek, David
1
2022
A cubical language for Bishop sets. Zbl 07566056
Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel
1
2022
Beyond notations: hygienic macro expansion for theorem proving languages. Zbl 07566057
Ullrich, Sebastian; de Moura, Leonardo
1
2022
Uniform interpolants in \(\mathcal{EUF}\): Algorithms using DAG-representations. Zbl 07566058
Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak
1
2022
CC-circuits and the expressive power of nilpotent algebras. Zbl 07566068
Kompatscher, Michael
1
2022
Quotients, inductive types, and quotient inductive types. Zbl 1502.18046
Fiore, Marcelo P.; Pitts, Andrew M.; Steenkamp, S. C.
1
2022
Actris 2.0: asynchronous session-type based reasoning in separation logic. Zbl 07566072
Kastberg Hinrichsen, Jonas; Bengtson, Jesper; Krebbers, Robbert
1
2022
Foundations of online structure theory. II: The operator approach. Zbl 07407778
Downey, Rod; Melnikov, Alexander; Ng, Keng Meng
8
2021
Superposition for lambda-free higher-order logic. Zbl 07350767
Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Waldmann, Uwe
6
2021
Relating apartness and bisimulation. Zbl 1525.68083
Geuvers, Herman; Jacobs, Bart
6
2021
Stubborn set reduction for two-player reachability games. Zbl 1501.68002
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
5
2021
Synthesis of data word transducers. Zbl 1509.68132
Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain
5
2021
Failure trace semantics for a process algebra with time-outs. Zbl 07350777
van Glabbeek, Rob
5
2021
Pumping lemmas for weighted automata. Zbl 1487.68143
Chattopadhyay, Agnishom; Mazowiecki, Filip; Muscholl, Anca; Riveros, Cristian
5
2021
Multimodal dependent type theory. Zbl 1498.03030
Gratzer, Daniel; Kavvos, G. A.; Nuyts, Andreas; Birkedal, Lars
5
2021
Computing probabilistic bisimilarity distances for probabilistic automata. Zbl 1509.68181
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu; Tang, Qiyi; van Breugel, Franck
4
2021
Convolution algebras: relational convolution, generalised modalities and incidence algebras. Zbl 1509.03175
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
4
2021
A sound algorithm for asynchronous session subtyping and its implementation. Zbl 1509.68184
Bravetti, Mario; Carbone, Marco; Lange, Julien; Yoshida, Nobuko; Zavattaro, Gianluigi
4
2021
Direct spectra of Bishop spaces and their limits. Zbl 1473.03038
Petrakis, Iosif
4
2021
LNL-FPC: the linear/non-linear fixpoint calculus. Zbl 07350775
Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir
4
2021
Efficient full higher-order unification. Zbl 07471678
Vukmirović, Petar; Bentkamp, Alexander; Nummelin, Visa
4
2021
Theories of real addition with and without a predicate for integers. Zbl 07379289
Bès, Alexis; Choffrut, Christian
4
2021
Discovering ePassport vulnerabilities using bisimilarity. Zbl 07379295
Horne, Ross; Mauw, Sjouke
4
2021
Separation for dot-depth two. Zbl 07407796
Place, Thomas; Zeitoun, Marc
4
2021
Modal logics for nominal transition systems. Zbl 1509.68188
Parrow, Joachim; Borgström, Johannes; Eriksson, Lars-Henrik; Forsberg Gutkovas, Ramūnas; Weber, Tjark
3
2021
Determinacy in discrete-bidding infinite-duration games. Zbl 1509.91007
Aghajohari, Milad; Avni, Guy; Henzinger, Thomas A.
3
2021
Partially ordered automata and piecewise testability. Zbl 07350780
Masopust, Tomáš; Krötzsch, Markus
3
2021
Foundations of regular coinduction. Zbl 07471662
Dagnino, Francesco
3
2021
Axiomatization of betweenness in order-theoretic trees. Zbl 1509.03029
Courcelle, Bruno
2
2021
Robustness against transactional causal consistency. Zbl 1509.68157
Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin
2
2021
Reconfiguration and message losses in parameterized broadcast networks. Zbl 1509.68160
Bertrand, Nathalie; Bouyer, Patricia; Majumdar, Anirban
2
2021
Logic for exact real arithmetic. Zbl 07350773
Schwichtenberg, Helmut; Wiesnet, Franziskus
2
2021
Reachability switching games. Zbl 1499.68200
Fearnley, John; Gairing, Martin; Mnich, Matthias; Savani, Rahul
2
2021
Computable analysis and notions of continuity in Coq. Zbl 07350782
Steinberg, Florian; Thery, Laurent; Thies, Holger
2
2021
...and 909 more Documents
all top 5

Cited by 4,195 Authors

29 Chatterjee, Krishnendu
27 Milius, Stefan
25 Bouyer, Patricia
25 Jacobs, Bart
24 Pauly, Arno M.
24 Schröder, Lutz
24 Silva, Alexandra
23 Bonchi, Filippo
22 Larsen, Kim Guldstrand
22 Murano, Aniello
21 Bodirsky, Manuel
20 Rot, Jurriaan
20 Worrell, James B.
20 Yoshida, Nobuko
19 Birkedal, Lars
19 Filiot, Emmanuel
19 Henzinger, Thomas A.
19 Raskin, Jean-François
18 Bozzelli, Laura
18 Droste, Manfred
18 Katoen, Joost-Pieter
18 Markey, Nicolas
17 Conradie, Willem
17 Goubault-Larrecq, Jean
17 Kupferman, Orna
17 Uustalu, Tarmo
17 Zanasi, Fabio
16 Ghilardi, Silvio
16 Montanari, Angelo
16 Palmigiano, Alessandra
16 Vardi, Moshe Ya’akov
16 Veltri, Niccolò
15 Baier, Christel
15 Bollig, Benedikt
15 Cimatti, Alessandro
15 Dal Lago, Ugo
15 Kufleitner, Manfred
15 Lange, Martin
15 Zimmermann, Martín G.
14 Kesner, Delia
14 Kuske, Dietrich
14 Lanese, Ivan
14 Randour, Mickael
14 Selivanov, Viktor L’vovich
14 Tini, Simone
14 Zeitoun, Marc
13 Beyersdorff, Olaf
13 Brattka, Vasco
13 Díaz-Caro, Alejandro
13 Doyen, Laurent
13 Finkel, Olivier
13 Iljazović, Zvonko
13 Krokhin, Andrei A.
13 Leroux, Stéphane
13 Li, Qingguo
13 Loreti, Michele
13 Luttik, Bas
13 Peron, Adriano
13 Pradella, Matteo
13 Reynier, Pierre-Alain
13 Sobociński, Paweł
13 Straßburger, Lutz
12 Kiefer, Stefan
12 Krebs, Andreas
12 Křetínský, Jan
12 Lasota, Sławomir
12 Place, Thomas
12 Skrzypczak, Michał
12 Stephan, Frank
12 Wißmann, Thorsten
12 Zhang, Lijun
11 Aceto, Luca
11 Castiglioni, Valentina
11 Coquand, Thierry
11 Courcelle, Bruno
11 Finkel, Alain
11 Gastin, Paul
11 Goncharov, Sergeĭ Savost’yanovich
11 Goranko, Valentin F.
11 Horne, Ross
11 Kohlenbach, Ulrich Wilhelm
11 Krishna, Shankara Narayanan
11 Lozes, Etienne
11 Mogavero, Fabio
11 Montanari, Ugo G.
11 Perelli, Giuseppe
11 Pérez, Jorge A.
11 Pinsker, Michael
11 Rabinovich, Alexander
11 Schewe, Sven
11 Venema, Yde
11 Wessel, Daniel
10 Abdulla, Parosh Aziz
10 Blanchette, Jasmin Christian
10 Boker, Udi
10 Endrullis, Jörg
10 Esparza, Javier
10 Gutierrez, Julian
10 Heunen, Chris
10 Ingólfsdóttir, Anna
...and 4,095 more Authors
all top 5

Cited in 219 Journals

324 Logical Methods in Computer Science
232 Theoretical Computer Science
181 Information and Computation
123 MSCS. Mathematical Structures in Computer Science
99 Journal of Automated Reasoning
91 Journal of Logical and Algebraic Methods in Programming
72 Annals of Pure and Applied Logic
62 Acta Informatica
55 Journal of Computer and System Sciences
51 ACM Transactions on Computational Logic
49 Theory of Computing Systems
48 Journal of Functional Programming
46 Formal Methods in System Design
36 Information Processing Letters
35 Algebra Universalis
30 The Journal of Symbolic Logic
29 Studia Logica
29 Formal Aspects of Computing
28 Artificial Intelligence
24 SIAM Journal on Computing
23 International Journal of Foundations of Computer Science
21 Fundamenta Informaticae
20 Topology and its Applications
19 Archive for Mathematical Logic
16 Journal of Applied Non-Classical Logics
15 Mathematical Logic Quarterly (MLQ)
15 Computability
13 Discrete Applied Mathematics
12 Journal of Pure and Applied Algebra
12 European Journal of Combinatorics
12 Applied Categorical Structures
12 Theory and Applications of Categories
12 Annals of Mathematics and Artificial Intelligence
12 Journal of Applied Logic
12 The Review of Symbolic Logic
11 Algorithmica
11 Journal of the ACM
11 Theory and Practice of Logic Programming
10 Journal of Philosophical Logic
10 Science of Computer Programming
10 Order
10 International Journal of Algebra and Computation
9 Fuzzy Sets and Systems
8 Journal of Complexity
8 SIAM Journal on Discrete Mathematics
8 Computational Complexity
8 Constraints
8 Higher-Order and Symbolic Computation
8 RAIRO. Theoretical Informatics and Applications
7 Advances in Mathematics
7 Synthese
7 Journal of Symbolic Computation
7 International Journal of Approximate Reasoning
7 Discrete Event Dynamic Systems
7 The Journal of Logic and Algebraic Programming
7 Logica Universalis
6 Discrete Mathematics
6 Journal of Logic, Language and Information
6 Journal of Mathematical Logic
6 Mathematics in Computer Science
5 Notre Dame Journal of Formal Logic
5 Semigroup Forum
5 Transactions of the American Mathematical Society
5 The Electronic Journal of Combinatorics
5 The Bulletin of Symbolic Logic
5 Soft Computing
5 Discrete Mathematics and Theoretical Computer Science. DMTCS
5 Computer Languages, Systems & Structures
5 Journal of Logic and Analysis
5 Computer Science Review
4 Israel Journal of Mathematics
4 Automatica
4 Siberian Mathematical Journal
4 Forum Mathematicum
4 Journal of Physics A: Mathematical and Theoretical
4 Nonlinear Analysis. Hybrid Systems
4 Higher Structures
4 Enumerative Combinatorics and Applications
3 Communications in Algebra
3 Houston Journal of Mathematics
3 Bulletin of the London Mathematical Society
3 Information Sciences
3 Journal of Graph Theory
3 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
3 Mathematical Programming. Series A. Series B
3 Topology Proceedings
3 Selecta Mathematica. New Series
3 Acta Mathematica Sinica. English Series
3 RAIRO. Theoretical Informatics and Applications
3 Communications in Contemporary Mathematics
3 Logic and Logical Philosophy
3 Oberwolfach Reports
3 Confluentes Mathematici
2 Journal of Mathematical Analysis and Applications
2 Journal of Mathematical Physics
2 Canadian Mathematical Bulletin
2 Commentationes Mathematicae Universitatis Carolinae
2 Fundamenta Mathematicae
2 Journal of Combinatorial Theory. Series B
2 Proceedings of the American Mathematical Society
...and 119 more Journals
all top 5

Cited in 52 Fields

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

Citations by Year