Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/BadouelDR99,
  author       = {{\'{E}}ric Badouel and
                  Philippe Darondeau and
                  Jean{-}Claude Raoult},
  title        = {Context-Free Event Domains are Recognizable},
  journal      = {Inf. Comput.},
  volume       = {149},
  number       = {2},
  pages        = {134--172},
  year         = {1999},
  url          = {https://doi.org/10.1006/inco.1998.2752},
  doi          = {10.1006/INCO.1998.2752},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BadouelDR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Barthe99,
  author       = {Gilles Barthe},
  title        = {Order-Sorted Inductive Types},
  journal      = {Inf. Comput.},
  volume       = {149},
  number       = {1},
  pages        = {42--76},
  year         = {1999},
  url          = {https://doi.org/10.1006/inco.1998.2751},
  doi          = {10.1006/INCO.1998.2751},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Barthe99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BorealeNP99,
  author       = {Michele Boreale and
                  Rocco De Nicola and
                  Rosario Pugliese},
  title        = {Basic Observables for Processes},
  journal      = {Inf. Comput.},
  volume       = {149},
  number       = {1},
  pages        = {77--98},
  year         = {1999},
  url          = {https://doi.org/10.1006/inco.1998.2755},
  doi          = {10.1006/INCO.1998.2755},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BorealeNP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GilleronTT99,
  author       = {R{\'{e}}mi Gilleron and
                  Sophie Tison and
                  Marc Tommasi},
  title        = {Set Constraints and Automata},
  journal      = {Inf. Comput.},
  volume       = {149},
  number       = {1},
  pages        = {1--41},
  year         = {1999},
  url          = {https://doi.org/10.1006/inco.1998.2747},
  doi          = {10.1006/INCO.1998.2747},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GilleronTT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/RaamsdonkSSX99,
  author       = {Femke van Raamsdonk and
                  Paula Severi and
                  Morten Heine S{\o}rensen and
                  Hongwei Xi},
  title        = {Perpetual Reductions in Lambda-Calculus},
  journal      = {Inf. Comput.},
  volume       = {149},
  number       = {2},
  pages        = {173--225},
  year         = {1999},
  url          = {https://doi.org/10.1006/inco.1998.2750},
  doi          = {10.1006/INCO.1998.2750},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/RaamsdonkSSX99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Tung99,
  author       = {Shih Ping Tung},
  title        = {Sentences over Integral Domains and Their Computational Complexities},
  journal      = {Inf. Comput.},
  volume       = {149},
  number       = {2},
  pages        = {99--133},
  year         = {1999},
  url          = {https://doi.org/10.1006/inco.1998.2771},
  doi          = {10.1006/INCO.1998.2771},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Tung99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}