Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/CelaniM14,
  author       = {Sergio A. Celani and
                  Daniela Montangie},
  title        = {Hilbert algebras with a necessity modal operator},
  journal      = {Reports Math. Log.},
  volume       = {49},
  pages        = {47--77},
  year         = {2014},
  url          = {https://rml.tcs.uj.edu.pl/rml-49/4-celani.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/CelaniM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/GrimsonK14,
  author       = {Rafael Grimson and
                  Bart Kuijpers},
  title        = {Some fragments of second-order logic over the reals for which satisability
                  and equivalence are (un)decidable},
  journal      = {Reports Math. Log.},
  volume       = {49},
  pages        = {23--34},
  year         = {2014},
  url          = {https://rml.tcs.uj.edu.pl/rml-49/2-grimson.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/GrimsonK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Herman14,
  author       = {Grzegorz Herman},
  title        = {Complexity of cover-preserving embeddings of bipartite orders into
                  Boolean lattices},
  journal      = {Reports Math. Log.},
  volume       = {49},
  pages        = {99--117},
  year         = {2014},
  url          = {https://rml.tcs.uj.edu.pl/rml-49/6-herman.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Herman14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/JagiellaN14,
  author       = {Grzegorz Jagiella and
                  Ludomir Newelski},
  title        = {On ordered minimal structures},
  journal      = {Reports Math. Log.},
  volume       = {49},
  pages        = {35--46},
  year         = {2014},
  url          = {https://rml.tcs.uj.edu.pl/rml-49/3-jagiella.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/JagiellaN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Kamide14,
  author       = {Norihiro Kamide},
  title        = {An eight-valued praconsistent logic},
  journal      = {Reports Math. Log.},
  volume       = {49},
  pages        = {3--21},
  year         = {2014},
  url          = {https://rml.tcs.uj.edu.pl/rml-49/1-kamide.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Kamide14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Mycka14,
  author       = {Jerzy Mycka},
  title        = {Recursively enumerable sets and well-ordering of their enumerations},
  journal      = {Reports Math. Log.},
  volume       = {49},
  pages        = {79--97},
  year         = {2014},
  url          = {https://rml.tcs.uj.edu.pl/rml-49/5-mycka.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Mycka14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}