Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/Corradini98,
  author       = {Flavio Corradini},
  title        = {On Performance Congruences for Process Algebras},
  journal      = {Inf. Comput.},
  volume       = {145},
  number       = {2},
  pages        = {191--230},
  year         = {1998},
  url          = {https://doi.org/10.1006/inco.1998.2726},
  doi          = {10.1006/INCO.1998.2726},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Corradini98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/DrewesE98,
  author       = {Frank Drewes and
                  Joost Engelfriet},
  title        = {Decidability of the Finiteness of Ranges of Tree Transductions},
  journal      = {Inf. Comput.},
  volume       = {145},
  number       = {1},
  pages        = {1--50},
  year         = {1998},
  url          = {https://doi.org/10.1006/inco.1998.2715},
  doi          = {10.1006/INCO.1998.2715},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/DrewesE98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GiacobazziR98,
  author       = {Roberto Giacobazzi and
                  Francesco Ranzato},
  title        = {Uniform Closures: Order-Theoretically Reconstructing Logic Program
                  Semantics and Abstract Domain Refinements},
  journal      = {Inf. Comput.},
  volume       = {145},
  number       = {2},
  pages        = {153--190},
  year         = {1998},
  url          = {https://doi.org/10.1006/inco.1998.2724},
  doi          = {10.1006/INCO.1998.2724},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GiacobazziR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/HartonasH98,
  author       = {Chrysafis Hartonas and
                  Matthew Hennessy},
  title        = {Full Abstractness for a Functional/Concurrent Language with Higher-Order
                  Value-Passing},
  journal      = {Inf. Comput.},
  volume       = {145},
  number       = {1},
  pages        = {64--106},
  year         = {1998},
  url          = {https://doi.org/10.1006/inco.1998.2723},
  doi          = {10.1006/INCO.1998.2723},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/HartonasH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/HermidaJ98,
  author       = {Claudio Hermida and
                  Bart Jacobs},
  title        = {Structural Induction and Coinduction in a Fibrational Setting},
  journal      = {Inf. Comput.},
  volume       = {145},
  number       = {2},
  pages        = {107--152},
  year         = {1998},
  url          = {https://doi.org/10.1006/inco.1998.2725},
  doi          = {10.1006/INCO.1998.2725},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/HermidaJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Honkala98,
  author       = {Juha Honkala},
  title        = {On Number Systems with Finite Degree of Ambiguity},
  journal      = {Inf. Comput.},
  volume       = {145},
  number       = {1},
  pages        = {51--63},
  year         = {1998},
  url          = {https://doi.org/10.1006/inco.1998.2718},
  doi          = {10.1006/INCO.1998.2718},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Honkala98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}