×

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,192 Publications (since 2005)
References Indexed: 450 Publications with 14,460 References.
all top 5

Authors

12 Bojańczyk, Mikołaj
10 Birkedal, Lars
10 Chatterjee, Krishnendu
10 Jacobs, Bart
9 Larsen, Kim Guldstrand
9 Place, Thomas
9 Segoufin, Luc
9 Worrell, James B.
8 Hennessy, Matthew C. B.
8 Henzinger, Thomas A.
8 Kurz, Alexander
8 Mayr, Richard M.
8 Milius, Stefan
7 Abdulla, Parosh Aziz
7 Dal Lago, Ugo
7 Endrullis, Jörg
7 Grohe, Martin
7 Mardare, Radu
7 Rabinovich, Alexander
7 Schröder, Lutz
7 Vardi, Moshe Ya’akov
7 Walukiewicz, Igor
7 Yoshida, Nobuko
6 Adámek, Jiří
6 Blumensath, Achim
6 Bodirsky, Manuel
6 Bouyer, Patricia
6 Colcombet, Thomas
6 Coquand, Thierry
6 Finkel, Alain
6 Kupke, Clemens
6 Lasota, Sławomir
6 Luttik, Bas
6 Møgelberg, Rasmus Ejlers
6 Muscholl, Anca
6 Pous, Damien
6 Silva, Alexandra
6 van Glabbeek, Robert Jan
5 Ahrens, Benedikt
5 Ben-Amram, Amir M.
5 Biernacki, Dariusz
5 Bollig, Benedikt
5 Bonchi, Filippo
5 Brihaye, Thomas
5 Clairambault, Pierre
5 Conradie, Willem
5 Courcelle, Bruno
5 Das, Anupam
5 Figueira, Diego
5 Ghani, Neil
5 Goubault-Larrecq, Jean
5 Hermanns, Holger
5 Kesner, Delia
5 Klin, Bartek
5 Kobayashi, Naoki
5 König, Barbara
5 Kopczyński, Eryk
5 Krajíček, Jan
5 Leroux, Jérôme
5 Loreti, Michele
5 Lutz, Carsten
5 Markey, Nicolas
5 Melgratti, Hernán
5 Montanari, Ugo G.
5 Normann, Dag
5 Ouaknine, Joel O.
5 Parrow, Joachim
5 Pattinson, Dirk
5 Pauly, Arno M.
5 Raskin, Jean-François
5 Rutten, Jan J. M. M.
5 Sangiorgi, Davide
5 Uustalu, Tarmo
5 Velebil, Jiří
5 Venema, Yde
5 Vollmer, Heribert
5 Yang, Hongseok
5 Zeitoun, Marc
5 Zimmermann, Martín G.
4 Abel, Andreas M.
4 Atig, Mohamed Faouzi
4 Barceló, Pablo
4 Bartoletti, Massimo
4 Bertrand, Nathalie
4 Bès, Alexis
4 Blondin, Michael
4 Bonsangue, Marcello Maria
4 Borgström, Johannes
4 Bouajjani, Ahmed
4 Bruyère, Véronique
4 Carton, Olivier
4 de’Liguoro, Ugo
4 Demri, Stéphane P.
4 Dezani-Ciancaglini, Mariangiola
4 Fijalkow, Nathanaël
4 Filiot, Emmanuel
4 Gauwin, Olivier
4 Gimbert, Hugo
4 Hansen, Helle Hvid
4 Hendriks, Dimitri
...and 1,658 more Authors
all top 5

Fields

940 Computer science (68-XX)
768 Mathematical logic and foundations (03-XX)
90 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)
22 General algebraic systems (08-XX)
20 Combinatorics (05-XX)
20 Probability theory and stochastic processes (60-XX)
19 General topology (54-XX)
13 Information and communication theory, circuits (94-XX)
11 Quantum theory (81-XX)
8 Operations research, mathematical programming (90-XX)
7 Group theory and generalizations (20-XX)
7 Functional analysis (46-XX)
5 Measure and integration (28-XX)
5 Ordinary differential equations (34-XX)
4 Algebraic topology (55-XX)
4 Systems theory; control (93-XX)
3 Linear and multilinear algebra; matrix theory (15-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 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

801 Publications have been cited 3,617 times in 2,707 Documents Cited by Year
Generic trace semantics via coinduction. Zbl 1131.68058
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
49
2007
Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem. Zbl 1239.08002
Barto, Libor; Kozik, Marcin
41
2012
Psi-calculi: a framework for mobile processes with nominal data and logic. Zbl 1213.68399
Bengtson, Jesper; Johansson, Magnus; Parrow, Joachim; Victor, Björn
34
2011
From nondeterministic Büchi and Streett automata to deterministic parity automata. Zbl 1125.68067
Piterman, Nir
32
2007
Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035
Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C.
32
2008
Algorithmic correspondence and completeness in modal logic. I: The core algorithm SQEMA. Zbl 1126.03018
Conradie, Willem; Goranko, Valentin; Vakarelov, Dimiter
30
2006
Automatic structures: richness and limitations. Zbl 1128.03028
Khoussainov, Bakhadyr; Nies, Andre; Rubin, Sasha; Stephan, Frank
28
2007
New directions in categorical logic, for classical, probabilistic and quantum logic. Zbl 1338.03117
Jacobs, Bart
27
2015
A characterisation of first-order constraint satisfaction problems. Zbl 1131.68098
Larose, Benoit; Loten, Cynthia; Tardif, Claude
25
2007
Neighbourhood structures: bisimilarity and basic model theory. Zbl 1172.03011
Hansen, Helle Hvid; Kupke, Clemens; Pacuit, Eric
25
2009
Cores of countably categorical structures. Zbl 1128.03021
Bodirsky, Manuel
24
2007
On the algebraic structure of Weihrauch degrees. Zbl 1454.03053
Brattka, Vasco; Pauly, Arno
23
2018
Automata theory in nominal sets. Zbl 1338.68140
Bojańczyk, Mikołaj; Klin, Bartek; Lasota, Sławomir
23
2014
On the decidability and complexity of metric temporal logic over finite words. Zbl 1128.03008
Ouaknine, Joel O.; Worrell, James B.
23
2007
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
23
2007
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
23
2012
Relating coalgebraic notions of bisimulation. Zbl 1247.68192
Staton, Sam
22
2011
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
21
2013
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid
20
2008
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
19
2010
General recursion via coinductive types. Zbl 1125.68038
Capretta, Venanzio
19
2005
Handling algebraic effects. Zbl 1314.68191
Plotkin, Gordon D.; Pretnar, Matija
19
2013
Parity and Streett games with costs. Zbl 1335.68137
Fijalkow, Nathanaël; Zimmermann, Martin
18
2014
Game refinement relations and metrics. Zbl 1147.68056
de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle
18
2008
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
17
2008
Model checking probabilistic pushdown automata. Zbl 1126.68053
Kučera, Antonín; Esparza, Javier; Mayr, Richard
16
2006
Linear encodings of bounded LTL model checking. Zbl 1127.68057
Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor
16
2006
On global types and multi-party sessions. Zbl 1238.68026
Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Padovani, Luca
16
2012
Epistemic updates on algebras. Zbl 1330.03035
Kurz, Alexander; Palmigiano, Alessandra
16
2013
Computational problems in metric fixed point theory and their Weihrauch degrees. Zbl 1351.03054
Neumann, Eike
15
2015
Linear Datalog and bounded path duality of relational structures. Zbl 1125.68408
Dalmau, Victor
15
2005
Linear dependent types and relative completeness. Zbl 1261.03073
Dal Lago, Ugo; Gaboardi, Marco
15
2012
Separating regular languages with first-order logic. Zbl 1448.68273
Place, Thomas; Zeitoun, Marc
14
2016
The degree structure of Weihrauch-reducibility. Zbl 1271.03057
Higuchi, Kojiro; Pauly, Arno
14
2013
Regular cost functions. I: Logic and algebra over words. Zbl 1280.03044
Colcombet, Thomas
14
2013
Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224
Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel
14
2013
Normalisation control in deep inference via atomic flows. Zbl 1142.03033
Guglielmi, Alessio; Gundersen, Tom
14
2008
Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
14
2015
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination. Zbl 1241.68096
Cohen, Cyril; Mahboubi, Assia
14
2012
Monads need not be endofunctors. Zbl 1448.18007
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
14
2015
Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002
Keimel, Klaus; Plotkin, Gordon D.
14
2017
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. Zbl 1126.68376
Neven, Frank; Schwentick, Thomas
13
2006
Elgot algebras. Zbl 1127.68058
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
13
2006
Non-idempotent intersection types and strong normalisation. Zbl 1297.03010
Bernadet, Alexis; Lengrand, Stéphane Jean
13
2013
Computation tree logic with deadlock detection. Zbl 1200.68166
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
13
2009
Modalities in homotopy type theory. Zbl 07155169
Rijke, Egbert; Shulman, Michael; Spitters, Bas
13
2020
General bindings and alpha-equivalence in Nominal Isabelle. Zbl 1242.68283
Urban, Christian; Kaliszyk, Cezary
13
2012
Unification in the description logic EL. Zbl 1214.68379
Baader, Franz; Morawska, Barbara
12
2010
Backward reachability of array-based systems by SMT solving: termination and invariant synthesis. Zbl 1213.68379
Ghilardi, Silvio; Ranise, Silvio
12
2010
On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062
Bodirsky, Manuel; Hils, Martin; Martin, Barnaby
12
2012
Model checking probabilistic timed automata with one or two clocks. Zbl 1147.68574
Jurdzinski, Marcin; Sproston, Jeremy; Laroussinie, Francois
12
2008
Globally governed session semantics. Zbl 1448.68344
Kouzapas, Dimitrios; Yoshida, Nobuko
12
2014
Querying the guarded fragment. Zbl 1314.68146
Bárány, Vince; Gottlob, Georg; Otto, Martin
12
2014
Towards a proof theory of Gödel modal logics. Zbl 1266.03044
Metcalfe, George; Olivetti, Nicola
11
2011
Finite choice, convex choice and finding roots. Zbl 1448.03052
Le Roux, Stéphane; Pauly, Arno
11
2015
(Leftmost-outermost) beta reduction is invariant, indeed. Zbl 1394.68137
Accattoli, Beniamino; Dal Lago, Ugo
11
2016
Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365
Gebler, Daniel; Larsen, Kim G.; Tini, Simone
11
2016
Contextual equivalence for higher-order pi-calculus revisited. Zbl 1125.68084
Jeffrey, Alan S. A.; Rathke, Julian
11
2005
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
On characterising distributability. Zbl 1274.68261
van Glabbeek, Rob J.; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard
11
2013
Abstract GSOS rules and a modular treatment of recursive definitions. Zbl 1307.68051
Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel
11
2013
Degrees of lookahead in regular infinite games. Zbl 1248.68299
Holtmann, Michael; Kaiser, Lukasz; Thomas, Wolfgang
11
2012
Flow faster: efficient decision algorithms for probabilistic simulations. Zbl 1161.68473
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
11
2008
Resolution trees with lemmas: resolution refinements that characterize DLL algorithms with clause learning. Zbl 1159.03009
Buss, Samuel R.; Hoffmann, Jan; Johannsen, Jan
11
2008
Enriched \(\mu\)-calculi module checking. Zbl 1147.68049
Ferrante, Alessandro; Murano, Aniello; Parente, Mimmo
11
2008
The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016
Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y.
11
2008
A synthesis of the procedural and declarative styles of interactive theorem proving. Zbl 1238.68147
Wiedijk, Freek
11
2012
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
11
2019
Reasoning about strategies: on the satisfiability problem. Zbl 1448.68312
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
11
2017
Algebraic notions of termination. Zbl 1214.68185
Desharnais, Jules; Möller, Bernhard; Struth, Georg
10
2011
Model checking of continuous-time Markov chains against timed automata specifications. Zbl 1233.68156
Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
10
2011
Classical BI: its semantics and proof theory. Zbl 1198.03028
Brotherston, James; Calcagno, Cristiano
10
2010
The succinctness of first-order logic on linear orders. Zbl 1125.03024
Grohe, Martin; Schweikardt, Nicole
10
2005
An operational foundation for delimited continuations in the CPS hierarchy. Zbl 1125.68050
Biernacka, Małgorzata; Biernacki, Dariusz; Danvy, Olivier
10
2005
Generalized majority-minority operations are tractable. Zbl 1127.68039
Dalmau, Victor
10
2006
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
Model checking one-clock priced timed automata. Zbl 1149.68401
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
10
2008
Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68329
Finkel, Alain; Goubault-Larrecq, Jean
10
2012
Essential convexity and complexity of semi-algebraic constraints. Zbl 1253.68143
Bodirsky, Manuel; Jonsson, Peter; von Oertzen, Timo
10
2012
Interpolation in local theory extensions. Zbl 1170.03018
Sofronie-Stokkermans, Viorica
10
2008
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
The power of priority channel systems. Zbl 1448.68341
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
10
2014
Quantified CTL: expressiveness and complexity. Zbl 1448.68304
Laroussinie, François; Markey, Nicolas
10
2014
From coinductive proofs to exact real arithmetic: theory and applications. Zbl 1218.03036
Berger, Ulrich
9
2011
Interactive learning-based realizability for Heyting arithmetic with \(\mathrm{EM}_1\). Zbl 1201.03052
Aschieri, Federico; Berardi, Stefano
9
2010
The Ho-Zhao problem. Zbl 1459.06003
Ho, Weng Kin; Goubault-Larrecq, Jean; Jung, Achim; Xi, Xiaoyong
9
2018
A finer reduction of constraint problems to digraphs. Zbl 1409.05094
Bulín, Jakub; Delic, Dejan; Jackson, Marcel; Niven, Todd
9
2015
Modal logics of topological relations. Zbl 1126.03026
Lutz, Carsten; Wolter, Frank
9
2006
Logics for unranked trees: an overview. Zbl 1126.03039
Libkin, Leonid
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
Lower bounds for complementation of \(\omega \)-automata via the full automata technique. Zbl 1158.68022
Yan, Qiqi
9
2008
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
Environment and classical channels in categorical quantum mechanics. Zbl 1259.81019
Coecke, Bob; Perdrix, Simon
9
2012
Coalgebraic automata theory: basic results. Zbl 1161.18001
Kupke, Clemens; Venema, Yde
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
Antichains for the automata-based approach to model-checking. Zbl 1164.68021
Doyen, Laurent; Raskin, Jean-François
9
2009
Rast: a language for resource-aware session types. Zbl 07471698
Das, Ankush; Pfenning, Frank
1
2022
Stubborn set reduction for two-player reachability games. Zbl 07327954
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
4
2021
LNL-FPC: the linear/non-linear fixpoint calculus. Zbl 07350775
Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir
4
2021
A sound algorithm for asynchronous session subtyping and its implementation. Zbl 07327953
Bravetti, Mario; Carbone, Marco; Lange, Julien; Yoshida, Nobuko; Zavattaro, Gianluigi
2
2021
Synthesis of data word transducers. Zbl 07327955
Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain
2
2021
Efficient full higher-order unification. Zbl 07471678
Vukmirović, Petar; Bentkamp, Alexander; Nummelin, Visa
2
2021
Theories of real addition with and without a predicate for integers. Zbl 07379289
Bès, Alexis; Choffrut, Christian
2
2021
Discovering ePassport vulnerabilities using bisimilarity. Zbl 07379295
Horne, Ross; Mauw, Sjouke
2
2021
Superposition for lambda-free higher-order logic. Zbl 07350767
Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Waldmann, Uwe
2
2021
Partially ordered automata and piecewise testability. Zbl 07350780
Masopust, Tomáš; Krötzsch, Markus
2
2021
Computable analysis and notions of continuity in Coq. Zbl 07350782
Steinberg, Florian; Thery, Laurent; Thies, Holger
2
2021
Computing probabilistic bisimilarity distances for probabilistic automata. Zbl 07327942
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu; Tang, Qiyi; van Breugel, Franck
1
2021
Axiomatization of betweenness in order-theoretic trees. Zbl 07327944
Courcelle, Bruno
1
2021
Robustness against transactional causal consistency. Zbl 07327945
Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin
1
2021
Convolution algebras: relational convolution, generalised modalities and incidence algebras. Zbl 07327946
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
1
2021
The \(\pi\)-calculus is behaviourally complete and orbit-finitely executable. Zbl 07327947
Luttik, Bas; Yang, Fei
1
2021
A formal proof of the irrationality of \(\zeta(3)\). Zbl 07327949
Mahboubi, Assia; Sibut-Pinote, Thomas
1
2021
Reconfiguration and message losses in parameterized broadcast networks. Zbl 07327956
Bertrand, Nathalie; Bouyer, Patricia; Majumdar, Anirban
1
2021
A characterisation of open bisimilarity using an intuitionistic modal logic. Zbl 07407774
Ahn, Ki Yung; Horne, Ross; Tiu, Alwen
1
2021
Foundations of online structure theory. II: The operator approach. Zbl 07407778
Downey, Rod; Melnikov, Alexander; Ng, Keng Meng
1
2021
Pumping lemmas for weighted automata. Zbl 07407779
Chattopadhyay, Agnishom; Mazowiecki, Filip; Muscholl, Anca; Riveros, Cristian
1
2021
Equivalence checking for weak bi-Kleene algebra. Zbl 07407791
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
1
2021
Dynamic complexity of parity exists queries. Zbl 07471669
Vortmeier, Nils; Zeume, Thomas
1
2021
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets. Zbl 07471682
Chouquet, Jules; Vaux Auclair, Lionel
1
2021
Sculptures in concurrency. Zbl 07350771
Fahrenberg, Uli; Johansen, Christian; Trotter, Christopher A.; Ziemiański, Krzysztof
1
2021
Failure trace semantics for a process algebra with time-outs. Zbl 07350777
van Glabbeek, Rob
1
2021
Decidability for entailments of symbolic heaps with arrays. Zbl 07350781
Kimura, Daisuke; Tatsuta, Makoto
1
2021
Modalities in homotopy type theory. Zbl 07155169
Rijke, Egbert; Shulman, Michael; Spitters, Bas
13
2020
Reversing place transition nets. Zbl 07269252
Melgratti, Hernán; Mezzina, Claudio Antares; Ulidowski, Irek
7
2020
Classical control, quantum circuits and linear logic in enriched category theory. Zbl 07199589
Rennela, Mathys; Staton, Sam
5
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
4
2020
Rule algebras for adhesive categories. Zbl 1444.68083
Behr, Nicolas; Sobociński, Paweł
4
2020
Combinatorial conversion and moment bisimulation for stochastic rewriting systems. Zbl 07226005
Behr, Nicolas; Danos, Vincent; Garnier, Ilias
4
2020
On the logical complexity of cyclic arithmetic. Zbl 07155168
Das, Anupam
3
2020
Probabilistic logics based on Riesz spaces. Zbl 1442.03010
Furber, Robert; Mardare, Radu; Mio, Matteo
3
2020
Regular tree algebras. Zbl 07168152
Blumensath, Achim
3
2020
The complexity of combinations of qualitative constraint satisfaction problems. Zbl 07199580
Bodirsky, Manuel; Greiner, Johannes
2
2020
A syntactic approach to continuity of T-definable functionals. Zbl 07199581
Xu, Chuangjie
2
2020
Rooted divergence-preserving branching bisimilarity is a congruence. Zbl 07243676
van Glabbeek, Rob; Luttik, Bas; Spaninks, Linda
2
2020
Non-idempotent types for classical calculi in natural deduction style. Zbl 07155170
Kesner, Delia; Vial, Pierre
2
2020
Call-by-name gradual type theory. Zbl 1442.68031
New, Max S.; Licata, Daniel R.
2
2020
Efficient and modular coalgebraic partition refinement. Zbl 1442.68113
Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz
2
2020
Continuous regular functions. Zbl 07168153
Gorman, Alexi Block; Hieronymi, Philipp; Kaplan, Elliot; Meng, Ruoyu; Walsberg, Erik; Wang, Zihe; Xiong, Ziqin; Yang, Hongru
2
2020
A unifying framework for continuity and complexity in higher types. Zbl 07269245
Powell, Thomas
2
2020
On resolving non-determinism in choreographies. Zbl 07269246
Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio
2
2020
Of cores: a partial-exploration framework for Markov decision processes. Zbl 07269250
Křetínský, Jan; Meggendorfer, Tobias
2
2020
Verification of flat FIFO systems. Zbl 07269251
Finkel, Alain; Praveen, M.
2
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
2
2020
A new coinductive confluence proof for infinitary lambda calculus. Zbl 07199590
Czajka, Łukasz
1
2020
Representing dependencies in event structures. Zbl 07215282
Pinna, G. Michele
1
2020
Register games. Zbl 07215285
Lehtinen, Karoliina; Boker, Udi
1
2020
Completeness of the ZX-calculus. Zbl 07215290
Jeandel, Emmanuel; Perdrix, Simon; Vilmart, Renaud
1
2020
Constructive canonicity of inductive inequalities. Zbl 07243670
Conradie, Willem; Palmigiano, Alessandra
1
2020
A categorical reconstruction of quantum theory. Zbl 1456.18014
Tull, Sean
1
2020
Language preservation problems in parametric timed automata. Zbl 1429.68098
André, Étienne; Lime, Didier; Markey, Nicolas
1
2020
Overlap algebras: a constructive look at complete Boolean algebras. Zbl 07168149
Ciraulo, Francesco; Contente, Michele
1
2020
Covariance and controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers). Zbl 07168151
Castagna, Giuseppe
1
2020
Failure of normalization in impredicative type theory with proof-irrelevant propositional equality. Zbl 07225974
Abel, Andreas; Coquand, Thierry
1
2020
Directed homotopy in non-positively curved spaces. Zbl 07226006
Goubault, Éric; Mimram, Samuel
1
2020
Two-variable logics with some betweenness relations: expressiveness, satisfiability and membership. Zbl 07269244
Krebs, Andreas; Lodaya, Kamal; Pandya, Paritosh K.; Straubing, Howard
1
2020
Field-based coordination with the share operator. Zbl 07269248
Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Pianini, Danilo; Viroli, Mirko
1
2020
On the termination problem for probabilistic higher-order recursive programs. Zbl 07269249
Kobayashi, Naoki; Lago, Ugo Dal; Grellois, Charles
1
2020
Life is random, time is not: Markov decision processes with window objectives. Zbl 07288618
Brihaye, Thomas; Delgrange, Florent; Oualhadj, Youssouf; Randour, Mickael
1
2020
Ticking clocks as dependent right adjoints: denotational semantics for clocked type theory. Zbl 07288622
Mannaa, Bassel; Møgelberg, Rasmus Ejlers; Veltri, Niccolò
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
11
2019
Size, cost, and capacity: a semantic technique for hard random qbfs. Zbl 07029312
Beyersdorff, Olaf; Blinkhorn, Joshua; Hinde, Luke
9
2019
On the commutativity of the powerspace constructions. Zbl 07093560
de Brecht, Matthew; Kawai, Tatsuji
6
2019
The subpower membership problem for finite algebras with cube terms. Zbl 07029310
Bulatov, Andrei; Mayr, Peter; Szendrei, Ágnes
5
2019
Thin games with symmetry and concurrent Hyland-Ong games. Zbl 1407.68099
Castellan, Simon; Clairambault, Pierre; Winskel, Glynn
5
2019
Sahlqvist via translation. Zbl 07029314
Conradie, Willem; Palmigiano, Alessandra; Zhao, Zhiguang
4
2019
Coherence for Frobenius pseudomonoids and the geometry of linear proofs. Zbl 07089066
Dunn, Lawrence; Vicary, Jamie
4
2019
Game characterizations and lower cones in the Weihrauch degrees. Zbl 1484.03098
Nobrega, Hugo; Pauly, Arno
4
2019
Simplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversity. Zbl 1427.68125
Knop, Dušan; Koutecký, Martin; Masařík, Tomáš; Toufar, Tomáš
3
2019
Nash equilibrium and bisimulation invariance. Zbl 1442.68142
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
3
2019
A sequent calculus for a semi-associative law. Zbl 07029308
Zeilberger, Noam
3
2019
Efficient reduction of nondeterministic automata with application to language inclusion testing. Zbl 07029311
Clemente, Lorenzo; Mayr, Richard
3
2019
Displayed categories. Zbl 1419.18001
Ahrens, Benedikt; Lefanu Lumsdaine, Peter
3
2019
Canonical models and the complexity of modal team logic. Zbl 07056226
Lück, Martin
3
2019
Generalised Mermin-type non-locality arguments. Zbl 1418.81011
Gogioso, Stefano; Zeng, William
3
2019
A strategy for dynamic programs: start over and muddle through. Zbl 1421.68014
Datta, Samir; Mukherjee, Anish; Schwentick, Thomas; Vortmeier, Nils; Zeume, Thomas
3
2019
A categorical semantics for causal structure. Zbl 1442.68146
Kissinger, Aleks; Uijlen, Sander
3
2019
Probabilistic call by push value. Zbl 07003198
Ehrhard, Thomas; Tasson, Christine
2
2019
A Curry-Howard approach to Church’s synthesis. Zbl 07147442
Pradic, Pierre; Riba, Colin
2
2019
The data complexity of ontology-mediated queries with closed predicates. Zbl 07104931
Lutz, Carsten; Seylan, Inanc; Wolter, Frank
2
2019
The dynamic geometry of interaction machine: a token-guided graph rewriter. Zbl 1442.68030
Muroya, Koko; Ghica, Dan R.
2
2019
Coaxioms: flexible coinductive definitions by inference systems. Zbl 1432.68251
Dagnino, Francesco
2
2019
Topological Scott convergence theorem. Zbl 1415.54001
Andradi, Hadrian; Ho, Weng Kin
2
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
A denotational semantics for SPARC TSO. Zbl 1421.68096
Kavanagh, Ryan; Brookes, Stephen
2
2019
Covering and separation for logical fragments with modular predicates. Zbl 07056235
Place, Thomas; Ramanathan, Varun; Weil, Pascal
2
2019
An efficient algorithm to decide periodicity of \(b\)-recognisable sets using LSDF convention. Zbl 1437.68102
Marsault, Victor
2
2019
Divergence and unique solution of equations. Zbl 1442.68134
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
2
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
Logical and algebraic characterizations of rational transductions. Zbl 1440.68173
Filiot, Emmanuel; Gauwin, Olivier; Lhote, Nathan
1
2019
On the succinctness of atoms of dependency. Zbl 07104925
Lück, Martin; Vilander, Miikka
1
2019
Bounded quantifier instantiation for checking inductive invariants. Zbl 07104926
Feldman, Yotam M. Y.; Padon, Oded; Immerman, Neil; Sagiv, Mooly; Shoham, Sharon
1
2019
Parity games with weights. Zbl 07104928
Schewe, Sven; Weinert, Alexander; Zimmermann, Martin
1
2019
Query learning of derived \(\omega\)-tree languages in polynomial time. Zbl 1434.68210
Angluin, Dana; Antonopoulos, Timos; Fisman, Dana
1
2019
On noncommutative extensions of linear logic. Zbl 07136656
Slavnov, Sergey
1
2019
...and 701 more Documents
all top 5

Cited by 3,229 Authors

25 Chatterjee, Krishnendu
23 Jacobs, Bart
22 Pauly, Arno M.
20 Milius, Stefan
19 Bouyer, Patricia
19 Murano, Aniello
19 Silva, Alexandra
18 Birkedal, Lars
17 Bodirsky, Manuel
17 Larsen, Kim Guldstrand
17 Raskin, Jean-François
17 Yoshida, Nobuko
15 Bonchi, Filippo
15 Conradie, Willem
15 Schröder, Lutz
14 Droste, Manfred
14 Henzinger, Thomas A.
14 Markey, Nicolas
14 Worrell, James B.
14 Zimmermann, Martín G.
13 Bozzelli, Laura
13 Uustalu, Tarmo
12 Bollig, Benedikt
12 Dal Lago, Ugo
12 Finkel, Olivier
12 Ghilardi, Silvio
12 Goubault-Larrecq, Jean
12 Krokhin, Andrei A.
12 Kufleitner, Manfred
12 Kupferman, Orna
12 Luttik, Bas
12 Tini, Simone
12 Zanasi, Fabio
11 Brattka, Vasco
11 Doyen, Laurent
11 Krebs, Andreas
11 Leroux, Stéphane
11 Montanari, Angelo
11 Montanari, Ugo G.
11 Palmigiano, Alessandra
11 Pérez, Jorge A.
11 Rot, Jurriaan
11 Selivanov, Viktor L’vovich
11 Skrzypczak, Michał
10 Baier, Christel
10 Beyersdorff, Olaf
10 Filiot, Emmanuel
10 Heunen, Chris
10 Iljazović, Zvonko
10 Katoen, Joost-Pieter
10 Kesner, Delia
10 Kuske, Dietrich
10 Kwiatkowska, Marta Z.
10 Lange, Martin
10 Loreti, Michele
10 Møgelberg, Rasmus Ejlers
10 Veltri, Niccolò
9 Baillot, Patrick
9 Barto, Libor
9 Bonsangue, Marcello Maria
9 Bruni, Roberto
9 Coquand, Thierry
9 Hasuo, Ichiro
9 Lanotte, Ruggero
9 Lasota, Sławomir
9 Mardare, Radu
9 Pattinson, Dirk
9 Pinsker, Michael
9 Reynier, Pierre-Alain
9 Rutten, Jan J. M. M.
9 Schewe, Sven
9 Straßburger, Lutz
9 Vardi, Moshe Ya’akov
8 Endrullis, Jörg
8 Fijalkow, Nathanaël
8 Goncharov, Sergeĭ Savost’yanovich
8 Gutierrez, Julian
8 Kohlenbach, Ulrich Wilhelm
8 Kozik, Marcin
8 Lanese, Ivan
8 Martin, Barnaby D.
8 Melgratti, Hernán
8 Mogavero, Fabio
8 Murawski, Andrzej S.
8 Perelli, Giuseppe
8 Peron, Adriano
8 Rabinovich, Alexander
8 Randour, Mickael
8 Sala, Pietro
8 Sangiorgi, Davide
8 Schuster, Peter Michael
8 Sobociński, Paweł
8 Stephan, Frank
8 van Benthem, Johan F. A. K.
8 Venema, Yde
8 Wessel, Daniel
8 Wißmann, Thorsten
8 Zeilberger, Noam
8 Zeitoun, Marc
8 Zhang, Lijun
...and 3,129 more Authors
all top 5

Cited in 183 Journals

207 Logical Methods in Computer Science
199 Theoretical Computer Science
158 Information and Computation
77 MSCS. Mathematical Structures in Computer Science
73 Journal of Logical and Algebraic Methods in Programming
72 Journal of Automated Reasoning
62 Annals of Pure and Applied Logic
52 Acta Informatica
50 Journal of Computer and System Sciences
46 Theory of Computing Systems
41 Journal of Functional Programming
35 Information Processing Letters
35 Formal Methods in System Design
29 Algebra Universalis
29 ACM Transactions on Computational Logic
28 Formal Aspects of Computing
24 Studia Logica
23 The Journal of Symbolic Logic
19 Artificial Intelligence
17 SIAM Journal on Computing
16 Topology and its Applications
15 Journal of Applied Non-Classical Logics
15 Fundamenta Informaticae
13 International Journal of Foundations of Computer Science
12 European Journal of Combinatorics
12 Archive for Mathematical Logic
12 Journal of Applied Logic
11 Annals of Mathematics and Artificial Intelligence
10 Science of Computer Programming
10 Theory and Practice of Logic Programming
9 Discrete Applied Mathematics
9 Applied Categorical Structures
9 Theory and Applications of Categories
9 Journal of the ACM
8 Fuzzy Sets and Systems
8 Order
8 Computational Complexity
8 Higher-Order and Symbolic Computation
8 The Review of Symbolic Logic
8 RAIRO. Theoretical Informatics and Applications
8 Computability
7 Journal of Philosophical Logic
7 Journal of Pure and Applied Algebra
7 Journal of Symbolic Computation
7 Algorithmica
7 International Journal of Algebra and Computation
7 The Journal of Logic and Algebraic Programming
6 Synthese
6 Journal of Complexity
6 International Journal of Approximate Reasoning
6 SIAM Journal on Discrete Mathematics
6 Mathematical Logic Quarterly (MLQ)
6 Constraints
6 Logica Universalis
5 Advances in Mathematics
5 Semigroup Forum
5 Soft Computing
5 Computer Languages, Systems & Structures
5 Mathematics in Computer Science
5 Computer Science Review
4 Discrete Mathematics
4 Israel Journal of Mathematics
4 Transactions of the American Mathematical Society
4 Discrete Event Dynamic Systems
4 The Electronic Journal of Combinatorics
4 Journal of Mathematical Logic
4 Nonlinear Analysis. Hybrid Systems
4 Journal of Logic and Analysis
3 Notre Dame Journal of Formal Logic
3 Forum Mathematicum
3 Journal of Logic, Language and Information
3 Selecta Mathematica. New Series
3 The Bulletin of Symbolic Logic
3 RAIRO. Theoretical Informatics and Applications
2 Journal of Mathematical Analysis and Applications
2 Automatica
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 Combinatorica
2 AI Communications
2 Journal of Global Optimization
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 Economic Theory
2 The Journal of Artificial Intelligence Research (JAIR)
2 Acta Mathematica Sinica. English Series
2 Communications in Contemporary Mathematics
2 Logic and Logical Philosophy
2 Journal of Applied Mathematics
2 Central European Journal of Mathematics
...and 83 more Journals
all top 5

Cited in 51 Fields

2,011 Computer science (68-XX)
1,168 Mathematical logic and foundations (03-XX)
197 Category theory; homological algebra (18-XX)
154 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
96 Combinatorics (05-XX)
88 Order, lattices, ordered algebraic structures (06-XX)
82 General algebraic systems (08-XX)
60 Quantum theory (81-XX)
52 Operations research, mathematical programming (90-XX)
47 General topology (54-XX)
42 Probability theory and stochastic processes (60-XX)
34 Group theory and generalizations (20-XX)
27 Information and communication theory, circuits (94-XX)
25 Systems theory; control (93-XX)
17 Algebraic topology (55-XX)
16 Measure and integration (28-XX)
12 Associative rings and algebras (16-XX)
11 Commutative algebra (13-XX)
10 Number theory (11-XX)
10 Operator theory (47-XX)
10 Statistics (62-XX)
10 Numerical analysis (65-XX)
9 History and biography (01-XX)
8 Functional analysis (46-XX)
7 Convex and discrete geometry (52-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Dynamical systems and ergodic theory (37-XX)
5 Field theory and polynomials (12-XX)
4 Algebraic geometry (14-XX)
4 Topological groups, Lie groups (22-XX)
4 Geometry (51-XX)
4 Biology and other natural sciences (92-XX)
3 Real functions (26-XX)
3 Functions of a complex variable (30-XX)
3 Ordinary differential equations (34-XX)
3 Harmonic analysis on Euclidean spaces (42-XX)
3 Manifolds and cell complexes (57-XX)
3 Global analysis, analysis on manifolds (58-XX)
2 General and overarching topics; collections (00-XX)
2 Difference and functional equations (39-XX)
2 Sequences, series, summability (40-XX)
2 Differential geometry (53-XX)
2 Mathematics education (97-XX)
1 Nonassociative rings and algebras (17-XX)
1 Special functions (33-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 Optics, electromagnetic theory (78-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year