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/jlp/jlp83.bht:"
download as .bib file
@article{DBLP:journals/jlp/0001V14,
author = {Naoki Nishida and
Germ{\'{a}}n Vidal},
title = {Conversion to tail recursion in term rewriting},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {1},
pages = {53--63},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2013.07.001},
doi = {10.1016/J.JLAP.2013.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/0001V14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoIG14,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Eugen{-}Ioan Goriac},
title = {{SOS} rule formats for idempotent terms and idempotent unary operators},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {1},
pages = {64--80},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2013.07.003},
doi = {10.1016/J.JLAP.2013.07.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoIG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Aranda-LopezNSS14,
author = {Gabriel Aranda{-}L{\'{o}}pez and
Susana Nieva and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
title = {An extended constraint deductive database: Theory and implementation},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {1},
pages = {20--52},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2013.07.002},
doi = {10.1016/J.JLAP.2013.07.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Aranda-LopezNSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ArmstrongSW14,
author = {Alasdair Armstrong and
Georg Struth and
Tjark Weber},
title = {Programming and automating mathematics in the Tarski-Kleene hierarchy},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {87--102},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.001},
doi = {10.1016/J.JLAP.2014.02.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ArmstrongSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Berghammer14,
author = {Rudolf Berghammer},
title = {Computing minimal extending sets by relation-algebraic modeling and
development},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {103--119},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.002},
doi = {10.1016/J.JLAP.2014.02.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Berghammer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BerghammerMW14,
author = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Michael Winter},
title = {Preface},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {85--86},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.017},
doi = {10.1016/J.JLAP.2014.02.017},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BerghammerMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BerghammerRS14,
author = {Rudolf Berghammer and
Agnieszka Rusinowska and
Harrie C. M. de Swart},
title = {Spatial voting games, relation algebra and RelView},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {120--134},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.003},
doi = {10.1016/J.JLAP.2014.02.003},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BerghammerRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BerghammerW14,
author = {Rudolf Berghammer and
Michael Winter},
title = {Gunther Schmidt's life as a mathematician and computer scientist},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {300--308},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.015},
doi = {10.1016/J.JLAP.2014.02.015},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BerghammerW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BergstraT14,
author = {Jan A. Bergstra and
John V. Tucker},
title = {Editor's Note},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {82},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.04.002},
doi = {10.1016/J.JLAMP.2014.04.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BergstraT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BiondiLNW14,
author = {Fabrizio Biondi and
Axel Legay and
Bo Friis Nielsen and
Andrzej Wasowski},
title = {Maximizing entropy over Markov processes},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {5-6},
pages = {384--399},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.05.001},
doi = {10.1016/J.JLAMP.2014.05.001},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BiondiLNW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Capone14,
author = {Rebecca Capone},
title = {Publisher's Note},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {81},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.04.001},
doi = {10.1016/J.JLAMP.2014.04.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Capone14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DangGMRZ14,
author = {Han{-}Hing Dang and
Roland Gl{\"{u}}ck and
Bernhard M{\"{o}}ller and
Patrick Roocks and
Andreas Zelend},
title = {Exploring modal worlds},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {135--153},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.004},
doi = {10.1016/J.JLAP.2014.02.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DangGMRZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DelahayeLL14,
author = {Beno{\^{\i}}t Delahaye and
Kim G. Larsen and
Axel Legay},
title = {Stuttering for Abstract Probabilistic Automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {1},
pages = {1--19},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2013.05.006},
doi = {10.1016/J.JLAP.2013.05.006},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/DelahayeLL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DesharnaisGM14,
author = {Jules Desharnais and
Anastasiya Grinenko and
Bernhard M{\"{o}}ller},
title = {Relational style laws and constructs of linear algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {154--168},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.005},
doi = {10.1016/J.JLAP.2014.02.005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/DesharnaisGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DiaconescuT14,
author = {Razvan Diaconescu and
Ionut Tutu},
title = {Foundations for structuring behavioural specifications},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {3-4},
pages = {319--338},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.03.001},
doi = {10.1016/J.JLAMP.2014.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DiaconescuT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DinO14,
author = {Crystal Chang Din and
Olaf Owe},
title = {A sound and complete reasoning system for asynchronous communication
with shared futures},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {5-6},
pages = {360--383},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.03.003},
doi = {10.1016/J.JLAMP.2014.03.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DinO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Doberkat14,
author = {Ernst{-}Erich Doberkat},
title = {Algebraic properties of stochastic effectivity functions},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {3-4},
pages = {339--358},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.03.002},
doi = {10.1016/J.JLAMP.2014.03.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Doberkat14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DuntschO14,
author = {Ivo D{\"{u}}ntsch and
Ewa Orlowska},
title = {Discrete dualities for some algebras with relations},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {169--179},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.006},
doi = {10.1016/J.JLAP.2014.02.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DuntschO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ElloumiBJSOF14,
author = {Samir Elloumi and
Bilel Boulifa and
Ali Jaoua and
Mohammad Saleh and
Jameela Al Otaibi and
Marcelo F. Frias},
title = {Inference engine based on closure and join operators over Truth Table
Binary Relations},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {180--193},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.007},
doi = {10.1016/J.JLAP.2014.02.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ElloumiBJSOF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FirsovU14,
author = {Denis Firsov and
Tarmo Uustalu},
title = {Certified {CYK} parsing of context-free languages},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {5-6},
pages = {459--468},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.09.002},
doi = {10.1016/J.JLAMP.2014.09.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/FirsovU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Guttmann14,
author = {Walter Guttmann},
title = {Multirelations with infinite computations},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {194--211},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.008},
doi = {10.1016/J.JLAP.2014.02.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Guttmann14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HofnerM14,
author = {Peter H{\"{o}}fner and
Annabelle McIver},
title = {Hopscotch - reaching the target hop by hop},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {212--224},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.009},
doi = {10.1016/J.JLAP.2014.02.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HofnerM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Kahl14,
author = {Wolfram Kahl},
title = {Towards "mouldable code" via nested code graph transformation},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {225--234},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.010},
doi = {10.1016/J.JLAP.2014.02.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Kahl14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LaraG14,
author = {Juan de Lara and
Esther Guerra},
title = {Towards the flexible reuse of model transformations: {A} formal approach
based on graph transformation},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {5-6},
pages = {427--458},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.08.005},
doi = {10.1016/J.JLAMP.2014.08.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LaraG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Maddux14,
author = {Roger D. Maddux},
title = {Arrow's Theorem for incomplete relations},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {235--248},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.012},
doi = {10.1016/J.JLAP.2014.02.012},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Maddux14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MullerM14,
author = {Martin E. M{\"{u}}ller and
Bernhard M{\"{o}}ller},
title = {On nothing},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {309--317},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.016},
doi = {10.1016/J.JLAP.2014.02.016},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MullerM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Nicola14,
author = {Rocco De Nicola},
title = {Editor's Note},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {83},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.04.003},
doi = {10.1016/J.JLAMP.2014.04.003},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Nicola14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Oliveira14,
author = {Jos{\'{e}} Nuno Oliveira},
title = {A relation-algebraic approach to the "Hoare logic" of functional dependencies},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {249--262},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.013},
doi = {10.1016/J.JLAP.2014.02.013},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Oliveira14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PunSS14,
author = {Ka I Pun and
Martin Steffen and
Volker Stolz},
title = {Deadlock checking by data race detection},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {5-6},
pages = {400--426},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.07.003},
doi = {10.1016/J.JLAMP.2014.07.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/PunSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/TsumagariFK14,
author = {Norihiro Tsumagari and
Hitoshi Furusawa and
Yasuo Kawahara},
title = {Relations into algebras of probabilistic distributions},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {263--283},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.014},
doi = {10.1016/J.JLAP.2014.02.014},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/TsumagariFK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/WinterK14,
author = {Michael Winter and
Peter Kempf},
title = {Relational properties of sequential composition of coalgebras},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {284--299},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.011},
doi = {10.1016/J.JLAP.2014.02.011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/WinterK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Wolter14,
author = {Uwe Wolter},
title = {Guest Editor's foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {5-6},
pages = {359},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.08.006},
doi = {10.1016/J.JLAMP.2014.08.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Wolter14.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-04-25 18:02 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:
