![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/jlap/jlap111.bht:"
@article{DBLP:journals/jlap/AcetoAFIK20, author = {Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ing{\'{o}}lfsd{\'{o}}ttir and S{\ae}var {\"{O}}rn Kjartansson}, title = {Determinizing monitors for {HML} with recursion}, journal = {J. Log. Algebraic Methods Program.}, volume = {111}, pages = {100515}, year = {2020}, url = {https://doi.org/10.1016/j.jlamp.2019.100515}, doi = {10.1016/J.JLAMP.2019.100515}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/AcetoAFIK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/BenevidesM20, author = {Mario R. F. Benevides and Alexandre Madeira}, title = {DaL{\'{\i}} - Dynamic Logic, new trends and applications}, journal = {J. Log. Algebraic Methods Program.}, volume = {111}, pages = {100514}, year = {2020}, url = {https://doi.org/10.1016/j.jlamp.2019.100514}, doi = {10.1016/J.JLAMP.2019.100514}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/BenevidesM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/DownenJA20, author = {Paul Downen and Philip Johnson{-}Freyd and Zena M. Ariola}, title = {Abstracting models of strong normalization for classical calculi}, journal = {J. Log. Algebraic Methods Program.}, volume = {111}, pages = {100512}, year = {2020}, url = {https://doi.org/10.1016/j.jlamp.2019.100512}, doi = {10.1016/J.JLAMP.2019.100512}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlap/DownenJA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/DuranMR20, author = {Francisco Dur{\'{a}}n and Jos{\'{e}} Meseguer and Camilo Rocha}, title = {Ground confluence of order-sorted conditional specifications modulo axioms}, journal = {J. Log. Algebraic Methods Program.}, volume = {111}, pages = {100513}, year = {2020}, url = {https://doi.org/10.1016/j.jlamp.2019.100513}, doi = {10.1016/J.JLAMP.2019.100513}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/DuranMR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/NicolaFPT20, author = {Rocco De Nicola and Gian{-}Luigi Ferrari and Rosario Pugliese and Francesco Tiezzi}, title = {A formal approach to the engineering of domain-specific distributed systems}, journal = {J. Log. Algebraic Methods Program.}, volume = {111}, pages = {100511}, year = {2020}, url = {https://doi.org/10.1016/j.jlamp.2019.100511}, doi = {10.1016/J.JLAMP.2019.100511}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/NicolaFPT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/RodriguezRR20, author = {Ismael Rodr{\'{\i}}guez and Fernando Rosa{-}Velardo and Fernando Rubio}, title = {Introducing complexity to formal testing}, journal = {J. Log. Algebraic Methods Program.}, volume = {111}, pages = {100502}, year = {2020}, url = {https://doi.org/10.1016/j.jlamp.2019.100502}, doi = {10.1016/J.JLAMP.2019.100502}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/RodriguezRR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.