Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/lmcs/2006,
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/169/suppl/C},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lmcs/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Aceto07,
  author       = {Luca Aceto},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {Impossibility Results in the Equational Logic of Processes},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {3--6},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.07.025},
  doi          = {10.1016/J.ENTCS.2006.07.025},
  timestamp    = {Tue, 24 Jan 2023 11:23:31 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Aceto07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BernardoB07,
  author       = {Marco Bernardo and
                  Stefania Botta},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {Modal Logic Characterization of Markovian Testing and Trace Equivalences},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {7--18},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.07.024},
  doi          = {10.1016/J.ENTCS.2006.07.024},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BernardoB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CapotortiFM07,
  author       = {Andrea Capotorti and
                  Andrea Formisano and
                  Gianfranco Murador},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {Qualitative Uncertainty Orderings Revised},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {43--59},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.07.028},
  doi          = {10.1016/J.ENTCS.2006.07.028},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CapotortiFM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CorradiniT07,
  author       = {Flavio Corradini and
                  Carlo Toffalori},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {Preface},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.07.023},
  doi          = {10.1016/J.ENTCS.2006.07.023},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CorradiniT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Dezani-CiancagliniT07,
  author       = {Mariangiola Dezani{-}Ciancaglini and
                  Makoto Tatsuta},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {A Behavioural Model for Klop's Calculus},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {19--32},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.07.026},
  doi          = {10.1016/J.ENTCS.2006.07.026},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Dezani-CiancagliniT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FlaminioM07,
  author       = {Tommaso Flaminio and
                  Enrico Marchioni},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {Mixed Rational Assessments of Possibility and Probability Measures},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {33--42},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.07.027},
  doi          = {10.1016/J.ENTCS.2006.07.027},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FlaminioM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GaoC07,
  author       = {Ying Gao and
                  Jingde Cheng},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {Semantics for a Basic Relevant Logic with Intensional Conjunction
                  and Disjunction},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {61--71},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.07.029},
  doi          = {10.1016/J.ENTCS.2006.07.029},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GaoC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Gentilini07,
  author       = {Paolo Gentilini},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {Paraconsistent Arithmetic with a Local Consistency Operator and Global
                  Selfreference},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {73--86},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.07.030},
  doi          = {10.1016/J.ENTCS.2006.07.030},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Gentilini07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GotoC07,
  author       = {Yuichi Goto and
                  Jingde Cheng},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical
                  Logic},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {87--97},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.07.031},
  doi          = {10.1016/J.ENTCS.2006.07.031},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GotoC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GrecoG07,
  author       = {Federico Greco and
                  Ivan Gerace},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {The Traveling Salesman Problem in Circulant Weighted Graphs With Two
                  Stripes},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {99--109},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.07.032},
  doi          = {10.1016/J.ENTCS.2006.07.032},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GrecoG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Lenzi07,
  author       = {Giacomo Lenzi},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {About a Positive Set Theory With Equality},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {111--120},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.07.033},
  doi          = {10.1016/J.ENTCS.2006.07.033},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Lenzi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ManciniS07,
  author       = {Stefano Mancini and
                  Simone Severini},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {The Quantum Separability Problem for Gaussian States},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {121--131},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.07.034},
  doi          = {10.1016/J.ENTCS.2006.07.034},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ManciniS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NicolaL07,
  author       = {Rocco De Nicola and
                  Michele Loreti},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {Multi Labelled Transition Systems: {A} Semantic Framework for Nominal
                  Calculi},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {133--146},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.019},
  doi          = {10.1016/J.ENTCS.2007.05.019},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NicolaL07.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.