Search dblp for Publications

• > Home > Search

@proceedings{DBLP:journals/corr/abs-2303-12680,
  editor       = {Daniele Nantes{-}Sobrinho and
                  Pascal Fontaine},
  title        = {Proceedings 17th International Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2022, Belo Horizonte, Brazil (hybrid), 23-24
                  September 2022},
  series       = {{EPTCS}},
  volume       = {376},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.376},
  doi          = {10.4204/EPTCS.376},
  timestamp    = {Mon, 12 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-12680.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-13252,
  author       = {Miguel Pagano and
                  Jos{\'{e}} E. Solsona},
  editor       = {Daniele Nantes{-}Sobrinho and
                  Pascal Fontaine},
  title        = {Nominal Sets in Agda - {A} Fresh and Immature Mechanization},
  booktitle    = {Proceedings 17th International Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2022, Belo Horizonte, Brazil (hybrid), 23-24
                  September 2022},
  series       = {{EPTCS}},
  volume       = {376},
  pages        = {67--80},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.376.7},
  doi          = {10.4204/EPTCS.376.7},
  timestamp    = {Mon, 12 Jun 2023 11:33:50 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-13252.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-13254,
  author       = {Ana Cruz and
                  Alexandre Madeira and
                  Lu{\'{\i}}s Soares Barbosa},
  editor       = {Daniele Nantes{-}Sobrinho and
                  Pascal Fontaine},
  title        = {Paraconsistent Transition Systems},
  booktitle    = {Proceedings 17th International Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2022, Belo Horizonte, Brazil (hybrid), 23-24
                  September 2022},
  series       = {{EPTCS}},
  volume       = {376},
  pages        = {3--15},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.376.3},
  doi          = {10.4204/EPTCS.376.3},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-13254.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-13255,
  author       = {Erick Simas Grilo and
                  Bruno Lopes},
  editor       = {Daniele Nantes{-}Sobrinho and
                  Pascal Fontaine},
  title        = {ReLo: a Dynamic Logic to Reason About Reo Circuits},
  booktitle    = {Proceedings 17th International Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2022, Belo Horizonte, Brazil (hybrid), 23-24
                  September 2022},
  series       = {{EPTCS}},
  volume       = {376},
  pages        = {16--33},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.376.4},
  doi          = {10.4204/EPTCS.376.4},
  timestamp    = {Wed, 05 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-13255.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-13256,
  author       = {Liye Guo and
                  Deivid Vale},
  editor       = {Daniele Nantes{-}Sobrinho and
                  Pascal Fontaine},
  title        = {Analyzing Innermost Runtime Complexity Through Tuple Interpretations},
  booktitle    = {Proceedings 17th International Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2022, Belo Horizonte, Brazil (hybrid), 23-24
                  September 2022},
  series       = {{EPTCS}},
  volume       = {376},
  pages        = {34--48},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.376.5},
  doi          = {10.4204/EPTCS.376.5},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-13256.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-13257,
  author       = {Dohan Kim},
  editor       = {Daniele Nantes{-}Sobrinho and
                  Pascal Fontaine},
  title        = {Equational Theorem Proving for Clauses over Strings},
  booktitle    = {Proceedings 17th International Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2022, Belo Horizonte, Brazil (hybrid), 23-24
                  September 2022},
  series       = {{EPTCS}},
  volume       = {376},
  pages        = {49--66},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.376.6},
  doi          = {10.4204/EPTCS.376.6},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-13257.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-13258,
  author       = {Sebasti{\'{a}}n Urciuoli},
  editor       = {Daniele Nantes{-}Sobrinho and
                  Pascal Fontaine},
  title        = {A Formal Proof of the Strong Normalization Theorem for System {T}
                  in Agda},
  booktitle    = {Proceedings 17th International Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2022, Belo Horizonte, Brazil (hybrid), 23-24
                  September 2022},
  series       = {{EPTCS}},
  volume       = {376},
  pages        = {81--99},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.376.8},
  doi          = {10.4204/EPTCS.376.8},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-13258.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}