Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/lmcs/lmcs19.bht:"
download as .bib file
@article{DBLP:journals/lmcs/0001LSW23,
author = {Igor Konnov and
Marijana Lazic and
Ilina Stoilkovska and
Josef Widder},
title = {Survey on Parameterized Verification with Threshold Automata and the
Byzantine Model Checker},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:5)2023},
doi = {10.46298/LMCS-19(1:5)2023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/0001LSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AbadiP23,
author = {Mart{\'{\i}}n Abadi and
Gordon D. Plotkin},
title = {Smart Choices and the Selection Monad},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:3)2023},
doi = {10.46298/LMCS-19(2:3)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AbadiP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AbramskyR23,
author = {Samson Abramsky and
Luca Reggio},
title = {Arboreal Categories: An Axiomatic Theory of Resources},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:14)2023},
doi = {10.46298/LMCS-19(3:14)2023},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/AbramskyR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Accattoli23,
author = {Beniamino Accattoli},
title = {Exponentials as Substitutions and the Cost of Cut Elimination in Linear
Logic},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:23)2023},
doi = {10.46298/LMCS-19(4:23)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Accattoli23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AcetoCFI23,
author = {Luca Aceto and
Ian Cassar and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Bidirectional Runtime Enforcement of First-Order Branching-Time Properties},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:14)2023},
doi = {10.46298/LMCS-19(1:14)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AcetoCFI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AlvimAKQV23,
author = {M{\'{a}}rio S. Alvim and
Bernardo Amorim and
Sophia Knight and
Santiago Quintero and
Frank Valencia},
title = {A Formal Model for Polarization under Confirmation Bias in Social
Networks},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:18)2023},
doi = {10.46298/LMCS-19(1:18)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AlvimAKQV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AmarilliP23,
author = {Antoine Amarilli and
Charles Paperman},
title = {Locality and Centrality: The Variety {ZG}},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:4)2023},
doi = {10.46298/LMCS-19(4:4)2023},
timestamp = {Thu, 26 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AmarilliP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AudritoCDV23,
author = {Giorgio Audrito and
Roberto Casadei and
Ferruccio Damiani and
Mirko Viroli},
title = {Computation Against a Neighbour: Addressing Large-Scale Distribution
and Adaptivity with Functional Programming and Scala},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:6)2023},
doi = {10.46298/LMCS-19(1:6)2023},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/AudritoCDV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BaetenCL23,
author = {Jos C. M. Baeten and
Cesare Carissimo and
Bas Luttik},
title = {Pushdown Automata and Context-Free Grammars in Bisimulation Semantics},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:15)2023},
doi = {10.46298/LMCS-19(1:15)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BaetenCL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Bakel23,
author = {Steffen van Bakel},
title = {Adding Negation to Lambda Mu},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:12)2023},
doi = {10.46298/LMCS-19(2:12)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Bakel23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BalabonskiLM23,
author = {Thibaut Balabonski and
Antoine Lanco and
Guillaume Melquiond},
title = {A strong call-by-need calculus},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:21)2023},
doi = {10.46298/LMCS-19(1:21)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BalabonskiLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BalasubramanianER23,
author = {A. R. Balasubramanian and
Javier Esparza and
Mikhail A. Raskin},
title = {Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:2)2023},
doi = {10.46298/LMCS-19(4:2)2023},
timestamp = {Thu, 26 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BalasubramanianER23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BalcoK23,
author = {Samuel Balco and
Alexander Kurz},
title = {Completeness of Nominal PROPs},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:8)2023},
doi = {10.46298/LMCS-19(1:8)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BalcoK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BaldanEKP23,
author = {Paolo Baldan and
Richard Eggert and
Barbara K{\"{o}}nig and
Tommaso Padoan},
title = {Fixpoint Theory - Upside Down},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:15)2023},
doi = {10.46298/LMCS-19(2:15)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BaldanEKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BankovicDM23,
author = {Milan Bankovic and
Ivan Drecun and
Filip Maric},
title = {A proof system for graph (non)-isomorphism verification},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:9)2023},
doi = {10.46298/LMCS-19(1:9)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BankovicDM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BarbaneraLT23,
author = {Franco Barbanera and
Ivan Lanese and
Emilio Tuosto},
title = {A Theory of Formal Choreographic Languages},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:9)2023},
doi = {10.46298/LMCS-19(3:9)2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BarbaneraLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BartolettiMZ23,
author = {Massimo Bartoletti and
Maurizio Murgia and
Roberto Zunino},
title = {Sound approximate and asymptotic probabilistic bisimulations for {PCTL}},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:22)2023},
doi = {10.46298/LMCS-19(1:22)2023},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BartolettiMZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BaumannGTZ23,
author = {Pascal Baumann and
Moses Ganardi and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {Existential Definability over the Subword Ordering},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:35)2023},
doi = {10.46298/LMCS-19(4:35)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BaumannGTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BellS23,
author = {Paul C. Bell and
Pavel Semukhin},
title = {Decision Questions for Probabilistic Automata on Small Alphabets},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:36)2023},
doi = {10.46298/LMCS-19(4:36)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BellS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BernardoM23,
author = {Marco Bernardo and
Claudio Antares Mezzina},
title = {Bridging Causal Reversibility and Time Reversibility: {A} Stochastic
Process Algebraic Approach},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:6)2023},
doi = {10.46298/LMCS-19(2:6)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BernardoM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BeutnerF23,
author = {Raven Beutner and
Bernd Finkbeiner},
title = {HyperATL*: {A} Logic for Hyperproperties in Multi-Agent Systems},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:13)2023},
doi = {10.46298/LMCS-19(2:13)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BeutnerF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BeyersdorffB23,
author = {Olaf Beyersdorff and
Benjamin B{\"{o}}hm},
title = {Understanding the Relative Strength of {QBF} {CDCL} Solvers and {QBF}
Resolution},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:2)2023},
doi = {10.46298/LMCS-19(2:2)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BeyersdorffB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Bhaduri23,
author = {Purandar Bhaduri},
title = {Coalgebras for Bisimulation of Weighted Automata over Semirings},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:4)2023},
doi = {10.46298/LMCS-19(1:4)2023},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Bhaduri23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BlanchetteV23,
author = {Jasmin Blanchette and
Petar Vukmirovic},
title = {SAT-Inspired Higher-Order Eliminations},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:9)2023},
doi = {10.46298/LMCS-19(2:9)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BlanchetteV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BlanquiDGHT23,
author = {Fr{\'{e}}d{\'{e}}ric Blanqui and
Gilles Dowek and
{\'{E}}milie Grienenberger and
Gabriel Hondet and
Fran{\c{c}}ois Thir{\'{e}}},
title = {A modular construction of type theories},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:12)2023},
doi = {10.46298/LMCS-19(1:12)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BlanquiDGHT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Blumensath23,
author = {Achim Blumensath},
title = {The Power-Set Construction for Tree Algebras},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:9)2023},
doi = {10.46298/LMCS-19(4:9)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Blumensath23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BocchiLTV23,
author = {Laura Bocchi and
Julien Lange and
Simon Thompson and
A. Laura Voinea},
title = {A model of actors and grey failures},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:13)2023},
doi = {10.46298/LMCS-19(4:13)2023},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BocchiLTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BokerL23,
author = {Udi Boker and
Karoliina Lehtinen},
title = {Token Games and History-Deterministic Quantitative-Automata},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:8)2023},
doi = {10.46298/LMCS-19(4:8)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BokerL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BouyerORV23,
author = {Patricia Bouyer and
Youssouf Oualhadj and
Mickael Randour and
Pierre Vandenhove},
title = {Arena-Independent Finite-Memory Determinacy in Stochastic Games},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:18)2023},
doi = {10.46298/LMCS-19(4:18)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BouyerORV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BriceBR23,
author = {L{\'{e}}onard Brice and
Marie van den Bogaard and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Subgame-perfect Equilibria in Mean-payoff Games (journal version)},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:6)2023},
doi = {10.46298/LMCS-19(4:6)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BriceBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BroadbentK23,
author = {Anne Broadbent and
Martti Karvonen},
title = {Categorical composable cryptography: extended version},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:30)2023},
doi = {10.46298/LMCS-19(4:30)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BroadbentK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BusattoGastonMR23,
author = {Damien Busatto{-}Gaston and
Benjamin Monmege and
Pierre{-}Alain Reynier},
title = {Optimal controller synthesis for timed systems},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:20)2023},
doi = {10.46298/LMCS-19(1:20)2023},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BusattoGastonMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CasadeiMPVZ23,
author = {Roberto Casadei and
Stefano Mariani and
Danilo Pianini and
Mirko Viroli and
Franco Zambonelli},
title = {Space-Fluid Adaptive Sampling by Self-Organisation},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:29)2023},
doi = {10.46298/LMCS-19(4:29)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/CasadeiMPVZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CaselS23,
author = {Katrin Casel and
Markus L. Schmid},
title = {Fine-Grained Complexity of Regular Path Queries},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:15)2023},
doi = {10.46298/LMCS-19(4:15)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/CaselS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CastiglioniLT23,
author = {Valentina Castiglioni and
Michele Loreti and
Simone Tini},
title = {A framework to measure the robustness of programs in the unpredictable
environment},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:2)2023},
doi = {10.46298/LMCS-19(3:2)2023},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/CastiglioniLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CerdaA23,
author = {R{\'{e}}my Cerda and
Lionel Vaux Auclair},
title = {Finitary Simulation of Infinitary {\textdollar}{\textbackslash}beta{\textdollar}-Reduction
via Taylor Expansion, and Applications},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:34)2023},
doi = {10.46298/LMCS-19(4:34)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/CerdaA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CescoG23,
author = {Arnaldo Cesco and
Roberto Gorrieri},
title = {Decidability of Two Truly Concurrent Equivalences for Finite Bounded
Petri Nets},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:37)2023},
doi = {10.46298/LMCS-19(4:37)2023},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CescoG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CimattiGGMT23,
author = {Alessandro Cimatti and
Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Stefano Tonetta},
title = {A first-order logic characterization of safety and co-safety languages},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:13)2023},
doi = {10.46298/LMCS-19(3:13)2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CimattiGGMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Ciraulo23,
author = {Francesco Ciraulo},
title = {Overlap Algebras as Almost Discrete Locales},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:21)2023},
doi = {10.46298/LMCS-19(4:21)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Ciraulo23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Coquand23,
author = {Thierry Coquand},
title = {Reduction Free Normalisation for a proof irrelevant type of propositions},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:5)2023},
doi = {10.46298/LMCS-19(3:5)2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Coquand23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DagninoGD23,
author = {Francesco Dagnino and
Paola Giannini and
Mariangiola Dezani{-}Ciancaglini},
title = {Deconfined Global Types for Asynchronous Sessions},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:3)2023},
doi = {10.46298/LMCS-19(1:3)2023},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DagninoGD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DahlqvistN23,
author = {Fredrik Dahlqvist and
Renato Neves},
title = {The syntactic side of autonomous categories enriched over generalised
metric spaces},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:31)2023},
doi = {10.46298/LMCS-19(4:31)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/DahlqvistN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DasR23,
author = {Anupam Das and
Alex A. Rice},
title = {Enumerating Independent Linear Inferences},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:11)2023},
doi = {10.46298/LMCS-19(2:11)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DasR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DinisM23,
author = {Bruno Dinis and
{\'{E}}tienne Miquey},
title = {Stateful Realizers for Nonstandard Analysis},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:7)2023},
doi = {10.46298/LMCS-19(2:7)2023},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DinisM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DoleschalKM23,
author = {Johannes Doleschal and
Benny Kimelfeld and
Wim Martens},
title = {The Complexity of Aggregates over Extractions by Regular Expressions},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:12)2023},
doi = {10.46298/LMCS-19(3:12)2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DoleschalKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Dreier23,
author = {Jan Dreier},
title = {Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions
of Bounded Expansion Classes},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:14)2023},
doi = {10.46298/LMCS-19(2:14)2023},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Dreier23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Dudenhefner23,
author = {Andrej Dudenhefner},
title = {Constructive Many-one Reduction from the Halting Problem to Semi-unification
(Extended Version)},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:22)2023},
doi = {10.46298/LMCS-19(4:22)2023},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Dudenhefner23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Ehrhard23,
author = {Thomas Ehrhard},
title = {A coherent differential {PCF}},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:7)2023},
doi = {10.46298/LMCS-19(4:7)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Ehrhard23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FeierLP23,
author = {Cristina Feier and
Carsten Lutz and
Marcin Przybylko},
title = {Answer Counting under Guarded TGDs},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:16)2023},
doi = {10.46298/LMCS-19(3:16)2023},
timestamp = {Thu, 26 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FeierLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FernandezDuqueM23,
author = {David Fern{\'{a}}ndez{-}Duque and
Yo{\`{a}}v Montacute},
title = {Dynamic Cantor Derivative Logic},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:26)2023},
doi = {10.46298/LMCS-19(4:26)2023},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FernandezDuqueM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FinkelL23,
author = {Alain Finkel and
{\'{E}}tienne Lozes},
title = {Synchronizability of Communicating Finite State Machines is not Decidable},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:33)2023},
doi = {10.46298/LMCS-19(4:33)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/FinkelL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FismanFZ23,
author = {Dana Fisman and
Hadar Frenkel and
Sandra Zilles},
title = {Inferring Symbolic Automata},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:5)2023},
doi = {10.46298/LMCS-19(2:5)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FismanFZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FismanNZ23,
author = {Dana Fisman and
Dolav Nitay and
Michal Ziv{-}Ukelson},
title = {Learning of Structurally Unambiguous Probabilistic Grammars},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:10)2023},
doi = {10.46298/LMCS-19(1:10)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FismanNZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FowlerKDLM23,
author = {Simon Fowler and
Wen Kokke and
Ornela Dardha and
Sam Lindley and
J. Garrett Morris},
title = {Separating Sessions Smoothly},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:3)2023},
doi = {10.46298/LMCS-19(3:3)2023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FowlerKDLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GagneP23,
author = {Nicolas Gagn{\'{e}} and
Prakash Panangaden},
title = {A categorical characterization of relative entropy on standard Borel
spaces},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:10)2023},
doi = {10.46298/LMCS-19(4:10)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/GagneP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Garner23,
author = {Richard Garner},
title = {Stream processors and comodels},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:2)2023},
doi = {10.46298/LMCS-19(1:2)2023},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Garner23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GeckKSS23,
author = {Gaetano Geck and
Jens Keppeler and
Thomas Schwentick and
Christopher Spinrath},
title = {Rewriting with Acyclic Queries: Mind Your Head},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:17)2023},
doi = {10.46298/LMCS-19(4:17)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/GeckKSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Grabmayer23,
author = {Clemens Grabmayer},
title = {A Coinductive Reformulation of Milner's Proof System for Regular Expressions
Modulo Bisimilarity},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:17)2023},
doi = {10.46298/LMCS-19(2:17)2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Grabmayer23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Grabolle23,
author = {Gustav Grabolle},
title = {A Nivat Theorem for Weighted Alternating Automata over Commutative
Semirings},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:27)2023},
doi = {10.46298/LMCS-19(4:27)2023},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Grabolle23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GrooteMV23,
author = {Jan Friso Groote and
Jan Martens and
Erik P. de Vink},
title = {Lowerbounds for Bisimulation by Partition Refinement},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:10)2023},
doi = {10.46298/LMCS-19(2:10)2023},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/GrooteMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HabermehlK23,
author = {Peter Habermehl and
Dietrich Kuske},
title = {On Presburger arithmetic extended with non-unary counting quantifiers},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:4)2023},
doi = {10.46298/LMCS-19(3:4)2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/HabermehlK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/JancarOS23,
author = {Petr Jancar and
Petr Osicka and
Zdenek Sawa},
title = {Countdown games, and simulation on (succinct) one-counter nets},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:11)2023},
doi = {10.46298/LMCS-19(1:11)2023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/JancarOS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/JongE23,
author = {Tom de Jong and
Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
title = {On Small Types in Univalent Foundations},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:8)2023},
doi = {10.46298/LMCS-19(2:8)2023},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/JongE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Kapur23,
author = {Deepak Kapur},
title = {Modularity and Combination of Associative Commutative Congruence Closure
Algorithms enriched with Semantic Properties},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:19)2023},
doi = {10.46298/LMCS-19(1:19)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Kapur23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KaraNOZ23,
author = {Ahmet Kara and
Milos Nikolic and
Dan Olteanu and
Haozhe Zhang},
title = {Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:11)2023},
doi = {10.46298/LMCS-19(3:11)2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KaraNOZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Kelmendi23,
author = {Edon Kelmendi},
title = {Computing the Density of the Positivity Set for Linear Recurrence
Sequences},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Kelmendi23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KokkeD23,
author = {Wen Kokke and
Ornela Dardha},
title = {Prioritise the Best Variation},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:28)2023},
doi = {10.46298/LMCS-19(4:28)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/KokkeD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Kozachinskiy23,
author = {Alexander Kozachinskiy},
title = {Continuous Positional Payoffs},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:10)2023},
doi = {10.46298/LMCS-19(3:10)2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Kozachinskiy23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Kuperberg23,
author = {Denis Kuperberg},
title = {Positive First-order Logic on Words and Graphs},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:7)2023},
doi = {10.46298/LMCS-19(3:7)2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Kuperberg23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Kuznetsov23,
author = {Stepan L. Kuznetsov},
title = {Relational Models for the Lambek Calculus with Intersection and Constants},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:32)2023},
doi = {10.46298/LMCS-19(4:32)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Kuznetsov23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LavoreS23,
author = {Elena Di Lavore and
Pawel Sobocinski},
title = {Monoidal Width},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:15)2023},
doi = {10.46298/LMCS-19(3:15)2023},
timestamp = {Thu, 26 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/LavoreS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LoretiQ23,
author = {Michele Loreti and
Michela Quadrini},
title = {A Spatial Logic for Simplicial Models},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:8)2023},
doi = {10.46298/LMCS-19(3:8)2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/LoretiQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/MandrioliPC23,
author = {Dino Mandrioli and
Matteo Pradella and
Stefano Crespi{-}Reghizzi},
title = {Aperiodicity, Star-freeness, and First-order Logic Definability of
Operator Precedence Languages},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:12)2023},
doi = {10.46298/LMCS-19(4:12)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/MandrioliPC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/MartensNP23,
author = {Wim Martens and
Matthias Niewerth and
Tina Popp},
title = {A Trichotomy for Regular Trail Queries},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:20)2023},
doi = {10.46298/LMCS-19(4:20)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/MartensNP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/MayrM23,
author = {Richard Mayr and
Eric Munday},
title = {Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff
Objectives in Countable MDPs},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:16)2023},
doi = {10.46298/LMCS-19(1:16)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/MayrM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/NassarA23,
author = {Antonio Abu Nassar and
Shaull Almagor},
title = {Simulation by Rounds of Letter-to-Letter Transducers},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:19)2023},
doi = {10.46298/LMCS-19(4:19)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/NassarA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Nester23,
author = {Chad Nester},
title = {Concurrent Process Histories and Resource Transducers},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:7)2023},
doi = {10.46298/LMCS-19(1:7)2023},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Nester23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/NguyenS23,
author = {L{\^{e}} Th{\`{a}}nh Dung Nguy{\^{e}}n and
Lutz Stra{\ss}burger},
title = {A System of Interaction and Structure {III:} The Complexity of {BV}
and Pomset Logic},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:25)2023},
doi = {10.46298/LMCS-19(4:25)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/NguyenS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/NicolaM23,
author = {Rocco De Nicola and
Hern{\'{a}}n C. Melgratti},
title = {Multiparty testing preorders},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:1)2023},
doi = {10.46298/LMCS-19(1:1)2023},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/NicolaM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/PaulusNP23,
author = {Joseph W. N. Paulus and
Daniele Nantes{-}Sobrinho and
Jorge A. P{\'{e}}rez},
title = {Non-Deterministic Functions as Non-Deterministic Processes (Extended
Version)},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:1)2023},
doi = {10.46298/LMCS-19(4:1)2023},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/PaulusNP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/PetersNW23,
author = {Kirstin Peters and
Uwe Nestmann and
Christoph Wagner},
title = {{FTMPST:} Fault-Tolerant Multiparty Session Types},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:14)2023},
doi = {10.46298/LMCS-19(4:14)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/PetersNW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/PiedeleuZ23,
author = {Robin Piedeleu and
Fabio Zanasi},
title = {A Finite Axiomatisation of Finite-State Automata Using String Diagrams},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:13)2023},
doi = {10.46298/LMCS-19(1:13)2023},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/PiedeleuZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/RandrianomentsoaDK23,
author = {Rojo Fanamperana Randrianomentsoa and
Hans van Ditmarsch and
Roman Kuznets},
title = {Impure Simplicial Complexes: Complete Axiomatization},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:3)2023},
doi = {10.46298/LMCS-19(4:3)2023},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/RandrianomentsoaDK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/RaszykBKT23,
author = {Martin Raszyk and
David A. Basin and
Srdan Krstic and
Dmitriy Traytel},
title = {Efficient Evaluation of Arbitrary Relational Calculus Queries},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:38)2023},
doi = {10.46298/LMCS-19(4:38)2023},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/RaszykBKT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/RungeBPTS23,
author = {Tobias Runge and
Tabea Bordis and
Alex Potanin and
Thomas Th{\"{u}}m and
Ina Schaefer},
title = {Flexible Correct-by-Construction Programming},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:16)2023},
doi = {10.46298/LMCS-19(2:16)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/RungeBPTS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Shulman23,
author = {Michael Shulman},
title = {{LNL} polycategories and doctrines of linear logic},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:1)2023},
doi = {10.46298/LMCS-19(2:1)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Shulman23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Slavnov23,
author = {Sergey Slavnov},
title = {Making first order linear logic a generating grammar},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:11)2023},
doi = {10.46298/LMCS-19(4:11)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Slavnov23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/SpreenB23,
author = {Dieter Spreen and
Ulrich Berger},
title = {Computing with Infinite Objects: the Gray Code Case},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/SpreenB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/TranKW23,
author = {Thanh{-}Hai Tran and
Igor Konnov and
Josef Widder},
title = {A case study on parametric verification of failure detectors},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:17)2023},
doi = {10.46298/LMCS-19(1:17)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/TranKW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/VandevoortKKN23,
author = {Brecht Vandevoort and
Bas Ketsman and
Christoph Koch and
Frank Neven},
title = {Robustness against Read Committed for Transaction Templates with Functional
Constraints},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:39)2023},
doi = {10.46298/LMCS-19(4:39)2023},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/VandevoortKKN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/VilhenaP23,
author = {Paulo Em{\'{\i}}lio de Vilhena and
Fran{\c{c}}ois Pottier},
title = {Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode {AD}
Library},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:5)2023},
doi = {10.46298/LMCS-19(4:5)2023},
timestamp = {Thu, 26 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/VilhenaP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/VismeW23,
author = {Marc de Visme and
Glynn Winskel},
title = {Causal Unfoldings and Disjunctive Causes},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:4)2023},
doi = {10.46298/LMCS-19(2:4)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/VismeW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/WangFZ23,
author = {Kexu Wang and
Shiguang Feng and
Xishun Zhao},
title = {Capturing the polynomial hierarchy by second-order revised Krom logic},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:6)2023},
doi = {10.46298/LMCS-19(3:6)2023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/WangFZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/WinklerGK23,
author = {Tobias Winkler and
Christina Gehnen and
Joost{-}Pieter Katoen},
title = {Model Checking Temporal Properties of Recursive Probabilistic Programs},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:24)2023},
doi = {10.46298/LMCS-19(4:24)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/WinklerGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-04 02:01 CEST from data curated 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:
