Search dblp for Publications

export results for "toc:db/conf/prole/prole2004.bht:"

 download as .bib file

@proceedings{DBLP:conf/prole/2004,
  editor       = {Salvador Lucas},
  title        = {Proceedings of the Fourth Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {137},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/137/issue/1},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prole/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AlvezL05,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio},
  editor       = {Salvador Lucas},
  title        = {Elimination of Local Variables from Definite Logic Programs},
  booktitle    = {Proceedings of the Fourth Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {137},
  number       = {1},
  pages        = {5--24},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.037},
  doi          = {10.1016/J.ENTCS.2005.01.037},
  timestamp    = {Mon, 12 Dec 2022 16:37:03 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlvezL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BertranBC05,
  author       = {Miquel Bertran and
                  Francesc{-}Xavier Babot and
                  August Climent},
  editor       = {Salvador Lucas},
  title        = {An Input/Output Semantics for Distributed Program Equivalence Reasoning},
  booktitle    = {Proceedings of the Fourth Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {137},
  number       = {1},
  pages        = {25--46},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.038},
  doi          = {10.1016/J.ENTCS.2005.01.038},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BertranBC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Hidalgo-HerreroO05,
  author       = {Mercedes Hidalgo{-}Herrero and
                  Yolanda Ortega{-}Mall{\'{e}}n},
  editor       = {Salvador Lucas},
  title        = {Dealing Denotationally With Stream-based Communication},
  booktitle    = {Proceedings of the Fourth Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {137},
  number       = {1},
  pages        = {47--68},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.039},
  doi          = {10.1016/J.ENTCS.2005.01.039},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hidalgo-HerreroO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/IranzoMP05,
  author       = {Pascual Juli{\'{a}}n Iranzo and
                  Gin{\'{e}}s Moreno and
                  Jaime Penabad},
  editor       = {Salvador Lucas},
  title        = {Unfolding-based Improvements on Fuzzy Logic Programs},
  booktitle    = {Proceedings of the Fourth Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {137},
  number       = {1},
  pages        = {69--103},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.040},
  doi          = {10.1016/J.ENTCS.2005.01.040},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/IranzoMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Lucas05a,
  author       = {Salvador Lucas},
  editor       = {Salvador Lucas},
  title        = {Preface},
  booktitle    = {Proceedings of the Fourth Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {137},
  number       = {1},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.036},
  doi          = {10.1016/J.ENTCS.2005.01.036},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Lucas05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Marti-OlietPV05,
  author       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Miguel Palomino and
                  Alberto Verdejo},
  editor       = {Salvador Lucas},
  title        = {A Tutorial on Specifying Data Structures in Maude},
  booktitle    = {Proceedings of the Fourth Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {137},
  number       = {1},
  pages        = {105--132},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.041},
  doi          = {10.1016/J.ENTCS.2005.01.041},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Marti-OlietPV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PitaP05,
  author       = {Isabel Pita and
                  Miguel Palomino},
  editor       = {Salvador Lucas},
  title        = {Proving Modal Properties of Rewrite Theories Using Maude's Metalevel},
  booktitle    = {Proceedings of the Fourth Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {137},
  number       = {1},
  pages        = {133--150},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.042},
  doi          = {10.1016/J.ENTCS.2005.01.042},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PitaP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/VelardoSF05,
  author       = {Fernando Rosa{-}Velardo and
                  Clara Segura and
                  David de Frutos{-}Escrig},
  editor       = {Salvador Lucas},
  title        = {Tagged Systems: {A} Framework for the Specification of History-dependent
                  Properties},
  booktitle    = {Proceedings of the Fourth Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {137},
  number       = {1},
  pages        = {151--174},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.043},
  doi          = {10.1016/J.ENTCS.2005.01.043},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VelardoSF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.