Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/AltenR97,
  author       = {Clint J. van Alten and
                  James G. Raftery},
  title        = {On Quasivariety Semantics of Fragments of Intuitionistic Propositional
                  Logic without Exchange and Contraction Rules},
  journal      = {Reports Math. Log.},
  volume       = {31},
  pages        = {3--55},
  year         = {1997},
  url          = {https://rml.tcs.uj.edu.pl/rml-31/a-raf-31.htm},
  timestamp    = {Wed, 06 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/AltenR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Gorazd97,
  author       = {Tomasz A. Gorazd},
  title        = {The Isomorphism Testing for Directly Representable Varieties},
  journal      = {Reports Math. Log.},
  volume       = {31},
  pages        = {75--92},
  year         = {1997},
  url          = {https://rml.tcs.uj.edu.pl/rml-31/a-gor-31.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Gorazd97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/GrygielW97,
  author       = {Joanna Grygiel and
                  Piotr Wojtylak},
  title        = {The Uniqueness of the Decomposition of Distributive Lattices into
                  Sums of Boolean Lattices},
  journal      = {Reports Math. Log.},
  volume       = {31},
  pages        = {93--102},
  year         = {1997},
  url          = {https://rml.tcs.uj.edu.pl/rml-31/a-gry-31.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/GrygielW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Isles97,
  author       = {David Isles},
  title        = {Theorems of Peano Arithmetic are Buridan-Volpin Recursively Satisfable},
  journal      = {Reports Math. Log.},
  volume       = {31},
  pages        = {57--74},
  year         = {1997},
  url          = {https://rml.tcs.uj.edu.pl/rml-31/a-isl-31.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Isles97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}