Search dblp for Publications

• > Home > Search

@article{DBLP:journals/cuza/BergstraB17,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {Subvarieties of the Variety of Meadows},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {27},
  number       = {1},
  pages        = {1--18},
  year         = {2017},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII1\&=0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/BergstraM17,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Axioms for Behavioural Congruence of Single-Pass Instruction Sequences},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {27},
  number       = {2},
  pages        = {111--135},
  year         = {2017},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII2\&a=0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/Demaille17,
  author       = {Akim Demaille},
  title        = {Derived-Term Automata of Multitape Expressions with Composition},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {27},
  number       = {2},
  pages        = {137--176},
  year         = {2017},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII2\&a=1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/Demaille17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/GianniniS17,
  author       = {Paola Giannini and
                  Albert Shaqiri},
  title        = {A Provably Correct Compilation of Functional Languages into Scripting
                  Languages},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {27},
  number       = {1},
  pages        = {19--76},
  year         = {2017},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII1\&=1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/GianniniS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/KleijnKP17,
  author       = {Jetty Kleijn and
                  Maciej Koutny and
                  Marta Pietkiewicz{-}Koutny},
  title        = {Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations
                  Nets with Localities},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {27},
  number       = {2},
  pages        = {177--212},
  year         = {2017},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII2\&a=2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/KleijnKP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/MosaadF017,
  author       = {Peter Nazier Mosaad and
                  Martin Fr{\"{a}}nzle and
                  Bai Xue},
  title        = {Model Checking Delay Differential Equations Against Metric Interval
                  Temporal Logic},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {27},
  number       = {1},
  pages        = {77--109},
  year         = {2017},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII1\&=2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/MosaadF017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}