Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/entcs/entcs323.bht:"
download as .bib file
@proceedings{DBLP:conf/lsfa/2015,
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
publisher = {Elsevier},
year = {2016},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/323/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndradeCOQ16,
author = {La{\'{\i}}s Andrade and
Ruan Carvalho and
Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Normalization of N-Graphs via Sub-N-Graphs},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {3--19},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.002},
doi = {10.1016/J.ENTCS.2016.06.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AndradeCOQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArieliS16,
author = {Ofer Arieli and
Christian Stra{\ss}er},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {21--37},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.003},
doi = {10.1016/J.ENTCS.2016.06.003},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ArieliS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ayala-RinconFGO16,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Murdoch James Gabbay and
Ana Cristina Rocha Oliveira},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Checking Overlaps of Nominal Rewriting Rules},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {39--56},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.004},
doi = {10.1016/J.ENTCS.2016.06.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconFGO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ayala-RinconFO16,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Ana Cristina Rocha Oliveira},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Completeness in {PVS} of a Nominal Unification Algorithm},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {57--74},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.005},
doi = {10.1016/J.ENTCS.2016.06.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconFO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BenevidesT16,
author = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Preface},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {1--2},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.001},
doi = {10.1016/J.ENTCS.2016.06.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BenevidesT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BucciarelliKV16,
author = {Antonio Bucciarelli and
Delia Kesner and
Daniel Ventura},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Strong Normalization through Intersection Types and Memory},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {75--91},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.006},
doi = {10.1016/J.ENTCS.2016.06.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BucciarelliKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChihaniM16,
author = {Zakaria Chihani and
Dale Miller},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Proof Certificates for Equality Reasoning},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {93--108},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.007},
doi = {10.1016/J.ENTCS.2016.06.007},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ChihaniM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CopelloTSBF16,
author = {Ernesto Copello and
Alvaro Tasistro and
Nora Szasz and
Ana Bove and
Maribel Fern{\'{a}}ndez},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Alpha-Structural Induction and Recursion for the Lambda Calculus in
Constructive Type Theory},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {109--124},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.008},
doi = {10.1016/J.ENTCS.2016.06.008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CopelloTSBF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CroleF16,
author = {Roy L. Crole and
Amy Elizabeth Furniss},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Canonical HybridLF: Extending Hybrid with Dependent Types},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {125--142},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.009},
doi = {10.1016/J.ENTCS.2016.06.009},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CroleF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PaivaR16,
author = {Valeria de Paiva and
Eike Ritter},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Fibrational Modal Type Theory},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {143--161},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.010},
doi = {10.1016/J.ENTCS.2016.06.010},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PaivaR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PimentelNN16,
author = {Elaine Pimentel and
Vivek Nigam and
Jo{\~{a}}o Neto},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Multi-focused Proofs with Different Polarity Assignments},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {163--179},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.011},
doi = {10.1016/J.ENTCS.2016.06.011},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PimentelNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Quispe-CruzHG16,
author = {Marcela Quispe{-}Cruz and
Edward Hermann Haeusler and
Lew Gordeev},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {On Strong Normalization in Proof-Graphs for Propositional Logic},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {181--196},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.012},
doi = {10.1016/J.ENTCS.2016.06.012},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Quispe-CruzHG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RodriguezPF16,
author = {Leonardo Rodr{\'{\i}}guez and
Miguel Pagano and
Daniel Fridlender},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Proving Correctness of a Compiler Using Step-indexed Logical Relations},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {197--214},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.013},
doi = {10.1016/J.ENTCS.2016.06.013},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/RodriguezPF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VelosoV16,
author = {Paulo A. S. Veloso and
Sheila R. M. Veloso},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {On Graphs for Intuitionistic Modal Logics},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {215--233},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.014},
doi = {10.1016/J.ENTCS.2016.06.014},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/VelosoV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VisoBA16,
author = {Andr{\'{e}}s Viso and
Eduardo Bonelli and
Mauricio Ayala{-}Rinc{\'{o}}n},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Type Soundness for Path Polymorphism},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {235--251},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.015},
doi = {10.1016/J.ENTCS.2016.06.015},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/VisoBA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-23 14:19 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
