Search dblp for Publications

export results for "toc:db/journals/entcs/entcs140.bht:"

 download as .bib file

@proceedings{DBLP:conf/wcla/2004,
  editor       = {Pierre Lescanne and
                  Ren{\'{e}} David and
                  Marek Zaionc},
  title        = {Proceedings of the Second Workshop on Computational Logic and Applications,
                  {CLA} 2004, Lyon, France, June 17-18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {140},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/140/suppl/C},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcla/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BosekM05,
  author       = {Bartlomiej Bosek and
                  Piotr Micek},
  editor       = {Pierre Lescanne and
                  Ren{\'{e}} David and
                  Marek Zaionc},
  title        = {Variants of Online Chain Partition Problem of Posets},
  booktitle    = {Proceedings of the Second Workshop on Computational Logic and Applications,
                  {CLA} 2004, Lyon, France, June 17-18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {140},
  pages        = {3--13},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.028},
  doi          = {10.1016/J.ENTCS.2005.06.028},
  timestamp    = {Tue, 13 Dec 2022 09:27:52 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BosekM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Broniek05,
  author       = {Przemyslaw Broniek},
  editor       = {Pierre Lescanne and
                  Ren{\'{e}} David and
                  Marek Zaionc},
  title        = {On-line Chain Partitioning as a Model for Real-time Scheduling},
  booktitle    = {Proceedings of the Second Workshop on Computational Logic and Applications,
                  {CLA} 2004, Lyon, France, June 17-18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {140},
  pages        = {15--29},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.027},
  doi          = {10.1016/J.ENTCS.2005.06.027},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Broniek05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DavidN05,
  author       = {Ren{\'{e}} David and
                  Karim Nour},
  editor       = {Pierre Lescanne and
                  Ren{\'{e}} David and
                  Marek Zaionc},
  title        = {Why the Usual Candidates of Reducibility Do Not Work for the Symmetric
                  \emph{lamba-my}-calculus},
  booktitle    = {Proceedings of the Second Workshop on Computational Logic and Applications,
                  {CLA} 2004, Lyon, France, June 17-18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {140},
  pages        = {101--111},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.020},
  doi          = {10.1016/J.ENTCS.2005.06.020},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DavidN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Duprat05,
  author       = {Jean Duprat},
  editor       = {Pierre Lescanne and
                  Ren{\'{e}} David and
                  Marek Zaionc},
  title        = {About Constructive vectors},
  booktitle    = {Proceedings of the Second Workshop on Computational Logic and Applications,
                  {CLA} 2004, Lyon, France, June 17-18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {140},
  pages        = {93--100},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.021},
  doi          = {10.1016/J.ENTCS.2005.06.021},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Duprat05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Kozik05,
  author       = {Jakub Kozik},
  editor       = {Pierre Lescanne and
                  Ren{\'{e}} David and
                  Marek Zaionc},
  title        = {Conditional Densities of Regular Languages},
  booktitle    = {Proceedings of the Second Workshop on Computational Logic and Applications,
                  {CLA} 2004, Lyon, France, June 17-18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {140},
  pages        = {67--79},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.023},
  doi          = {10.1016/J.ENTCS.2005.06.023},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Kozik05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LescanneDZ05,
  author       = {Pierre Lescanne and
                  Ren{\'{e}} David and
                  Marek Zaionc},
  editor       = {Pierre Lescanne and
                  Ren{\'{e}} David and
                  Marek Zaionc},
  title        = {Preface},
  booktitle    = {Proceedings of the Second Workshop on Computational Logic and Applications,
                  {CLA} 2004, Lyon, France, June 17-18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {140},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.029},
  doi          = {10.1016/J.ENTCS.2005.06.029},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LescanneDZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Matecki05,
  author       = {Grzegorz Matecki},
  editor       = {Pierre Lescanne and
                  Ren{\'{e}} David and
                  Marek Zaionc},
  title        = {Asymptotic Density for Equivalence},
  booktitle    = {Proceedings of the Second Workshop on Computational Logic and Applications,
                  {CLA} 2004, Lyon, France, June 17-18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {140},
  pages        = {81--91},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.022},
  doi          = {10.1016/J.ENTCS.2005.06.022},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Matecki05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NourS05,
  author       = {Karim Nour and
                  Khelifa Saber},
  editor       = {Pierre Lescanne and
                  Ren{\'{e}} David and
                  Marek Zaionc},
  title        = {A Semantics of Realisability for the Classical Propositional Natural
                  Deduction},
  booktitle    = {Proceedings of the Second Workshop on Computational Logic and Applications,
                  {CLA} 2004, Lyon, France, June 17-18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {140},
  pages        = {31--39},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.026},
  doi          = {10.1016/J.ENTCS.2005.06.026},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NourS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Thevenon05,
  author       = {Patrick Thevenon},
  editor       = {Pierre Lescanne and
                  Ren{\'{e}} David and
                  Marek Zaionc},
  title        = {Validation of Proofs Using PhoX},
  booktitle    = {Proceedings of the Second Workshop on Computational Logic and Applications,
                  {CLA} 2004, Lyon, France, June 17-18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {140},
  pages        = {55--66},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.024},
  doi          = {10.1016/J.ENTCS.2005.06.024},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Thevenon05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Waszkiewicz05,
  author       = {Pawel Waszkiewicz},
  editor       = {Pierre Lescanne and
                  Ren{\'{e}} David and
                  Marek Zaionc},
  title        = {Approximation Simply Characterized},
  booktitle    = {Proceedings of the Second Workshop on Computational Logic and Applications,
                  {CLA} 2004, Lyon, France, June 17-18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {140},
  pages        = {113--117},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.019},
  doi          = {10.1016/J.ENTCS.2005.06.019},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Waszkiewicz05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Zaionc05,
  author       = {Marek Zaionc},
  editor       = {Pierre Lescanne and
                  Ren{\'{e}} David and
                  Marek Zaionc},
  title        = {Probabilistic Approach to the Lambda Definability for Fourth Order
                  Types},
  booktitle    = {Proceedings of the Second Workshop on Computational Logic and Applications,
                  {CLA} 2004, Lyon, France, June 17-18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {140},
  pages        = {41--54},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.025},
  doi          = {10.1016/J.ENTCS.2005.06.025},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Zaionc05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.