default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogical Methods in Computer Science, Volume 21
Volume 21, Number 1, 2025
- Thomas Ehrhard, Guillaume Geoffroy:
Integration in Cones. - Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
:
Checkpoint-based rollback recovery in session programming. 2 - Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann:
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder. 3 - Javier Esparza, Michael Raskin, Christoph Welzel-Mohr:
Regular Model Checking Upside-Down: An Invariant-Based Approach. 4 - Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux:
Complete and tractable machine-independent characterizations of second-order polytime. 5 - Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi:
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. 6 - Francesco Dagnino, Fabio Pasquali:
Quantitative Equality in Substructural Logic via Lipschitz Doctrines. - Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier:
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights. - Timo Camillo Merkl, Reinhard Pichler, Sebastian Skritek:
Diversity of Answers to Conjunctive Queries. - Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas:
Multi-Structural Games and Number of Quantifiers. - Arnaud Carayol, Philippe Duchon, Florent Koechlin, Cyril Nicaud:
Random Deterministic Automata With One Added Transition. - Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi:
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure. - Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos:
Bisimilarity in fresh-register automata. - Benedikt Ahrens, Jacopo Emmenegger, Paige Randall North, Egbert Rijke:
Algebraic Presentations of Type Dependency. - Davide Trotta, Manlio Valenti, Valeria de Paiva:
Categorifying computable reducibilities. - Niels van der Weide:
The Formal Theory of Monads, Univalently.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-04 02:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
