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/regularissueshttp://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,331 Publications (since 2005) References Indexed: 589 Publications with 20,412 References. all top 5 Latest Issues 19, No. 3 (2023) 19, No. 2 (2023) 19, No. 1 (2023) 18, No. 4 (2022) 18, No. 3 (2022) 18, No. 2 (2022) 18, No. 1 (2022) 17, No. 4 (2021) 17, No. 3 (2021) 17, No. 2 (2021) 17, No. 1 (2021) 16, No. 4 (2020) 16, No. 3 (2020) 16, No. 2 (2020) 16, No. 1 (2020) 15, No. 4 (2019) 15, No. 3 (2019) 15, No. 2 (2019) 15, No. 1 (2019) 14, No. 4 (2018) 14, No. 3 (2018) 14, No. 2 (2018) 14, No. 1 (2018) 13, No. 4 (2017) 13, No. 3 (2017) 13, No. 2 (2017) 13, No. 1 (2017) 12, No. 4 (2016) 12, No. 3 (2016) 12, No. 2 (2016) 12, No. 1 (2016) 11, No. 4 (2015) 11, No. 3 (2015) 11, No. 2 (2015) 11, No. 1 (2015) 10, No. 4 (2014) 10, No. 3 (2014) 10, No. 2 (2014) 10, No. 1 (2014) 9, No. 4 (2013) 9, No. 3 (2013) 9, No. 2 (2013) 9, No. 1 (2013) 8, No. 4 (2012) 8, No. 3 (2012) 8, No. 2 (2012) 8, No. 1 (2012) 7, No. 4 (2011) 7, No. 3 (2011) 7, No. 2 (2011) 7, No. 1 (2011) 6, No. 4 (2010) 6, No. 3 (2010) 6, No. 2 (2010) 6, No. 1 (2010) 5, No. 4 (2009) 5, No. 3 (2009) 5, No. 2 (2009) 5, No. 1 (2009) 4, No. 4 (2008) 4, No. 3 (2008) 4, No. 2 (2008) 4, No. 1 (2008) 3, No. 4 (2007) 3, No. 3 (2007) 3, No. 2 (2007) 3, No. 1 (2007) 2, No. 5 (2006) 2, No. 4 (2006) 2, No. 3 (2006) 2, No. 2 (2006) 2, No. 1 (2006) 1, No. 3 (2005) 1, No. 2 (2005) 1, No. 1 (2005) 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. 7 Abdulla, Parosh Aziz 7 Bodirsky, Manuel 7 Bonchi, Filippo 7 Colcombet, Thomas 7 Coquand, Thierry 7 Dal Lago, Ugo 7 Endrullis, Jörg 7 Lasota, Sławomir 7 Loreti, Michele 7 Luttik, Bas 7 Mardare, Radu 7 Rabinovich, Alexander 7 Walukiewicz, Igor 7 Yoshida, Nobuko 6 Adámek, Jiří 6 Bartoletti, Massimo 6 Blumensath, Achim 6 Bouyer, Patricia 6 Brihaye, Thomas 6 Das, Anupam 6 Filiot, Emmanuel 6 Finkel, Alain 6 König, Barbara 6 Kupke, Clemens 6 Melgratti, Hernán 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 6 Venema, Yde 5 Ahrens, Benedikt 5 Ben-Amram, Amir M. 5 Biernacki, Dariusz 5 Bollig, Benedikt 5 Clairambault, Pierre 5 Conradie, Willem 5 Courcelle, Bruno 5 Demri, Stéphane P. 5 Dezani-Ciancaglini, Mariangiola 5 Figueira, Diego 5 Fijalkow, Nathanaël 5 Ghani, Neil 5 Gimbert, Hugo 5 Goubault-Larrecq, Jean 5 Hermanns, Holger 5 Jančar, Petr 5 Kesner, Delia 5 Kiefer, Stefan 5 Kimelfeld, Benny 5 Klin, Bartek 5 Kobayashi, Naoki 5 Kopczyński, Eryk 5 Krajíček, Jan 5 Leroux, Jérôme 5 Lutz, Carsten 5 Manzonetto, Giulio 5 Markey, Nicolas 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 Raskin, Jean-François 5 Rutten, Jan J. M. M. 5 Sangiorgi, Davide 5 Schweikardt, Nicole 5 Straßburger, Lutz 5 Uustalu, Tarmo 5 Velebil, Jiří 5 Vollmer, Heribert 5 Yang, Hongseok 5 Zanasi, Fabio 5 Zeitoun, Marc 5 Zimmermann, Martín G. 4 Abel, Andreas M. 4 Aceto, Luca 4 Atig, Mohamed Faouzi 4 Baldan, Paolo ...and 1,838 more Authors all top 5 Fields 1,055 Computer science (68-XX) 868 Mathematical logic and foundations (03-XX) 108 Category theory; homological algebra (18-XX) 51 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 42 Order, lattices, ordered algebraic structures (06-XX) 23 General algebraic systems (08-XX) 22 Combinatorics (05-XX) 21 General topology (54-XX) 21 Probability theory and stochastic processes (60-XX) 14 Quantum theory (81-XX) 14 Information and communication theory, circuits (94-XX) 10 Algebraic topology (55-XX) 8 Group theory and generalizations (20-XX) 8 Operations research, mathematical programming (90-XX) 7 Functional analysis (46-XX) 5 Ordinary differential equations (34-XX) 4 Measure and integration (28-XX) 4 Systems theory; control (93-XX) 3 Number theory (11-XX) 3 Linear and multilinear algebra; matrix theory (15-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 all cited Publications top 5 cited Publications Citations contained in zbMATH Open 939 Publications have been cited 4,832 times in 3,479 Documents Cited by ▼ Year ▼ Generic trace semantics via coinduction. Zbl 1131.68058Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana 60 2007 Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem. Zbl 1239.08002Barto, Libor; Kozik, Marcin 51 2012 From nondeterministic Büchi and Streett automata to deterministic parity automata. Zbl 1125.68067Piterman, Nir 46 2007 Psi-calculi: a framework for mobile processes with nominal data and logic. Zbl 1213.68399Bengtson, Jesper; Johansson, Magnus; Parrow, Joachim; Victor, Björn 40 2011 Automata theory in nominal sets. Zbl 1338.68140Bojańczyk, Mikołaj; Klin, Bartek; Lasota, Sławomir 38 2014 Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C. 36 2008 On the decidability and complexity of metric temporal logic over finite words. Zbl 1128.03008Ouaknine, Joel O.; Worrell, James B. 33 2007 First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Zbl 1269.03035Birkedal, Lars; Møgelberg, Rasmus Ejlers; Schwinghammer, Jan; Støvring, Kristian 31 2012 Automatic structures: richness and limitations. Zbl 1128.03028Khoussainov, Bakhadyr; Nies, Andre; Rubin, Sasha; Stephan, Frank 31 2007 Neighbourhood structures: bisimilarity and basic model theory. Zbl 1172.03011Hansen, Helle Hvid; Kupke, Clemens; Pacuit, Eric 30 2009 Algorithmic correspondence and completeness in modal logic. I: The core algorithm SQEMA. Zbl 1126.03018Conradie, Willem; Goranko, Valentin; Vakarelov, Dimiter 30 2006 Generalizing determinization from automata to coalgebras. Zbl 1262.18002Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 29 2013 A characterisation of first-order constraint satisfaction problems. Zbl 1131.68098Larose, Benoit; Loten, Cynthia; Tardif, Claude 29 2007 Algorithms for omega-regular games with imperfect information. Zbl 1125.91028Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 28 2007 On the algebraic structure of Weihrauch degrees. Zbl 1454.03053Brattka, Vasco; Pauly, Arno 27 2018 New directions in categorical logic, for classical, probabilistic and quantum logic. Zbl 1338.03117Jacobs, Bart 27 2015 Handling algebraic effects. Zbl 1314.68191Plotkin, Gordon D.; Pretnar, Matija 26 2013 General recursion via coinductive types. Zbl 1125.68038Capretta, Venanzio 26 2005 Cores of countably categorical structures. Zbl 1128.03021Bodirsky, Manuel 25 2007 Relating coalgebraic notions of bisimulation. Zbl 1247.68192Staton, Sam 23 2011 Multi-objective model checking of Markov decision processes. Zbl 1161.68565Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis 23 2008 Expressiveness and closure properties for quantitative languages. Zbl 1200.68135Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 23 2010 First-order and temporal logics for nested words. Zbl 1159.03018Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid 22 2008 Game refinement relations and metrics. Zbl 1147.68056de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle 21 2008 Model checking probabilistic pushdown automata. Zbl 1126.68053Kučera, Antonín; Esparza, Javier; Mayr, Richard 21 2006 On global types and multi-party sessions. Zbl 1238.68026Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Padovani, Luca 20 2012 Computational problems in metric fixed point theory and their Weihrauch degrees. Zbl 1351.03054Neumann, Eike 20 2015 Parity and Streett games with costs. Zbl 1335.68137Fijalkow, Nathanaël; Zimmermann, Martin 20 2014 Linear dependent types and relative completeness. Zbl 1261.03073Dal Lago, Ugo; Gaboardi, Marco 19 2012 Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002Keimel, Klaus; Plotkin, Gordon D. 19 2017 Linear encodings of bounded LTL model checking. Zbl 1127.68057Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor 19 2006 Separating regular languages with first-order logic. Zbl 1448.68273Place, Thomas; Zeitoun, Marc 19 2016 Regular cost functions. I: Logic and algebra over words. Zbl 1280.03044Colcombet, Thomas 17 2013 Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel 17 2013 General bindings and alpha-equivalence in Nominal Isabelle. Zbl 1242.68283Urban, Christian; Kaliszyk, Cezary 17 2012 Monads need not be endofunctors. Zbl 1448.18007Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo 17 2015 Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 17 2015 Modalities in homotopy type theory. Zbl 1489.03005Rijke, Egbert; Shulman, Michael; Spitters, Bas 16 2020 Epistemic updates on algebras. Zbl 1330.03035Kurz, Alexander; Palmigiano, Alessandra 16 2013 On the preciseness of subtyping in session types. Zbl 1398.68360Chen, Tzu-Chun; Dezani-Ciancaglini, Mariangiola; Scalas, Alceste; Yoshida, Nobuko 16 2017 Normalisation control in deep inference via atomic flows. Zbl 1142.03033Guglielmi, Alessio; Gundersen, Tom 16 2008 Linear Datalog and bounded path duality of relational structures. Zbl 1125.68408Dalmau, Victor 16 2005 Querying the guarded fragment. Zbl 1314.68146Bárány, Vince; Gottlob, Georg; Otto, Martin 16 2014 Shrub-depth: capturing height of dense graphs. Zbl 1515.03150Ganian, Robert; Hliněný, Petr; Nešetřil, Jaroslav; Obdržálek, Jan; Ossona de Mendez, Patrice 15 2019 Pebble games, proof complexity, and time-space trade-offs. Zbl 1285.03070Nordstrom, Jakob 15 2013 Non-idempotent intersection types and strong normalisation. Zbl 1297.03010Bernadet, Alexis; Lengrand, Stéphane Jean 15 2013 The complexity of Nash equilibria in stochastic multiplayer games. Zbl 1238.91025Ummels, Michael; Wojtczak, Dominik 15 2011 Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination. Zbl 1241.68096Cohen, Cyril; Mahboubi, Assia 15 2012 The degree structure of Weihrauch-reducibility. Zbl 1271.03057Higuchi, Kojiro; Pauly, Arno 15 2013 Model checking probabilistic timed automata with one or two clocks. Zbl 1147.68574Jurdzinski, Marcin; Sproston, Jeremy; Laroussinie, Francois 15 2008 Elgot algebras. Zbl 1127.68058Adámek, Jiří; Milius, Stefan; Velebil, Jiří 15 2006 On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062Bodirsky, Manuel; Hils, Martin; Martin, Barnaby 14 2012 Backward reachability of array-based systems by SMT solving: termination and invariant synthesis. Zbl 1213.68379Ghilardi, Silvio; Ranise, Silvio 14 2010 Towards a proof theory of Gödel modal logics. Zbl 1266.03044Metcalfe, George; Olivetti, Nicola 14 2011 Asymptotically almost all \(\lambda \)-terms are strongly normalizing. Zbl 1278.03034David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek 14 2013 Reasoning about strategies: on the satisfiability problem. Zbl 1448.68312Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. 14 2017 Model checking one-clock priced timed automata. Zbl 1149.68401Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas 14 2008 The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y. 14 2008 (Leftmost-outermost) beta reduction is invariant, indeed. Zbl 1394.68137Accattoli, Beniamino; Dal Lago, Ugo 14 2016 Towards 3-dimensional rewriting theory. Zbl 1314.68172Mimram, Samuel 14 2014 Computability of 1-manifolds. Zbl 1315.03118Burnik, Konrad; Iljazovic, Zvonko 14 2014 The power of priority channel systems. Zbl 1448.68341Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe 13 2014 Globally governed session semantics. Zbl 1448.68344Kouzapas, Dimitrios; Yoshida, Nobuko 13 2014 Structure theorem and strict alternation hierarchy for FO\(^{2}\) on words. Zbl 1168.03019Weis, Philipp; Immerman, Neil 13 2009 Algebraic notions of termination. Zbl 1214.68185Desharnais, Jules; Möller, Bernhard; Struth, Georg 13 2011 A synthesis of the procedural and declarative styles of interactive theorem proving. Zbl 1238.68147Wiedijk, Freek 13 2012 Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365Gebler, Daniel; Larsen, Kim G.; Tini, Simone 13 2016 Resolution trees with lemmas: resolution refinements that characterize DLL algorithms with clause learning. Zbl 1159.03009Buss, Samuel R.; Hoffmann, Jan; Johannsen, Jan 13 2008 Enriched \(\mu\)-calculi module checking. Zbl 1147.68049Ferrante, Alessandro; Murano, Aniello; Parente, Mimmo 13 2008 On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. Zbl 1126.68376Neven, Frank; Schwentick, Thomas 13 2006 Computation tree logic with deadlock detection. Zbl 1200.68166van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola 13 2009 Using higher-order contracts to model session types. Zbl 1448.68329Bernardi, Giovanni; Hennessy, Matthew 12 2016 Admissibility in finitely generated quasivarieties. Zbl 1297.03009Metcalfe, George; Röthlisberger, Christoph 12 2013 Abstract GSOS rules and a modular treatment of recursive definitions. Zbl 1307.68051Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel 12 2013 Degrees of lookahead in regular infinite games. Zbl 1248.68299Holtmann, Michael; Kaiser, Lukasz; Thomas, Wolfgang 12 2012 From coinductive proofs to exact real arithmetic: theory and applications. Zbl 1218.03036Berger, Ulrich 12 2011 QRB-domains and the probabilistic powerdomain. Zbl 1239.06002Goubault-Larrecq, Jean 12 2012 Deciding Kleene algebras in Coq. Zbl 1238.68146Braibant, Thomas; Pous, Damien 12 2012 Alternating register automata on finite words and trees. Zbl 1238.68074Figueira, Diego 12 2012 Interpolation in local theory extensions. Zbl 1170.03018Sofronie-Stokkermans, Viorica 12 2008 Antichains for the automata-based approach to model-checking. Zbl 1164.68021Doyen, Laurent; Raskin, Jean-François 12 2009 Lower bounds for complementation of \(\omega \)-automata via the full automata technique. Zbl 1158.68022Yan, Qiqi 12 2008 Unification in the description logic EL. Zbl 1214.68379Baader, Franz; Morawska, Barbara 12 2010 Weak omega-categories from intensional type theory. Zbl 1250.03127Lumsdaine, Peter LeFanu 12 2010 Contextual equivalence for higher-order pi-calculus revisited. Zbl 1125.68084Jeffrey, Alan S. A.; Rathke, Julian 12 2005 The succinctness of first-order logic on linear orders. Zbl 1125.03024Grohe, Martin; Schweikardt, Nicole 12 2005 An operational foundation for delimited continuations in the CPS hierarchy. Zbl 1125.68050Biernacka, Małgorzata; Biernacki, Dariusz; Danvy, Olivier 12 2005 Generalized majority-minority operations are tractable. Zbl 1127.68039Dalmau, Victor 12 2006 Expressiveness of metric modalities for continuous time. Zbl 1128.03007Hirshfeld, Yoram; Rabinovich, Alexander 12 2007 A proof of Kamp’s theorem. Zbl 1326.03024Rabinovich, Alexander 12 2014 Axioms for modelling cubical type theory in a topos. Zbl 1509.03054Orton, Ian; Pitts, Andrew M. 11 2018 Coalgebraic behavioral metrics. Zbl 1515.68199Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 11 2018 Size, cost, and capacity: a semantic technique for hard random QBFs. Zbl 1515.03213Beyersdorff, Olaf; Blinkhorn, Joshua; Hinde, Luke 11 2019 On characterising distributability. Zbl 1274.68261van Glabbeek, Rob J.; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard 11 2013 Compact manifolds with computable boundaries. Zbl 1315.03119Iljazovic, Zvonko 11 2013 Feasible interpolation for QBF resolution calculi. Zbl 1448.68456Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 11 2017 Quantified CTL: expressiveness and complexity. Zbl 1448.68304Laroussinie, François; Markey, Nicolas 11 2014 Reachability analysis of communicating pushdown systems. Zbl 1248.68330Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire 11 2012 Piecewise testable tree languages. Zbl 1261.03126Bojańczyk, Mikołaj; Segoufin, Luc; Straubing, Howard 11 2012 Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68329Finkel, Alain; Goubault-Larrecq, Jean 11 2012 Trade-offs in static and dynamic evaluation of hierarchical queries. Zbl 07731939Kara, Ahmet; Nikolic, Milos; Olteanu, Dan; Zhang, Haozhe 3 2023 Smart choices and the selection monad. Zbl 07731914Abadi, Martín; Plotkin, Gordon 2 2023 Learning of structurally unambiguous probabilistic grammars. Zbl 07667083Fisman, Dana; Nitay, Dolav; Ziv-Ukelson, Michal 1 2023 Bidirectional runtime enforcement of first-order branching-time properties. Zbl 07667087Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingófsdóttir, Anna 1 2023 A case study on parametric verification of failure detectors. Zbl 07667090Tran, Thanh-Hai; Konnov, Igor; Widder, Josef 1 2023 Deconfined global types for asynchronous sessions. Zbl 07667093Dagnino, Francesco; Giannini, Paola; Dezani-Ciancaglini, Mariangiola 1 2023 Stateful realizers for nonstandard analysis. Zbl 07731918Dinis, Bruno; Miquey, Étienne 1 2023 A coinductive reformulation of Milner’s proof system for regular expressions modulo bisimilarity. Zbl 07731928Grabmayer, Clemens 1 2023 A framework to measure the robustness of programs in the unpredictable environment. Zbl 07731930Castiglioni, Valentina; Loreti, Michele; Tini, Simone 1 2023 A theory of formal choreographic languages. Zbl 07731937Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio 1 2023 A first-order logic characterization of safety and co-safety languages. Zbl 07731941Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano 1 2023 A theory of automated market makers in DeFi. Zbl 07639908Bartoletti, Massimo; Chiang, Hsin-Yu James; Lluch-Lafuente, Alberto 5 2022 An analytic propositional proof system on graphs. Zbl 07639905Acclavio, Matteo; Horne, Ross; Straßburger, Lutz 4 2022 Enumerating answers to first-order queries over databases of low degree. Zbl 07566063Durand, Arnaud; Schweikardt, Nicole; Segoufin, Luc 3 2022 The theory of traces for systems with nondeterminism, probability, and termination. Zbl 07566077Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria 2 2022 Instance reducibility and Weihrauch degrees. Zbl 07577584Bauer, Andrej 2 2022 Quantifying over Boolean announcements. Zbl 07471709van Ditmarsch, Hans; French, Tim 2 2022 Weight annotation in information extraction. Zbl 07471710Doleschal, Johannes; Kimelfeld, Benny; Martens, Wim; Peterfreund, Liat 2 2022 Geometric model checking of continuous space. Zbl 07639915Bezhanishvili, Nick; Ciancia, Vincenzo; Gabelaia, David; Grilletti, Gianluca; Latella, Diego; Massink, Mieke 2 2022 A tier-based typed programming language characterizing feasible functionals. Zbl 07566046Hainry, Emmanuel; Kapron, Bruce M.; Marion, Jean-Yves; Péchoux, Romain 1 2022 A cubical language for Bishop sets. Zbl 07566056Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel 1 2022 Uniform interpolants in \(\mathcal{EUF}\): Algorithms using DAG-representations. Zbl 07566058Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak 1 2022 Quotients, inductive types, and quotient inductive types. Zbl 1502.18046Fiore, Marcelo P.; Pitts, Andrew M.; Steenkamp, S. C. 1 2022 The Shapley value of inconsistency measures for functional dependencies. Zbl 07566076Livshits, Ester; Kimelfeld, Benny 1 2022 Modules over monads and operational semantics (expanded version). Zbl 07577567Hirschowitz, André; Hirschowitz, Tom; Lafont, Ambroise 1 2022 Why does propositional quantification make modal and temporal logics on trees robustly hard? Zbl 07577569Bednarczyk, Bartosz; Demri, Stéphane 1 2022 Uniform envelopes. Zbl 07577572Neumann, Eike 1 2022 Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy. Zbl 07577583Bisping, Benjamin; Jansen, David N.; Nestmann, Uwe 1 2022 Strongly-normalizing higher-order relational queries. Zbl 07596571Ricciotti, Wilmer; Cheney, James 1 2022 The theory of universal graphs for infinite duration games. Zbl 07596577Colcombet, Thomas; Fijalkow, Nathanaël; Gawrychowski, Paweł; Ohlmann, Pierre 1 2022 Relating functional and imperative session types. Zbl 07596581Saffrich, Hannes; Thiemann, Peter 1 2022 Good-for-games \(\omega\)-pushdown automata. Zbl 07471692Lehtinen, Karoliina; Zimmermann, Martin 1 2022 A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems. Zbl 07471693Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca; Loreti, Michele 1 2022 A recursive approach to solving parity games in quasipolynomial time. Zbl 07471697Lehtinen, Karoliina; Parys, Paweł; Schewe, Sven; Wojtczak, Dominik 1 2022 Rast: a language for resource-aware session types. Zbl 07471698Das, Ankush; Pfenning, Frank 1 2022 Normalization for planar string diagrams and a quadratic equivalence algorithm. Zbl 1502.18039Delpeuch, Antonin; Vicary, Jamie 1 2022 No-go theorems for distributive laws. Zbl 07471702Zwart, Maaike; Marsden, Dan 1 2022 Bounded reachability problems are decidable in FIFO machines. Zbl 07471708Bollig, Benedikt; Finkel, Alain; Suresh, Amrita 1 2022 Verifying liquidity of recursive Bitcoin contracts. Zbl 07471711Bartoletti, Massimo; Lande, Stefano; Murgia, Maurizio; Zunino, Roberto 1 2022 Regular matching problems for infinite trees. Zbl 07471714Camino, Carlos; Diekert, Volker; Dundua, Besik; Marin, Mircea; Sénizergues, Géraud 1 2022 Duality for powerset coalgebras. Zbl 07471716Bezhanishvili, Guram; Carai, Luca; Morandi, Patrick 1 2022 Algebraic coherent confluence and higher globular Kleene algebras. Zbl 1508.18018Calk, Cameron; Goubault, Eric; Malbos, Philippe; Struth, Georg 1 2022 Foundations of online structure theory. II: The operator approach. Zbl 07407778Downey, Rod; Melnikov, Alexander; Ng, Keng Meng 6 2021 Stubborn set reduction for two-player reachability games. Zbl 1501.68002Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří 5 2021 Superposition for lambda-free higher-order logic. Zbl 07350767Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Waldmann, Uwe 5 2021 A sound algorithm for asynchronous session subtyping and its implementation. Zbl 1509.68184Bravetti, Mario; Carbone, Marco; Lange, Julien; Yoshida, Nobuko; Zavattaro, Gianluigi 4 2021 Direct spectra of Bishop spaces and their limits. Zbl 1473.03038Petrakis, Iosif 4 2021 LNL-FPC: the linear/non-linear fixpoint calculus. Zbl 07350775Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir 4 2021 Failure trace semantics for a process algebra with time-outs. Zbl 07350777van Glabbeek, Rob 4 2021 Efficient full higher-order unification. Zbl 07471678Vukmirović, Petar; Bentkamp, Alexander; Nummelin, Visa 4 2021 Pumping lemmas for weighted automata. Zbl 1487.68143Chattopadhyay, Agnishom; Mazowiecki, Filip; Muscholl, Anca; Riveros, Cristian 3 2021 Relating apartness and bisimulation. Zbl 07407787Geuvers, Herman; Jacobs, Bart 3 2021 Discovering ePassport vulnerabilities using bisimilarity. Zbl 07379295Horne, Ross; Mauw, Sjouke 3 2021 Computing probabilistic bisimilarity distances for probabilistic automata. Zbl 1509.68181Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu; Tang, Qiyi; van Breugel, Franck 3 2021 Determinacy in discrete-bidding infinite-duration games. Zbl 1509.91007Aghajohari, Milad; Avni, Guy; Henzinger, Thomas A. 3 2021 Foundations of regular coinduction. Zbl 07471662Dagnino, Francesco 3 2021 A characterisation of open bisimilarity using an intuitionistic modal logic. Zbl 07407774Ahn, Ki Yung; Horne, Ross; Tiu, Alwen 2 2021 Separation for dot-depth two. Zbl 07407796Place, Thomas; Zeitoun, Marc 2 2021 Theories of real addition with and without a predicate for integers. Zbl 07379289Bès, Alexis; Choffrut, Christian 2 2021 Axiomatization of betweenness in order-theoretic trees. Zbl 1509.03029Courcelle, Bruno 2 2021 Robustness against transactional causal consistency. Zbl 1509.68157Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin 2 2021 Convolution algebras: relational convolution, generalised modalities and incidence algebras. Zbl 1509.03175Dongol, Brijesh; Hayes, Ian J.; Struth, Georg 2 2021 Synthesis of data word transducers. Zbl 1509.68132Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain 2 2021 Reconfiguration and message losses in parameterized broadcast networks. Zbl 1509.68160Bertrand, Nathalie; Bouyer, Patricia; Majumdar, Anirban 2 2021 Logic for exact real arithmetic. Zbl 07350773Schwichtenberg, Helmut; Wiesnet, Franziskus 2 2021 Reachability switching games. Zbl 1499.68200Fearnley, John; Gairing, Martin; Mnich, Matthias; Savani, Rahul 2 2021 Partially ordered automata and piecewise testability. Zbl 07350780Masopust, Tomáš; Krötzsch, Markus 2 2021 Computable analysis and notions of continuity in Coq. Zbl 07350782Steinberg, Florian; Thery, Laurent; Thies, Holger 2 2021 Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility. Zbl 1517.68319Lin, Anthony W.; Majumdar, Rupak 2 2021 Expressive logics for coinductive predicates. Zbl 07471679Kupke, Clemens; Rot, Jurriaan 2 2021 Presburger arithmetic with algebraic scalar multiplications. Zbl 07407776Hieronymi, Philipp; Nguyen, Danny; Pak, Igor 1 2021 Multimodal dependent type theory. Zbl 1498.03030Gratzer, Daniel; Kavvos, G. A.; Nuyts, Andreas; Birkedal, Lars 1 2021 Equivalence checking for weak bi-Kleene algebra. Zbl 07407791Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio 1 2021 The Shapley value of tuples in query answering. Zbl 07407794Livshits, Ester; Bertossi, Leopoldo; Kimelfeld, Benny; Sebag, Moshe 1 2021 Characterization and derivation of heard-of predicates for asynchronous message-passing models. Zbl 07407798Shimi, Adam; Hurault, Aurélie; Queinnec, Philippe 1 2021 A realizability semantics for inductive formal topologies, Church’s thesis and axiom of choice. Zbl 07379292Maietti, Maria Emilia; Maschio, Samuele; Rathjen, Michael 1 2021 Predicative theories of continuous lattices. Zbl 07379293Kawai, Tatsuji 1 2021 Definable decompositions for graphs of bounded linear cliquewidth. Zbl 1509.03119Bojańczyk, Mikołaj; Grohe, Martin; Pilipczuk, Michał 1 2021 Modal logics for nominal transition systems. Zbl 1509.68188Parrow, Joachim; Borgström, Johannes; Eriksson, Lars-Henrik; Forsberg Gutkovas, Ramūnas; Weber, Tjark 1 2021 The \(\pi\)-calculus is behaviourally complete and orbit-finitely executable. Zbl 1509.68187Luttik, Bas; Yang, Fei 1 2021 A formal proof of the irrationality of \(\zeta(3)\). Zbl 1509.68311Mahboubi, Assia; Sibut-Pinote, Thomas 1 2021 Sculptures in concurrency. Zbl 07350771Fahrenberg, Uli; Johansen, Christian; Trotter, Christopher A.; Ziemiański, Krzysztof 1 2021 Constructing higher inductive types as groupoid quotients. Zbl 1498.03037Veltri, Niccolò; van der Weide, Niels 1 2021 Parametric updates in parametric timed automata. Zbl 07350779André, Étienne; Lime, Didier; Ramparison, Mathias 1 2021 Decidability for entailments of symbolic heaps with arrays. Zbl 07350781Kimura, Daisuke; Tatsuta, Makoto 1 2021 Causal consistency for reversible multiparty protocols. Zbl 07471661Antares Mezzina, Claudio; Pérez, Jorge A. 1 2021 Probabilistic timed automata with one clock and initialised clock-dependent probabilities. Zbl 07471666Sproston, Jeremy 1 2021 Dagger linear logic for categorical quantum mechanics. Zbl 07471668Cockett, Robin; Comfort, Cole; Srinivasan, Priyaa V. 1 2021 Dynamic complexity of parity exists queries. Zbl 07471669Vortmeier, Nils; Zeume, Thomas 1 2021 Time-fluid field-based coordination through programmable distributed schedulers. Zbl 07471673Pianini, Danilo; Casadei, Roberto; Viroli, Mirko; Mariani, Stefano; Zambonelli, Franco 1 2021 Stashing and parallelization pentagons. Zbl 07471680Brattka, Vasco 1 2021 An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets. Zbl 07471682Chouquet, Jules; Vaux Auclair, Lionel 1 2021 Modalities in homotopy type theory. Zbl 1489.03005Rijke, Egbert; Shulman, Michael; Spitters, Bas 16 2020 Reversing place transition nets. Zbl 07269252Melgratti, Hernán; Mezzina, Claudio Antares; Ulidowski, Irek 10 2020 Rule algebras for adhesive categories. Zbl 1444.68083Behr, Nicolas; Sobociński, Paweł 8 2020 Combinatorial conversion and moment bisimulation for stochastic rewriting systems. Zbl 07226005Behr, Nicolas; Danos, Vincent; Garnier, Ilias 8 2020 Probabilistic logics based on Riesz spaces. Zbl 1442.03010Furber, Robert; Mardare, Radu; Mio, Matteo 7 2020 Constructive canonicity of inductive inequalities. Zbl 07243670Conradie, Willem; Palmigiano, Alessandra 7 2020 Field-based coordination with the share operator. Zbl 07269248Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Pianini, Danilo; Viroli, Mirko 7 2020 On the logical complexity of cyclic arithmetic. Zbl 07155168Das, Anupam 6 2020 ...and 839 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,902 Authors 28 Chatterjee, Krishnendu 27 Milius, Stefan 25 Jacobs, Bart 23 Bouyer, Patricia 23 Pauly, Arno M. 23 Silva, Alexandra 22 Schröder, Lutz 21 Bonchi, Filippo 20 Bodirsky, Manuel 20 Larsen, Kim Guldstrand 20 Murano, Aniello 20 Worrell, James B. 20 Yoshida, Nobuko 19 Birkedal, Lars 19 Raskin, Jean-François 18 Droste, Manfred 18 Henzinger, Thomas A. 17 Rot, Jurriaan 17 Zanasi, Fabio 16 Filiot, Emmanuel 16 Katoen, Joost-Pieter 16 Kupferman, Orna 16 Uustalu, Tarmo 15 Bollig, Benedikt 15 Bozzelli, Laura 15 Conradie, Willem 15 Dal Lago, Ugo 15 Ghilardi, Silvio 15 Goubault-Larrecq, Jean 15 Kufleitner, Manfred 15 Markey, Nicolas 15 Palmigiano, Alessandra 15 Veltri, Niccolò 14 Kuske, Dietrich 14 Zeitoun, Marc 14 Zimmermann, Martín G. 13 Baier, Christel 13 Doyen, Laurent 13 Finkel, Olivier 13 Lange, Martin 13 Leroux, Stéphane 13 Loreti, Michele 13 Luttik, Bas 13 Montanari, Angelo 13 Randour, Mickael 13 Sobociński, Paweł 13 Tini, Simone 13 Vardi, Moshe Ya’akov 12 Beyersdorff, Olaf 12 Brattka, Vasco 12 Cimatti, Alessandro 12 Iljazović, Zvonko 12 Kiefer, Stefan 12 Krebs, Andreas 12 Krokhin, Andrei A. 12 Lasota, Sławomir 12 Place, Thomas 12 Reynier, Pierre-Alain 12 Selivanov, Viktor L’vovich 12 Skrzypczak, Michał 12 Straßburger, Lutz 11 Coquand, Thierry 11 Courcelle, Bruno 11 Gastin, Paul 11 Kesner, Delia 11 Křetínský, Jan 11 Lanese, Ivan 11 Mogavero, Fabio 11 Montanari, Ugo G. 11 Pérez, Jorge A. 11 Pinsker, Michael 11 Rabinovich, Alexander 11 Schewe, Sven 11 Wessel, Daniel 11 Wißmann, Thorsten 11 Zhang, Lijun 10 Aceto, Luca 10 Endrullis, Jörg 10 Goranko, Valentin F. 10 Gutierrez, Julian 10 Heunen, Chris 10 Horne, Ross 10 Junges, Sebastian 10 Kohlenbach, Ulrich Wilhelm 10 Krishna, Shankara Narayanan 10 Kwiatkowska, Marta Z. 10 Li, Qingguo 10 Lozes, Etienne 10 Mardare, Radu 10 Melgratti, Hernán 10 Møgelberg, Rasmus Ejlers 10 Murawski, Andrzej S. 10 Pattinson, Dirk 10 Perelli, Giuseppe 10 Peron, Adriano 10 Sammartino, Matteo 10 Schuster, Peter Michael 10 Stephan, Frank 10 Venema, Yde 9 Abdulla, Parosh Aziz ...and 3,802 more Authors all top 5 Cited in 204 Journals 279 Logical Methods in Computer Science 220 Theoretical Computer Science 175 Information and Computation 104 MSCS. Mathematical Structures in Computer Science 94 Journal of Automated Reasoning 87 Journal of Logical and Algebraic Methods in Programming 68 Annals of Pure and Applied Logic 62 Acta Informatica 54 Journal of Computer and System Sciences 48 Theory of Computing Systems 47 Journal of Functional Programming 44 ACM Transactions on Computational Logic 40 Formal Methods in System Design 35 Information Processing Letters 33 Algebra Universalis 30 The Journal of Symbolic Logic 29 Formal Aspects of Computing 27 Artificial Intelligence 27 Studia Logica 21 SIAM Journal on Computing 20 Topology and its Applications 18 International Journal of Foundations of Computer Science 18 Fundamenta Informaticae 16 Archive for Mathematical Logic 16 Journal of Applied Non-Classical Logics 13 Mathematical Logic Quarterly (MLQ) 12 European Journal of Combinatorics 12 Theory and Applications of Categories 12 Journal of Applied Logic 11 Annals of Mathematics and Artificial Intelligence 11 Journal of the ACM 10 Discrete Applied Mathematics 10 Journal of Pure and Applied Algebra 10 Science of Computer Programming 10 Order 10 Applied Categorical Structures 10 Theory and Practice of Logic Programming 10 The Review of Symbolic Logic 10 Computability 9 Journal of Philosophical Logic 8 Fuzzy Sets and Systems 8 Journal of Complexity 8 Algorithmica 8 SIAM Journal on Discrete Mathematics 8 International Journal of Algebra and Computation 8 Computational Complexity 8 Constraints 8 Higher-Order and Symbolic Computation 8 RAIRO. Theoretical Informatics and Applications 7 Journal of Symbolic Computation 7 International Journal of Approximate Reasoning 7 Discrete Event Dynamic Systems 7 The Journal of Logic and Algebraic Programming 6 Discrete Mathematics 6 Advances in Mathematics 6 Synthese 6 Journal of Mathematical Logic 6 Mathematics in Computer Science 6 Logica Universalis 5 Notre Dame Journal of Formal Logic 5 Semigroup Forum 5 Transactions of the American Mathematical Society 5 Journal of Logic, Language and Information 5 The Bulletin of Symbolic Logic 5 Soft Computing 5 Computer Languages, Systems & Structures 5 Journal of Logic and Analysis 5 Computer Science Review 4 Israel Journal of Mathematics 4 Automatica 4 Forum Mathematicum 4 The Electronic Journal of Combinatorics 4 Nonlinear Analysis. Hybrid Systems 3 Communications in Algebra 3 Siberian Mathematical Journal 3 AI Communications 3 Topology Proceedings 3 Selecta Mathematica. New Series 3 Discrete Mathematics and Theoretical Computer Science. DMTCS 3 RAIRO. Theoretical Informatics and Applications 3 Communications in Contemporary Mathematics 3 Oberwolfach Reports 3 Confluentes Mathematici 3 Higher Structures 2 Journal of Mathematical Analysis and Applications 2 Journal of Mathematical Physics 2 Canadian Mathematical Bulletin 2 Commentationes Mathematicae Universitatis Carolinae 2 Information Sciences 2 Journal of Combinatorial Theory. Series B 2 Journal of Graph Theory 2 Proceedings of the American Mathematical Society 2 Programming and Computer Software 2 Advances in Applied Mathematics 2 Combinatorica 2 Computational Geometry 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 ...and 104 more Journals all top 5 Cited in 50 Fields 2,616 Computer science (68-XX) 1,507 Mathematical logic and foundations (03-XX) 260 Category theory; homological algebra (18-XX) 186 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 135 Order, lattices, ordered algebraic structures (06-XX) 117 Combinatorics (05-XX) 98 General algebraic systems (08-XX) 74 Operations research, mathematical programming (90-XX) 69 Quantum theory (81-XX) 68 General topology (54-XX) 56 Probability theory and stochastic processes (60-XX) 45 Group theory and generalizations (20-XX) 35 Systems theory; control (93-XX) 33 Information and communication theory, circuits (94-XX) 26 Algebraic topology (55-XX) 21 Measure and integration (28-XX) 18 Commutative algebra (13-XX) 17 Associative rings and algebras (16-XX) 15 Number theory (11-XX) 12 Functional analysis (46-XX) 12 Operator theory (47-XX) 12 Statistics (62-XX) 11 Numerical analysis (65-XX) 9 History and biography (01-XX) 9 Convex and discrete geometry (52-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 7 Dynamical systems and ergodic theory (37-XX) 7 Biology and other natural sciences (92-XX) 6 Ordinary differential equations (34-XX) 5 General and overarching topics; collections (00-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) 4 Real functions (26-XX) 3 Harmonic analysis on Euclidean spaces (42-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 Nonassociative rings and algebras (17-XX) 2 Difference and functional equations (39-XX) 2 Differential geometry (53-XX) 2 Mathematics education (97-XX) 1 Partial differential equations (35-XX) 1 Sequences, series, summability (40-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) Citations by Year