Search dblp for Publications

export results for "toc:db/journals/apal/apal155.bht:"

 download as .bib file

@article{DBLP:journals/apal/AguzzoliGM08,
  author       = {Stefano Aguzzoli and
                  Brunella Gerla and
                  Vincenzo Marra},
  title        = {G{\"{o}}del algebras free over finite distributive lattices},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {155},
  number       = {3},
  pages        = {183--193},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.04.003},
  doi          = {10.1016/J.APAL.2008.04.003},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/AguzzoliGM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BrodheadLL08,
  author       = {Paul Brodhead and
                  Angsheng Li and
                  Weilin Li},
  title        = {Continuity of capping in C\({}_{\mbox{bT}}\)},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {155},
  number       = {1},
  pages        = {1--15},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.02.002},
  doi          = {10.1016/J.APAL.2008.02.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BrodheadLL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Buechler08,
  author       = {Steven Buechler},
  title        = {Vaught's conjecture for superstable theories of finite rank},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {155},
  number       = {3},
  pages        = {135--172},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.03.004},
  doi          = {10.1016/J.APAL.2008.03.004},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Buechler08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Doberkat08,
  author       = {Ernst{-}Erich Doberkat},
  title        = {Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {155},
  number       = {1},
  pages        = {46--68},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.01.010},
  doi          = {10.1016/J.APAL.2008.01.010},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Doberkat08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/GiamberardinoF08,
  author       = {Paolo Di Giamberardino and
                  Claudia Faggian},
  title        = {Proof nets sequentialisation in multiplicative linear logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {155},
  number       = {3},
  pages        = {173--182},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.04.002},
  doi          = {10.1016/J.APAL.2008.04.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/GiamberardinoF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KimKT08,
  author       = {Byunghan Kim and
                  Alexei S. Kolesnikov and
                  Akito Tsuboi},
  title        = {Generalized amalgamation and n-simplicity},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {155},
  number       = {2},
  pages        = {97--114},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.03.005},
  doi          = {10.1016/J.APAL.2008.03.005},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/KimKT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/MillarS08,
  author       = {Jessica Millar and
                  Gerald E. Sacks},
  title        = {Atomic models higher up},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {155},
  number       = {3},
  pages        = {225--241},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.04.004},
  doi          = {10.1016/J.APAL.2008.04.004},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/MillarS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/MogelbergBR08,
  author       = {Rasmus Ejlers M{\o}gelberg and
                  Lars Birkedal and
                  Giuseppe Rosolini},
  title        = {Synthetic domain theory and models of linear Abadi {\&} Plotkin
                  logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {155},
  number       = {2},
  pages        = {115--133},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.03.006},
  doi          = {10.1016/J.APAL.2008.03.006},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/MogelbergBR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/RazT08,
  author       = {Ran Raz and
                  Iddo Tzameret},
  title        = {Resolution over linear equations and multilinear proofs},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {155},
  number       = {3},
  pages        = {194--224},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.04.001},
  doi          = {10.1016/J.APAL.2008.04.001},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/RazT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Rybakov08,
  author       = {Vladimir V. Rybakov},
  title        = {Linear temporal logic with until and next, logical consecutions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {155},
  number       = {1},
  pages        = {32--45},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.03.001},
  doi          = {10.1016/J.APAL.2008.03.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Rybakov08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/ShelahU08,
  author       = {Saharon Shelah and
                  Alexander Usvyatsov},
  title        = {More on SOP\({}_{\mbox{1}}\) and SOP\({}_{\mbox{2}}\)},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {155},
  number       = {1},
  pages        = {16--31},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.02.003},
  doi          = {10.1016/J.APAL.2008.02.003},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/ShelahU08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Slomczynska08,
  author       = {Katarzyna Slomczynska},
  title        = {Free equivalential algebras},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {155},
  number       = {2},
  pages        = {86--96},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.03.003},
  doi          = {10.1016/J.APAL.2008.03.003},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Slomczynska08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/SorbiT08,
  author       = {Andrea Sorbi and
                  Sebastiaan Terwijn},
  title        = {Intermediate logics and factors of the Medvedev lattice},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {155},
  number       = {2},
  pages        = {69--85},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.03.002},
  doi          = {10.1016/J.APAL.2008.03.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/SorbiT08.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.