×

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,250 Publications (since 2005)
References Indexed: 508 Publications with 16,760 References.
all top 5

Authors

12 Bojańczyk, Mikołaj
11 Segoufin, Luc
10 Birkedal, Lars
10 Chatterjee, Krishnendu
10 Jacobs, Bart
9 Larsen, Kim Guldstrand
9 Place, Thomas
9 Vardi, Moshe Ya’akov
9 Worrell, James B.
8 Grohe, Martin
8 Hennessy, Matthew C. B.
8 Henzinger, Thomas A.
8 Kurz, Alexander
8 Mayr, Richard M.
8 Milius, Stefan
8 Schröder, Lutz
7 Abdulla, Parosh Aziz
7 Bodirsky, Manuel
7 Dal Lago, Ugo
7 Endrullis, Jörg
7 Lasota, Sławomir
7 Mardare, Radu
7 Rabinovich, Alexander
7 Walukiewicz, Igor
7 Yoshida, Nobuko
6 Adámek, Jiří
6 Blumensath, Achim
6 Bonchi, Filippo
6 Bouyer, Patricia
6 Brihaye, Thomas
6 Colcombet, Thomas
6 Coquand, Thierry
6 Filiot, Emmanuel
6 Finkel, Alain
6 Kupke, Clemens
6 Luttik, Bas
6 Møgelberg, Rasmus Ejlers
6 Muscholl, Anca
6 Ouaknine, Joel O.
6 Pattinson, Dirk
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 Clairambault, Pierre
5 Conradie, Willem
5 Courcelle, Bruno
5 Das, Anupam
5 Demri, Stéphane P.
5 Figueira, Diego
5 Ghani, Neil
5 Goubault-Larrecq, Jean
5 Hermanns, Holger
5 Kesner, Delia
5 Kiefer, Stefan
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 Manzonetto, Giulio
5 Markey, Nicolas
5 Melgratti, Hernán
5 Mio, Matteo
5 Montanari, Ugo G.
5 Normann, Dag
5 Parrow, Joachim
5 Pauly, Arno M.
5 Raskin, Jean-François
5 Rutten, Jan J. M. M.
5 Sangiorgi, Davide
5 Schweikardt, Nicole
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 Bauer, Andrej
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 Dezani-Ciancaglini, Mariangiola
...and 1,740 more Authors
all top 5

Fields

995 Computer science (68-XX)
821 Mathematical logic and foundations (03-XX)
95 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 General topology (54-XX)
20 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 Group theory and generalizations (20-XX)
7 Functional analysis (46-XX)
6 Algebraic topology (55-XX)
5 Measure and integration (28-XX)
5 Ordinary differential equations (34-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

831 Publications have been cited 3,859 times in 2,869 Documents Cited by Year
Generic trace semantics via coinduction. Zbl 1131.68058
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
53
2007
Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem. Zbl 1239.08002
Barto, Libor; Kozik, Marcin
42
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
Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035
Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C.
33
2008
From nondeterministic Büchi and Streett automata to deterministic parity automata. Zbl 1125.68067
Piterman, Nir
32
2007
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
27
2007
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
26
2013
Neighbourhood structures: bisimilarity and basic model theory. Zbl 1172.03011
Hansen, Helle Hvid; Kupke, Clemens; Pacuit, Eric
26
2009
Automata theory in nominal sets. Zbl 1338.68140
Bojańczyk, Mikołaj; Klin, Bartek; Lasota, Sławomir
26
2014
On the decidability and complexity of metric temporal logic over finite words. Zbl 1128.03008
Ouaknine, Joel O.; Worrell, James B.
25
2007
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
25
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
25
2012
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
Relating coalgebraic notions of bisimulation. Zbl 1247.68192
Staton, Sam
23
2011
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
22
2010
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid
21
2008
Handling algebraic effects. Zbl 1314.68191
Plotkin, Gordon D.; Pretnar, Matija
21
2013
General recursion via coinductive types. Zbl 1125.68038
Capretta, Venanzio
20
2005
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
Separating regular languages with first-order logic. Zbl 1448.68273
Place, Thomas; Zeitoun, Marc
17
2016
Linear encodings of bounded LTL model checking. Zbl 1127.68057
Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor
17
2006
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
17
2008
Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002
Keimel, Klaus; Plotkin, Gordon D.
17
2017
Linear dependent types and relative completeness. Zbl 1261.03073
Dal Lago, Ugo; Gaboardi, Marco
16
2012
On global types and multi-party sessions. Zbl 1238.68026
Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Padovani, Luca
16
2012
Monads need not be endofunctors. Zbl 1448.18007
Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo
16
2015
Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
16
2015
Computational problems in metric fixed point theory and their Weihrauch degrees. Zbl 1351.03054
Neumann, Eike
16
2015
Model checking probabilistic pushdown automata. Zbl 1126.68053
Kučera, Antonín; Esparza, Javier; Mayr, Richard
16
2006
Epistemic updates on algebras. Zbl 1330.03035
Kurz, Alexander; Palmigiano, Alessandra
16
2013
Linear Datalog and bounded path duality of relational structures. Zbl 1125.68408
Dalmau, Victor
15
2005
Normalisation control in deep inference via atomic flows. Zbl 1142.03033
Guglielmi, Alessio; Gundersen, Tom
15
2008
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
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination. Zbl 1241.68096
Cohen, Cyril; Mahboubi, Assia
14
2012
Querying the guarded fragment. Zbl 1314.68146
Bárány, Vince; Gottlob, Georg; Otto, Martin
14
2014
Elgot algebras. Zbl 1127.68058
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
14
2006
Modalities in homotopy type theory. Zbl 1489.03005
Rijke, Egbert; Shulman, Michael; Spitters, Bas
14
2020
(Leftmost-outermost) beta reduction is invariant, indeed. Zbl 1394.68137
Accattoli, Beniamino; Dal Lago, Ugo
13
2016
Computation tree logic with deadlock detection. Zbl 1200.68166
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
13
2009
Backward reachability of array-based systems by SMT solving: termination and invariant synthesis. Zbl 1213.68379
Ghilardi, Silvio; Ranise, Silvio
13
2010
Non-idempotent intersection types and strong normalisation. Zbl 1297.03010
Bernadet, Alexis; Lengrand, Stéphane Jean
13
2013
General bindings and alpha-equivalence in Nominal Isabelle. Zbl 1242.68283
Urban, Christian; Kaliszyk, Cezary
13
2012
The power of priority channel systems. Zbl 1448.68341
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
13
2014
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. Zbl 1126.68376
Neven, Frank; Schwentick, Thomas
13
2006
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
12
2019
A synthesis of the procedural and declarative styles of interactive theorem proving. Zbl 1238.68147
Wiedijk, Freek
12
2012
On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062
Bodirsky, Manuel; Hils, Martin; Martin, Barnaby
12
2012
Globally governed session semantics. Zbl 1448.68344
Kouzapas, Dimitrios; Yoshida, Nobuko
12
2014
Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365
Gebler, Daniel; Larsen, Kim G.; Tini, Simone
12
2016
Unification in the description logic EL. Zbl 1214.68379
Baader, Franz; Morawska, Barbara
12
2010
Model checking probabilistic timed automata with one or two clocks. Zbl 1147.68574
Jurdzinski, Marcin; Sproston, Jeremy; Laroussinie, Francois
12
2008
Resolution trees with lemmas: resolution refinements that characterize DLL algorithms with clause learning. Zbl 1159.03009
Buss, Samuel R.; Hoffmann, Jan; Johannsen, Jan
12
2008
Reasoning about strategies: on the satisfiability problem. Zbl 1448.68312
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
12
2017
Degrees of lookahead in regular infinite games. Zbl 1248.68299
Holtmann, Michael; Kaiser, Lukasz; Thomas, Wolfgang
12
2012
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
Towards a proof theory of Gödel modal logics. Zbl 1266.03044
Metcalfe, George; Olivetti, Nicola
11
2011
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
QRB-domains and the probabilistic powerdomain. Zbl 1239.06002
Goubault-Larrecq, Jean
11
2012
Alternating register automata on finite words and trees. Zbl 1238.68074
Figueira, Diego
11
2012
Completeness for the coalgebraic cover modality. Zbl 1261.18006
Kupke, Clemens; Kurz, Alexander; Venema, Yde
11
2012
Quantified CTL: expressiveness and complexity. Zbl 1448.68304
Laroussinie, François; Markey, Nicolas
11
2014
Finite choice, convex choice and finding roots. Zbl 1448.03052
Le Roux, Stéphane; Pauly, Arno
11
2015
The complexity of Nash equilibria in stochastic multiplayer games. Zbl 1238.91025
Ummels, Michael; Wojtczak, Dominik
11
2011
Classical BI: its semantics and proof theory. Zbl 1198.03028
Brotherston, James; Calcagno, Cristiano
11
2010
Contextual equivalence for higher-order pi-calculus revisited. Zbl 1125.68084
Jeffrey, Alan S. A.; Rathke, Julian
11
2005
The succinctness of first-order logic on linear orders. Zbl 1125.03024
Grohe, Martin; Schweikardt, Nicole
11
2005
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
Interpolation in local theory extensions. Zbl 1170.03018
Sofronie-Stokkermans, Viorica
11
2008
Flow faster: efficient decision algorithms for probabilistic simulations. Zbl 1161.68473
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
11
2008
Coalgebraic automata theory: basic results. Zbl 1161.18001
Kupke, Clemens; Venema, Yde
11
2008
Essential convexity and complexity of semi-algebraic constraints. Zbl 1253.68143
Bodirsky, Manuel; Jonsson, Peter; von Oertzen, Timo
11
2012
Environment and classical channels in categorical quantum mechanics. Zbl 1259.81019
Coecke, Bob; Perdrix, Simon
10
2012
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
Deciding Kleene algebras in Coq. Zbl 1238.68146
Braibant, Thomas; Pous, Damien
10
2012
A finer reduction of constraint problems to digraphs. Zbl 1409.05094
Bulín, Jakub; Delic, Dejan; Jackson, Marcel; Niven, Todd
10
2015
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
Antichains for the automata-based approach to model-checking. Zbl 1164.68021
Doyen, Laurent; Raskin, Jean-François
10
2009
Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68329
Finkel, Alain; Goubault-Larrecq, Jean
10
2012
Using higher-order contracts to model session types. Zbl 1448.68329
Bernardi, Giovanni; Hennessy, Matthew
9
2016
Infinite sequential Nash equilibrium. Zbl 1266.91013
Le Roux, Stéphane
9
2013
Formalising the pi-calculus using nominal logic. Zbl 1168.68030
Bengtson, Jesper; Parrow, Joachim
9
2009
Structure theorem and strict alternation hierarchy for FO\(^{2}\) on words. Zbl 1168.03019
Weis, Philipp; Immerman, Neil
9
2009
Full abstraction for nominal general references. Zbl 1188.68179
Tzevelekos, Nikos
9
2009
Representations of stream processors using nested fixed points. Zbl 1189.68031
Hancock, Peter G.; Ghani, Neil; Pattinson, Dirk
9
2009
From coinductive proofs to exact real arithmetic: theory and applications. Zbl 1218.03036
Berger, Ulrich
9
2011
Pebble games, proof complexity, and time-space trade-offs. Zbl 1285.03070
Nordstrom, Jakob
9
2013
Size, cost, and capacity: a semantic technique for hard random qbfs. Zbl 07029312
Beyersdorff, Olaf; Blinkhorn, Joshua; Hinde, Luke
9
2019
Rast: a language for resource-aware session types. Zbl 07471698
Das, Ankush; Pfenning, Frank
1
2022
Duality for powerset coalgebras. Zbl 07471716
Bezhanishvili, Guram; Carai, Luca; Morandi, Patrick
1
2022
Enumerating answers to first-order queries over databases of low degree. Zbl 07566063
Durand, Arnaud; Schweikardt, Nicole; Segoufin, Luc
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
Synthesis of data word transducers. Zbl 07327955
Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain
3
2021
Determinacy in discrete-bidding infinite-duration games. Zbl 07327943
Aghajohari, Milad; Avni, Guy; Henzinger, Thomas A.
2
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
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
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
Pumping lemmas for weighted automata. Zbl 1487.68143
Chattopadhyay, Agnishom; Mazowiecki, Filip; Muscholl, Anca; Riveros, Cristian
2
2021
Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility. Zbl 07471664
Lin, Anthony W.; Majumdar, Rupak
2
2021
Efficient full higher-order unification. Zbl 07471678
Vukmirović, Petar; Bentkamp, Alexander; Nummelin, Visa
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
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
Parametric updates in parametric timed automata. Zbl 07350779
André, Étienne; Lime, Didier; Ramparison, Mathias
1
2021
Decidability for entailments of symbolic heaps with arrays. Zbl 07350781
Kimura, Daisuke; Tatsuta, Makoto
1
2021
Presentable signatures and initial semantics. Zbl 07379288
Ahrens, Benedikt; Hirschowitz, André; Lafont, Ambroise; Maggesi, Marco
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
Relating apartness and bisimulation. Zbl 07407787
Geuvers, Herman; Jacobs, Bart
1
2021
Equivalence checking for weak bi-Kleene algebra. Zbl 07407791
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
1
2021
The Shapley value of tuples in query answering. Zbl 07407794
Livshits, Ester; Bertossi, Leopoldo; Kimelfeld, Benny; Sebag, Moshe
1
2021
Separation for dot-depth two. Zbl 07407796
Place, Thomas; Zeitoun, Marc
1
2021
Foundations of regular coinduction. Zbl 07471662
Dagnino, Francesco
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
Modalities in homotopy type theory. Zbl 1489.03005
Rijke, Egbert; Shulman, Michael; Spitters, Bas
14
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
Probabilistic logics based on Riesz spaces. Zbl 1442.03010
Furber, Robert; Mardare, Radu; Mio, Matteo
4
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
Language preservation problems in parametric timed automata. Zbl 1429.68098
André, Étienne; Lime, Didier; Markey, Nicolas
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
3
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 syntactic approach to continuity of T-definable functionals. Zbl 07199581
Xu, Chuangjie
2
2020
A new coinductive confluence proof for infinitary lambda calculus. Zbl 07199590
Czajka, Łukasz
2
2020
Completeness of the ZX-calculus. Zbl 07215290
Jeandel, Emmanuel; Perdrix, Simon; Vilmart, Renaud
2
2020
Revisiting call-by-value Böhm trees in light of their Taylor expansion. Zbl 07226008
Kerinec, Emma; Manzonetto, Giulio; Pagani, Michele
2
2020
Rooted divergence-preserving branching bisimilarity is a congruence. Zbl 07243676
van Glabbeek, Rob; Luttik, Bas; Spaninks, Linda
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 categorical reconstruction of quantum theory. Zbl 1456.18014
Tull, Sean
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
McShane-Whitney extensions in constructive analysis. Zbl 07168154
Petrakis, Iosif
1
2020
Continuity of functional transducers: a profinite study of rational functions. Zbl 1442.68114
Cadilhac, Michaël; Carton, Olivier; Paperman, Charles
1
2020
Representing dependencies in event structures. Zbl 07215282
Pinna, G. Michele
1
2020
Register games. Zbl 07215285
Lehtinen, Karoliina; Boker, Udi
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
Constructive canonicity of inductive inequalities. Zbl 07243670
Conradie, Willem; Palmigiano, Alessandra
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 1490.68134
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
12
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
7
2019
The subpower membership problem for finite algebras with cube terms. Zbl 07029310
Bulatov, Andrei; Mayr, Peter; Szendrei, Ágnes
6
2019
Thin games with symmetry and concurrent Hyland-Ong games. Zbl 1407.68099
Castellan, Simon; Clairambault, Pierre; Winskel, Glynn
5
2019
Efficient reduction of nondeterministic automata with application to language inclusion testing. Zbl 07029311
Clemente, Lorenzo; Mayr, Richard
4
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áš
4
2019
Probabilistic call by push value. Zbl 07003198
Ehrhard, Thomas; Tasson, Christine
3
2019
A sequent calculus for a semi-associative law. Zbl 07029308
Zeilberger, Noam
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
The data complexity of ontology-mediated queries with closed predicates. Zbl 07104931
Lutz, Carsten; Seylan, Inanc; Wolter, Frank
3
2019
Nash equilibrium and bisimulation invariance. Zbl 1442.68142
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
3
2019
Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics. Zbl 1421.68037
Feier, Cristina; Kuusisto, Antti; Lutz, Carsten
2
2019
Degrees of extensionality in the theory of Böhm trees and Sallé’s conjecture. Zbl 07029305
Intrigila, Benedetto; Manzonetto, Giulio; Polonsky, Andrew
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
...and 731 more Documents
all top 5

Cited by 3,356 Authors

26 Chatterjee, Krishnendu
24 Jacobs, Bart
22 Milius, Stefan
22 Pauly, Arno M.
21 Bouyer, Patricia
20 Silva, Alexandra
19 Bodirsky, Manuel
19 Murano, Aniello
19 Raskin, Jean-François
18 Birkedal, Lars
17 Henzinger, Thomas A.
17 Larsen, Kim Guldstrand
17 Schröder, Lutz
17 Yoshida, Nobuko
16 Bonchi, Filippo
15 Conradie, Willem
15 Droste, Manfred
15 Filiot, Emmanuel
15 Worrell, James B.
14 Markey, Nicolas
14 Zimmermann, Martín G.
13 Bozzelli, Laura
13 Dal Lago, Ugo
13 Ghilardi, Silvio
13 Goubault-Larrecq, Jean
13 Luttik, Bas
13 Rot, Jurriaan
13 Uustalu, Tarmo
12 Bollig, Benedikt
12 Finkel, Olivier
12 Krokhin, Andrei A.
12 Kufleitner, Manfred
12 Kupferman, Orna
12 Lasota, Sławomir
12 Leroux, Stéphane
12 Tini, Simone
12 Zanasi, Fabio
11 Brattka, Vasco
11 Doyen, Laurent
11 Krebs, Andreas
11 Montanari, Angelo
11 Montanari, Ugo G.
11 Palmigiano, Alessandra
11 Pérez, Jorge A.
11 Reynier, Pierre-Alain
11 Selivanov, Viktor L’vovich
11 Skrzypczak, Michał
11 Veltri, Niccolò
10 Baier, Christel
10 Beyersdorff, Olaf
10 Hasuo, Ichiro
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 Murawski, Andrzej S.
10 Pattinson, Dirk
10 Vardi, Moshe Ya’akov
10 Zeitoun, Marc
9 Baillot, Patrick
9 Barto, Libor
9 Bonsangue, Marcello Maria
9 Bruni, Roberto
9 Coquand, Thierry
9 Gastin, Paul
9 Goranko, Valentin F.
9 Krishna, Shankara Narayanan
9 Lanotte, Ruggero
9 Mardare, Radu
9 Melgratti, Hernán
9 Pinsker, Michael
9 Randour, Mickael
9 Rutten, Jan J. M. M.
9 Schewe, Sven
9 Stephan, Frank
9 Straßburger, Lutz
9 Wißmann, Thorsten
8 Abdulla, Parosh Aziz
8 Aceto, Luca
8 Atig, Mohamed Faouzi
8 Castiglioni, Valentina
8 Cimatti, Alessandro
8 Endrullis, Jörg
8 Fijalkow, Nathanaël
8 Goncharov, Sergeĭ Savost’yanovich
8 Gutierrez, Julian
8 Horne, Ross
8 Ingólfsdóttir, Anna
8 Jain, Sanjay
8 Kiefer, Stefan
8 Kohlenbach, Ulrich Wilhelm
8 Kozik, Marcin
8 Lanese, Ivan
8 Larose, Benoit
8 Martin, Barnaby D.
...and 3,256 more Authors
all top 5

Cited in 184 Journals

231 Logical Methods in Computer Science
199 Theoretical Computer Science
158 Information and Computation
77 MSCS. Mathematical Structures in Computer Science
74 Journal of Logical and Algebraic Methods in Programming
72 Journal of Automated Reasoning
63 Annals of Pure and Applied Logic
53 Acta Informatica
50 Journal of Computer and System Sciences
47 Theory of Computing Systems
42 Journal of Functional Programming
35 Information Processing Letters
35 Formal Methods in System Design
30 Algebra Universalis
29 ACM Transactions on Computational Logic
28 Formal Aspects of Computing
24 The Journal of Symbolic Logic
24 Studia Logica
22 Artificial Intelligence
19 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
13 Archive for Mathematical Logic
12 European Journal of Combinatorics
12 Journal of Applied Logic
11 Annals of Mathematics and Artificial Intelligence
10 Discrete Applied Mathematics
10 Science of Computer Programming
10 Theory and Practice of Logic Programming
9 Order
9 Applied Categorical Structures
9 Theory and Applications of Categories
9 Journal of the ACM
8 Fuzzy Sets and Systems
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 SIAM Journal on Discrete Mathematics
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 Mathematical Logic Quarterly (MLQ)
6 Constraints
6 Logica Universalis
5 Advances in Mathematics
5 Semigroup Forum
5 Transactions of the American Mathematical Society
5 Journal of Logic, Language and Information
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 Notre Dame Journal of Formal Logic
4 Forum Mathematicum
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 Topology Proceedings
3 Selecta Mathematica. New Series
3 The Bulletin of Symbolic Logic
3 RAIRO. Theoretical Informatics and Applications
3 Communications in Contemporary Mathematics
3 Higher Structures
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 Computational Optimization and Applications
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 Logic and Logical Philosophy
...and 84 more Journals
all top 5

Cited in 51 Fields

2,162 Computer science (68-XX)
1,233 Mathematical logic and foundations (03-XX)
200 Category theory; homological algebra (18-XX)
156 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
98 Combinatorics (05-XX)
92 Order, lattices, ordered algebraic structures (06-XX)
83 General algebraic systems (08-XX)
60 Quantum theory (81-XX)
56 Operations research, mathematical programming (90-XX)
51 General topology (54-XX)
42 Probability theory and stochastic processes (60-XX)
36 Group theory and generalizations (20-XX)
27 Information and communication theory, circuits (94-XX)
26 Systems theory; control (93-XX)
19 Algebraic topology (55-XX)
17 Measure and integration (28-XX)
15 Associative rings and algebras (16-XX)
11 Commutative algebra (13-XX)
11 Operator theory (47-XX)
10 Number theory (11-XX)
10 Statistics (62-XX)
9 History and biography (01-XX)
9 Functional analysis (46-XX)
9 Numerical analysis (65-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)
5 Topological groups, Lie groups (22-XX)
4 Algebraic geometry (14-XX)
4 Real functions (26-XX)
4 Ordinary differential equations (34-XX)
4 Geometry (51-XX)
4 Biology and other natural sciences (92-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 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