default search action
Search dblp for Publications
export results for "toc:db/journals/jlap/jlap134.bht:"
@article{DBLP:journals/jlap/BackhouseO23, author = {Roland Carl Backhouse and Jos{\'{e}} Nuno Oliveira}, title = {On difunctions}, journal = {J. Log. Algebraic Methods Program.}, volume = {134}, pages = {100878}, year = {2023}, url = {https://doi.org/10.1016/j.jlamp.2023.100878}, doi = {10.1016/J.JLAMP.2023.100878}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/BackhouseO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/BlazquezMS23, author = {Jorge Bl{\'{a}}zquez and Manuel Montenegro and Clara Segura}, title = {Verification of mutable linear data structures and iterator-based algorithms in Dafny}, journal = {J. Log. Algebraic Methods Program.}, volume = {134}, pages = {100875}, year = {2023}, url = {https://doi.org/10.1016/j.jlamp.2023.100875}, doi = {10.1016/J.JLAMP.2023.100875}, timestamp = {Tue, 12 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/BlazquezMS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/BrownPHF23, author = {Kristopher Brown and Evan Patterson and Tyler Hanks and James P. Fairbanks}, title = {Computational category-theoretic rewriting}, journal = {J. Log. Algebraic Methods Program.}, volume = {134}, pages = {100888}, year = {2023}, url = {https://doi.org/10.1016/j.jlamp.2023.100888}, doi = {10.1016/J.JLAMP.2023.100888}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlap/BrownPHF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/CardelliSTTV23, author = {Luca Cardelli and Giuseppe Squillace and Mirco Tribastone and Max Tschaikowski and Andrea Vandin}, title = {Formal lumping of polynomial differential equations through approximate equivalences}, journal = {J. Log. Algebraic Methods Program.}, volume = {134}, pages = {100876}, year = {2023}, url = {https://doi.org/10.1016/j.jlamp.2023.100876}, doi = {10.1016/J.JLAMP.2023.100876}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/CardelliSTTV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/EkerMMRV23, author = {Steven Eker and Narciso Mart{\'{\i}}{-}Oliet and Jos{\'{e}} Meseguer and Rub{\'{e}}n Rubio and Alberto Verdejo}, title = {The Maude strategy language}, journal = {J. Log. Algebraic Methods Program.}, volume = {134}, pages = {100887}, year = {2023}, url = {https://doi.org/10.1016/j.jlamp.2023.100887}, doi = {10.1016/J.JLAMP.2023.100887}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/EkerMMRV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/Meseguer23, author = {Jos{\'{e}} Meseguer}, title = {Variants and satisfiability in the infinitary unification wonderland}, journal = {J. Log. Algebraic Methods Program.}, volume = {134}, pages = {100877}, year = {2023}, url = {https://doi.org/10.1016/j.jlamp.2023.100877}, doi = {10.1016/J.JLAMP.2023.100877}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/Meseguer23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/PeyroneW23, author = {Neda Peyrone and Duangdao Wichadakul}, title = {A formal model for blockchain-based consent management in data sharing}, journal = {J. Log. Algebraic Methods Program.}, volume = {134}, pages = {100886}, year = {2023}, url = {https://doi.org/10.1016/j.jlamp.2023.100886}, doi = {10.1016/J.JLAMP.2023.100886}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/PeyroneW23.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.