Search dblp for Publications

export results for "toc:db/journals/lmcs/lmcs20.bht:"

 download as .bib file

@article{DBLP:journals/lmcs/0001024,
  author       = {Bas van den Heuvel and
                  Jorge A. P{\'{e}}rez},
  title        = {Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic
                  Process Networks},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:6)2024},
  doi          = {10.46298/LMCS-20(4:6)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/0001024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/0001CMB24,
  author       = {Bart Bogaerts and
                  Balder ten Cate and
                  Brett McLean and
                  Jan Van den Bussche},
  title        = {Preservation theorems for Tarski's relation algebra},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:20)2024},
  doi          = {10.46298/LMCS-20(3:20)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/0001CMB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/AamerBSTB24,
  author       = {Heba Aamer and
                  Bart Bogaerts and
                  Dimitri Surinx and
                  Eugenia Ternovska and
                  Jan Van den Bussche},
  title        = {Executable First-Order Queries in the Logic of Information Flows},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:6)2024},
  doi          = {10.46298/LMCS-20(2:6)2024},
  timestamp    = {Mon, 10 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/AamerBSTB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/AcamporaGGMP24,
  author       = {Renato Acampora and
                  Luca Geatti and
                  Nicola Gigante and
                  Angelo Montanari and
                  Valentino Picotti},
  title        = {Controller Synthesis for Timeline-based Games},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:17)2024},
  doi          = {10.46298/LMCS-20(3:17)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/AcamporaGGMP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/AccattoliLV24,
  author       = {Beniamino Accattoli and
                  Ugo Dal Lago and
                  Gabriele Vanoni},
  title        = {Reasonable Space for the {\textdollar}\{{\textbackslash}lambda\}{\textdollar}-Calculus,
                  Logarithmically},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:15)2024},
  doi          = {10.46298/LMCS-20(4:15)2024},
  timestamp    = {Tue, 26 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/AccattoliLV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/AcetoAAFI24,
  author       = {Luca Aceto and
                  Antonis Achilleos and
                  Elli Anastasiadi and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Complexity results for modal logic with recursion via translations
                  and tableaux},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:14)2024},
  doi          = {10.46298/LMCS-20(3:14)2024},
  timestamp    = {Wed, 28 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/AcetoAAFI24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/AhmanP24,
  author       = {Danel Ahman and
                  Matija Pretnar},
  title        = {Higher-Order Asynchronous Effects},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:26)2024},
  doi          = {10.46298/LMCS-20(3:26)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/AhmanP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/AkshayBGV24,
  author       = {S. Akshay and
                  Hugo Bazille and
                  Blaise Genest and
                  Mihir Vahanwala},
  title        = {On Robustness for the Skolem, Positivity and Ultimate Positivity Problems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:11)2024},
  doi          = {10.46298/LMCS-20(2:11)2024},
  timestamp    = {Mon, 10 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/AkshayBGV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/AkshayGGS24,
  author       = {S. Akshay and
                  Paul Gastin and
                  R. Govind and
                  B. Srivathsan},
  title        = {Simulations for Event-Clock Automata},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:2)2024},
  doi          = {10.46298/LMCS-20(3:2)2024},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/AkshayGGS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/AlpayJS24,
  author       = {Natanael Alpay and
                  Peter Jipsen and
                  Melissa Sugimoto},
  title        = {Varieties of unary-determined distributive {\textdollar}{\textbackslash}ell{\textdollar}-magmas
                  and bunched implication algebras},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:12)2024},
  doi          = {10.46298/LMCS-20(1:12)2024},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/AlpayJS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/AngluinF24,
  author       = {Dana Angluin and
                  Dana Fisman},
  title        = {Constructing Concise Characteristic Samples for Acceptors of Omega
                  Regular Languages},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:10)2024},
  doi          = {10.46298/LMCS-20(4:10)2024},
  timestamp    = {Tue, 26 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/AngluinF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Antic24,
  author       = {Christian Antic},
  title        = {Boolean proportions},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:2)2024},
  doi          = {10.46298/LMCS-20(2:2)2024},
  timestamp    = {Thu, 20 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Antic24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BacciMPP24,
  author       = {Giorgio Bacci and
                  Radu Mardare and
                  Prakash Panangaden and
                  Gordon D. Plotkin},
  title        = {Sum and Tensor of Quantitative Effects},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:9)2024},
  doi          = {10.46298/LMCS-20(4:9)2024},
  timestamp    = {Sat, 30 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/BacciMPP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BaierPZ24,
  author       = {Christel Baier and
                  Jakob Piribauer and
                  Robin Ziemek},
  title        = {Foundations of probability-raising causality in Markov decision processes},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:4)2024},
  doi          = {10.46298/LMCS-20(1:4)2024},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BaierPZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Bednarczyk24,
  author       = {Bartosz Bednarczyk},
  title        = {Exploring Non-Regular Extensions of Propositional Dynamic Logic with
                  Description-Logics Features},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:7)2024},
  doi          = {10.46298/LMCS-20(2:7)2024},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Bednarczyk24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BenediktPW24,
  author       = {Michael Benedikt and
                  C{\'{e}}cilia Pradic and
                  Christoph Wernhard},
  title        = {Synthesizing nested relational queries from implicit specifications:
                  via model theory and via proof theory},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:7)2024},
  doi          = {10.46298/LMCS-20(3:7)2024},
  timestamp    = {Wed, 28 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BenediktPW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BiernackaBLPPS24,
  author       = {Malgorzata Biernacka and
                  Dariusz Biernacki and
                  Sergue{\"{\i}} Lenglet and
                  Piotr Polesiuk and
                  Damien Pous and
                  Alan Schmitt},
  title        = {Fully Abstract Encodings of {\textdollar}{\textbackslash}lambda{\textdollar}-Calculus
                  in HOcore through Abstract Machines},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:3)2024},
  doi          = {10.46298/LMCS-20(3:3)2024},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BiernackaBLPPS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BlondinE24,
  author       = {Michael Blondin and
                  Javier Esparza},
  title        = {Separators in Continuous Petri Nets},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:15)2024},
  doi          = {10.46298/LMCS-20(1:15)2024},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BlondinE24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BocchiLMY24,
  author       = {Laura Bocchi and
                  Ivan Lanese and
                  Claudio Antares Mezzina and
                  Shoji Yuen},
  title        = {revTPL: The Reversible Temporal Process Language},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:11)2024},
  doi          = {10.46298/LMCS-20(1:11)2024},
  timestamp    = {Tue, 05 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/BocchiLMY24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BogaertsJB24,
  author       = {Bart Bogaerts and
                  Maxime Jakubowski and
                  Jan Van den Bussche},
  title        = {Expressiveness of {SHACL} Features and Extensions for Full Equality
                  and Disjointness Tests},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:16)2024},
  doi          = {10.46298/LMCS-20(1:16)2024},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BogaertsJB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BolligFS24,
  author       = {Benedikt Bollig and
                  Alain Finkel and
                  Amrita Suresh},
  title        = {Branch-Well-Structured Transition Systems and Extensions},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:12)2024},
  doi          = {10.46298/LMCS-20(2:12)2024},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BolligFS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BolligSS24,
  author       = {Benedikt Bollig and
                  Arnaud Sangnier and
                  Olivier Stietel},
  title        = {On the Satisfiability of Local First-Order Logics with Data},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:1)2024},
  doi          = {10.46298/LMCS-20(3:1)2024},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BolligSS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BonelliKV24,
  author       = {Eduardo Bonelli and
                  Delia Kesner and
                  Andr{\'{e}}s Viso},
  title        = {A Strong Bisimulation for a Classical Term Calculus},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:4)2024},
  doi          = {10.46298/LMCS-20(2:4)2024},
  timestamp    = {Mon, 29 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BonelliKV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BonnetNMST24,
  author       = {{\'{E}}douard Bonnet and
                  Jaroslav Nesetril and
                  Patrice Ossona de Mendez and
                  Sebastian Siebertz and
                  St{\'{e}}phan Thomass{\'{e}}},
  title        = {Twin-width and permutations},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:4)2024},
  doi          = {10.46298/LMCS-20(3:4)2024},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BonnetNMST24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BorealeCG24,
  author       = {Michele Boreale and
                  Luisa Collodi and
                  Daniele Gorla},
  title        = {An implicit function theorem for the stream calculus},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:15)2024},
  doi          = {10.46298/LMCS-20(2:15)2024},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BorealeCG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BoseHLST24,
  author       = {Sougata Bose and
                  Thomas A. Henzinger and
                  Karoliina Lehtinen and
                  Sven Schewe and
                  Patrick Totzke},
  title        = {History-deterministic Timed Automata},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:1)2024},
  doi          = {10.46298/LMCS-20(4:1)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BoseHLST24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BouyerCRV24,
  author       = {Patricia Bouyer and
                  Antonio Casares and
                  Mickael Randour and
                  Pierre Vandenhove},
  title        = {Half-Positional Objectives Recognized by Deterministic B{\"{u}}chi
                  Automata},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:19)2024},
  doi          = {10.46298/LMCS-20(3:19)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BouyerCRV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BozzelliMPS24,
  author       = {Laura Bozzelli and
                  Angelo Montanari and
                  Adriano Peron and
                  Pietro Sala},
  title        = {The addition of temporal neighborhood makes the logic of prefixes
                  and sub-intervals EXPSPACE-complete},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:23)2024},
  doi          = {10.46298/LMCS-20(1:23)2024},
  timestamp    = {Mon, 29 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BozzelliMPS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BravettiLZ24,
  author       = {Mario Bravetti and
                  Julien Lange and
                  Gianluigi Zavattaro},
  title        = {Fair Asynchronous Session Subtyping},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:5)2024},
  doi          = {10.46298/LMCS-20(4:5)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BravettiLZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/CapelliCNR24,
  author       = {Florent Capelli and
                  Nicolas Crosetti and
                  Joachim Niehren and
                  Jan Ramon},
  title        = {Linear Programs with Conjunctive Database Queries},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:9)2024},
  doi          = {10.46298/LMCS-20(1:9)2024},
  timestamp    = {Tue, 05 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/CapelliCNR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/CartonP24,
  author       = {Olivier Carton and
                  Sylvain Perifel},
  title        = {Deterministic pushdown automata can compress some normal sequences},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:15)2024},
  doi          = {10.46298/LMCS-20(3:15)2024},
  timestamp    = {Wed, 28 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/CartonP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/CastellanC24,
  author       = {Simon Castellan and
                  Pierre Clairambault},
  title        = {Disentangling Parallelism and Interference in Game Semantics},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:24)2024},
  doi          = {10.46298/LMCS-20(3:24)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/CastellanC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/ChatterjeeD24,
  author       = {Krishnendu Chatterjee and
                  Laurent Doyen},
  title        = {Stochastic Processes with Expected Stopping Time},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:11)2024},
  doi          = {10.46298/LMCS-20(4:11)2024},
  timestamp    = {Tue, 26 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/ChatterjeeD24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/ChewS24,
  author       = {Leroy Chew and
                  Friedrich Slivovsky},
  title        = {Towards Uniform Certification in {QBF}},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:14)2024},
  doi          = {10.46298/LMCS-20(1:14)2024},
  timestamp    = {Tue, 05 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/ChewS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Cirstea24,
  author       = {Corina C{\^{\i}}rstea},
  title        = {Linear-time logics - a coalgebraic perspective},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:13)2024},
  doi          = {10.46298/LMCS-20(2:13)2024},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Cirstea24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/CohenR24,
  author       = {Liron Cohen and
                  Vincent Rahli},
  title        = {{\textdollar}{\textbackslash}text\{TT\}\{{\textbackslash}Box\}{\_}\{{\textbackslash}mathcal
                  C\}{\textdollar}: a Family of Extensional Type Theories with Effectful
                  Realizers of Continuity},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:18)2024},
  doi          = {10.46298/LMCS-20(2:18)2024},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/CohenR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/ColcombetFH24,
  author       = {Thomas Colcombet and
                  Nathana{\"{e}}l Fijalkow and
                  Florian Horn},
  title        = {Playing Safe, Ten Years Later},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:10)2024},
  doi          = {10.46298/LMCS-20(1:10)2024},
  timestamp    = {Tue, 05 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/ColcombetFH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/ConghaileD24,
  author       = {Adam {\'{O}} Conghaile and
                  Anuj Dawar},
  title        = {Game Comonads {\&} Generalised Quantifiers},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:8)2024},
  doi          = {10.46298/LMCS-20(3:8)2024},
  timestamp    = {Sun, 08 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/ConghaileD24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/DagninoG24,
  author       = {Francesco Dagnino and
                  Francesco Gavazzo},
  title        = {A Fibrational Tale of Operational Logical Relations: Pure, Effectful
                  and Differential},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:1)2024},
  doi          = {10.46298/LMCS-20(2:1)2024},
  timestamp    = {Mon, 29 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/DagninoG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/DantchevGGM24,
  author       = {Stefan S. Dantchev and
                  Nicola Galesi and
                  Abdul Ghani and
                  Barnaby Martin},
  title        = {Depth lower bounds in Stabbing Planes for combinatorial principles},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:1)2024},
  doi          = {10.46298/LMCS-20(1:1)2024},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/DantchevGGM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/DevrieseMP24,
  author       = {Dominique Devriese and
                  Eric Mark Martin and
                  Marco Patrignani},
  title        = {On the Semantic Expressiveness of Iso- and Equi-Recursive Types},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:14)2024},
  doi          = {10.46298/LMCS-20(4:14)2024},
  timestamp    = {Tue, 26 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/DevrieseMP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/FelicissimoB24,
  author       = {Thiago Felicissimo and
                  Fr{\'{e}}d{\'{e}}ric Blanqui},
  title        = {Sharing proofs with predicative theories through universe-polymorphic
                  elaboration},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:23)2024},
  doi          = {10.46298/LMCS-20(3:23)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/FelicissimoB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/FioreGP24,
  author       = {Marcelo Fiore and
                  Zeinab Galal and
                  Hugo Paquet},
  title        = {Stabilized profunctors and stable species of structures},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:17)2024},
  doi          = {10.46298/LMCS-20(1:17)2024},
  timestamp    = {Mon, 29 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/FioreGP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/FritscheKLMS24,
  author       = {Lars Fritsche and
                  Jens Kosiol and
                  Alexander Lauer and
                  Adrian M{\"{o}}ller and
                  Andy Sch{\"{u}}rr},
  title        = {Advanced Model Consistency Restoration with Higher-Order Short-Cut
                  Rules},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:25)2024},
  doi          = {10.46298/LMCS-20(3:25)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/FritscheKLMS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/GhoshA24,
  author       = {Bineet Ghosh and
                  {\'{E}}tienne Andr{\'{e}}},
  title        = {Offline and online energy-efficient monitoring of scattered uncertain
                  logs using a bounding model},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:2)2024},
  doi          = {10.46298/LMCS-20(1:2)2024},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/GhoshA24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Gluck24,
  author       = {Roland Gl{\"{u}}ck},
  title        = {Isolated Suborders and their Application to Counting Closure Operators},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:11)2024},
  doi          = {10.46298/LMCS-20(3:11)2024},
  timestamp    = {Wed, 28 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Gluck24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/GoolGMS24,
  author       = {Sam van Gool and
                  Adrien Guatto and
                  George Metcalfe and
                  Simon Santschi},
  title        = {Deciding Equations in the Time Warp Algebra},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:8)2024},
  doi          = {10.46298/LMCS-20(1:8)2024},
  timestamp    = {Tue, 05 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/GoolGMS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Goubault-Larrecq24,
  author       = {Jean Goubault{-}Larrecq and
                  Xiaodong Jia},
  title        = {A cone-theoretic barycenter existence theorem},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:7)2024},
  doi          = {10.46298/LMCS-20(4:7)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Goubault-Larrecq24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/GracaZ24,
  author       = {Daniel Silva Gra{\c{c}}a and
                  Ning Zhong},
  title        = {Robust non-computability of dynamical systems and computability of
                  robust dynamical systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:19)2024},
  doi          = {10.46298/LMCS-20(2:19)2024},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/GracaZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/GradelLN24,
  author       = {Erich Gr{\"{a}}del and
                  Niels L{\"{u}}cking and
                  Matthias Naaf},
  title        = {Semiring Provenance for B{\textbackslash}"uchi Games: Strategy Analysis
                  with Absorptive Polynomials},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:21)2024},
  doi          = {10.46298/LMCS-20(1:21)2024},
  timestamp    = {Mon, 29 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/GradelLN24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/GuhaJLZ24,
  author       = {Shibashis Guha and
                  Isma{\"{e}}l Jecker and
                  Karoliina Lehtinen and
                  Martin Zimmermann},
  title        = {A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:3)2024},
  doi          = {10.46298/LMCS-20(1:3)2024},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/GuhaJLZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/HausmannS24,
  author       = {Daniel Hausmann and
                  Lutz Schr{\"{o}}der},
  title        = {Coalgebraic Satisfiability Checking for Arithmetic {\textdollar}{\textbackslash}mu{\textdollar}-Calculi},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:9)2024},
  doi          = {10.46298/LMCS-20(3:9)2024},
  timestamp    = {Sun, 08 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/HausmannS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/HermesK24,
  author       = {Marc Hermes and
                  Dominik Kirst},
  title        = {An Analysis of Tennenbaum's Theorem in Constructive Type Theory},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:19)2024},
  doi          = {10.46298/LMCS-20(1:19)2024},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/HermesK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/HieronymiMOSSS24,
  author       = {Philipp Hieronymi and
                  Dun Ma and
                  Reed Oei and
                  Luke Schaeffer and
                  Christian Schulz and
                  Jeffrey O. Shallit},
  title        = {Decidability for Sturmian words},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:12)2024},
  doi          = {10.46298/LMCS-20(3:12)2024},
  timestamp    = {Wed, 28 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/HieronymiMOSSS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/HirschowitzHLM24,
  author       = {Andr{\'{e}} Hirschowitz and
                  Tom Hirschowitz and
                  Ambroise Lafont and
                  Marco Maggesi},
  title        = {Variable binding and substitution for (nameless) dummies},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:18)2024},
  doi          = {10.46298/LMCS-20(1:18)2024},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/HirschowitzHLM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/IkedaYK24,
  author       = {Mitsumasa Ikeda and
                  Yoriyuki Yamagata and
                  Takayuki Kihara},
  title        = {On the Metric Temporal Logic for Continuous Stochastic Processes},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:14)2024},
  doi          = {10.46298/LMCS-20(2:14)2024},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/IkedaYK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/JeandelPV24,
  author       = {Emmanuel Jeandel and
                  Simon Perdrix and
                  Margarita Veshchezerova},
  title        = {Addition and Differentiation of ZX-diagrams},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:10)2024},
  doi          = {10.46298/LMCS-20(2:10)2024},
  timestamp    = {Mon, 10 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/JeandelPV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/KesnerPV24,
  author       = {Delia Kesner and
                  Lo{\"{\i}}c Peyrot and
                  Daniel Ventura},
  title        = {Node Replication: Theory And Practice},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:5)2024},
  doi          = {10.46298/LMCS-20(1:5)2024},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/KesnerPV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/KoponenW24,
  author       = {Vera Koponen and
                  Felix Weitk{\"{a}}mper},
  title        = {On the relative asymptotic expressivity of inference frameworks},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:13)2024},
  doi          = {10.46298/LMCS-20(4:13)2024},
  timestamp    = {Tue, 26 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/KoponenW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/KouzapasGVG24,
  author       = {Dimitrios Kouzapas and
                  Ramunas Gutkovas and
                  A. Laura Voinea and
                  Simon J. Gay},
  title        = {A Session Type System for Asynchronous Unreliable Broadcast Communication},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:13)2024},
  doi          = {10.46298/LMCS-20(3:13)2024},
  timestamp    = {Wed, 28 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/KouzapasGVG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/KrauterRKL24,
  author       = {Tim Kr{\"{a}}uter and
                  Adrian Rutle and
                  Harald K{\"{o}}nig and
                  Yngve Lamo},
  title        = {A higher-order transformation approach to the formalization and analysis
                  of {BPMN} using graph transformation systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:4)2024},
  doi          = {10.46298/LMCS-20(4:4)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/KrauterRKL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/KurzPT24,
  author       = {Alexander Kurz and
                  Wolfgang Poiger and
                  Bruno Teheux},
  title        = {Many-valued coalgebraic logic over semi-primal varieties},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:6)2024},
  doi          = {10.46298/LMCS-20(3:6)2024},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/KurzPT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/LuT24,
  author       = {Chia{-}Hsuan Lu and
                  Tony Tan},
  title        = {On two-variable guarded fragment logic with expressive local Presburger
                  constraints},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:16)2024},
  doi          = {10.46298/LMCS-20(3:16)2024},
  timestamp    = {Tue, 15 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/LuT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Mahajan024,
  author       = {Meena Mahajan and
                  Gaurav Sood},
  title        = {{QBF} Merge Resolution is powerful but unnatural},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:22)2024},
  doi          = {10.46298/LMCS-20(3:22)2024},
  timestamp    = {Tue, 15 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Mahajan024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/McDermottM24,
  author       = {Dylan McDermott and
                  Alan Mycroft},
  title        = {Galois connecting call-by-value and call-by-name},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:13)2024},
  doi          = {10.46298/LMCS-20(1:13)2024},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/McDermottM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/MontacuteS24,
  author       = {Yo{\`{a}}v Montacute and
                  Nihil Shah},
  title        = {The Pebble-Relation Comonad in Finite Model Theory},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:9)2024},
  doi          = {10.46298/LMCS-20(2:9)2024},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/MontacuteS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/NeeleP24,
  author       = {Thomas Neele and
                  Jaco van de Pol},
  title        = {Operations on Fixpoint Equation Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:5)2024},
  doi          = {10.46298/LMCS-20(3:5)2024},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/NeeleP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Nguyen24,
  author       = {L{\^{e}} Th{\`{a}}nh Dung Nguy{\^{e}}n},
  title        = {Simply typed convertibility is TOWER-complete even for safe lambda-terms},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:21)2024},
  doi          = {10.46298/LMCS-20(3:21)2024},
  timestamp    = {Tue, 15 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Nguyen24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/NuytsD24,
  author       = {Andreas Nuyts and
                  Dominique Devriese},
  title        = {Transpension: The Right Adjoint to the Pi-type},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:16)2024},
  doi          = {10.46298/LMCS-20(2:16)2024},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/NuytsD24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/OverbeekE24,
  author       = {Roy Overbeek and
                  J{\"{o}}rg Endrullis},
  title        = {Termination of Graph Transformation Systems Using Weighted Subgraph
                  Counting},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:12)2024},
  doi          = {10.46298/LMCS-20(4:12)2024},
  timestamp    = {Tue, 26 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/OverbeekE24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/ParkBCKKLMNPZ24,
  author       = {Sewon Park and
                  Franz Brau{\ss}e and
                  Pieter Collins and
                  SunYoung Kim and
                  Michal Konecn{\'{y}} and
                  Gyesik Lee and
                  Norbert Th. M{\"{u}}ller and
                  Eike Neumann and
                  Norbert Preining and
                  Martin Ziegler},
  title        = {Semantics, Specification Logic, and Hoare Logic of Exact Real Computation},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:17)2024},
  doi          = {10.46298/LMCS-20(2:17)2024},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/ParkBCKKLMNPZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/PetrakisZ24,
  author       = {Iosif Petrakis and
                  Max Zeuner},
  title        = {Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng
                  measure theory},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:2)2024},
  doi          = {10.46298/LMCS-20(4:2)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/PetrakisZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/PousRW24,
  author       = {Damien Pous and
                  Jurriaan Rot and
                  Jana Wagemaker},
  title        = {On Tools for Completeness of Kleene Algebra with Hypotheses},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:8)2024},
  doi          = {10.46298/LMCS-20(2:8)2024},
  timestamp    = {Mon, 10 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/PousRW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/PousW24,
  author       = {Damien Pous and
                  Jana Wagemaker},
  title        = {Completeness Theorems for Kleene algebra with tests and top},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:27)2024},
  doi          = {10.46298/LMCS-20(3:27)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/PousW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Powell24,
  author       = {Thomas Powell},
  title        = {Proofs as stateful programs: {A} first-order logic with abstract Hoare
                  triples, and an interpretation into an imperative language},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:7)2024},
  doi          = {10.46298/LMCS-20(1:7)2024},
  timestamp    = {Thu, 13 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Powell24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/SantoKP24,
  author       = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
                  Delia Kesner and
                  Lo{\"{\i}}c Peyrot},
  title        = {A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus
                  with Generalized Applications},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:10)2024},
  doi          = {10.46298/LMCS-20(3:10)2024},
  timestamp    = {Wed, 28 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/SantoKP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/SchmidS24,
  author       = {Markus L. Schmid and
                  Nicole Schweikardt},
  title        = {Refl-Spanners: {A} Purely Regular Approach to Non-Regular Core Spanners},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:16)2024},
  doi          = {10.46298/LMCS-20(4:16)2024},
  timestamp    = {Tue, 26 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/SchmidS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/SchmittPD24,
  author       = {Anna Schmitt and
                  Kirstin Peters and
                  Yuxin Deng},
  title        = {Encodability Criteria for Quantum Based Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:5)2024},
  doi          = {10.46298/LMCS-20(2:5)2024},
  timestamp    = {Mon, 10 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/SchmittPD24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Seiller24,
  author       = {Thomas Seiller},
  title        = {Zeta Functions and the (Linear) Logic of Markov Processes},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {3},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(3:18)2024},
  doi          = {10.46298/LMCS-20(3:18)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Seiller24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/ShintaniH24,
  author       = {Kiraku Shintani and
                  Nao Hirokawa},
  title        = {Compositional Confluence Criteria},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  timestamp    = {Tue, 05 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/ShintaniH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/SoldnerP24,
  author       = {Robert S{\"{o}}ldner and
                  Detlef Plump},
  title        = {Formalising the Double-Pushout Approach to Graph Transformation},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:3)2024},
  doi          = {10.46298/LMCS-20(4:3)2024},
  timestamp    = {Mon, 14 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/SoldnerP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/TuckerFoltz24,
  author       = {Jamie Tucker{-}Foltz},
  title        = {Inapproximability of Unique Games in Fixed-Point Logic with Counting},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(2:3)2024},
  doi          = {10.46298/LMCS-20(2:3)2024},
  timestamp    = {Thu, 20 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/TuckerFoltz24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Vilmart24,
  author       = {Renaud Vilmart},
  title        = {Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of
                  Quantum Computing},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:20)2024},
  doi          = {10.46298/LMCS-20(1:20)2024},
  timestamp    = {Mon, 29 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Vilmart24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/WilsonGZ24,
  author       = {Paul W. Wilson and
                  Dan R. Ghica and
                  Fabio Zanasi},
  title        = {String diagrams for Strictification and Coherence},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {4},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(4:8)2024},
  doi          = {10.46298/LMCS-20(4:8)2024},
  timestamp    = {Tue, 26 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/WilsonGZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/YeKHBBLNR24,
  author       = {Lina Ye and
                  Igor Khmelnitsky and
                  Serge Haddad and
                  Beno{\^{\i}}t Barbot and
                  Benedikt Bollig and
                  Martin Leucker and
                  Daniel Neider and
                  Rajarshi Roy},
  title        = {Analyzing Robustness of Angluin's L{\textdollar}*{\textdollar} Algorithm
                  in Presence of Noise},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.46298/lmcs-20(1:22)2024},
  doi          = {10.46298/LMCS-20(1:22)2024},
  timestamp    = {Mon, 29 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/YeKHBBLNR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.