default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/lsfa:"
download as .bib file
@proceedings{DBLP:journals/corr/abs-2404-13672,
editor = {Temur Kutsia and
Daniel Ventura and
David Monniaux and
Jos{\'{e}} F. Morales},
title = {Proceedings 18th International Workshop on Logical and Semantic Frameworks,
with Applications and 10th Workshop on Horn Clauses for Verification
and Synthesis, {LSFA/HCVS} 2023, and 10th Workshop on Horn Clauses
for Verification and SynthesisRome, Italy {\&} Paris, France,
1-2 July, 2023 {\&} 23rd April 2023},
series = {{EPTCS}},
volume = {402},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.402},
doi = {10.4204/EPTCS.402},
timestamp = {Wed, 04 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-13672.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-14919,
author = {Laura P. Gamboa Guzman and
Kristin Y. Rozier},
editor = {Temur Kutsia and
Daniel Ventura and
David Monniaux and
Jos{\'{e}} F. Morales},
title = {Stalnaker's Epistemic Logic in Isabelle/HOL},
booktitle = {Proceedings 18th International Workshop on Logical and Semantic Frameworks,
with Applications and 10th Workshop on Horn Clauses for Verification
and Synthesis, {LSFA/HCVS} 2023, and 10th Workshop on Horn Clauses
for Verification and SynthesisRome, Italy {\&} Paris, France,
1-2 July, 2023 {\&} 23rd April 2023},
series = {{EPTCS}},
volume = {402},
pages = {4--17},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.402.4},
doi = {10.4204/EPTCS.402.4},
timestamp = {Wed, 04 Sep 2024 16:17:48 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-14919.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-14920,
author = {Thaynara Arielly de Lima and
Andr{\'{e}}ia Borges Avelar and
Andr{\'{e}} Luiz Galdino and
Mauricio Ayala{-}Rinc{\'{o}}n},
editor = {Temur Kutsia and
Daniel Ventura and
David Monniaux and
Jos{\'{e}} F. Morales},
title = {Formalizing Factorization on Euclidean Domains and Abstract Euclidean
Algorithms},
booktitle = {Proceedings 18th International Workshop on Logical and Semantic Frameworks,
with Applications and 10th Workshop on Horn Clauses for Verification
and Synthesis, {LSFA/HCVS} 2023, and 10th Workshop on Horn Clauses
for Verification and SynthesisRome, Italy {\&} Paris, France,
1-2 July, 2023 {\&} 23rd April 2023},
series = {{EPTCS}},
volume = {402},
pages = {18--33},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.402.5},
doi = {10.4204/EPTCS.402.5},
timestamp = {Wed, 04 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-14920.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-14921,
author = {Alberto Momigliano and
Martina Sassella},
editor = {Temur Kutsia and
Daniel Ventura and
David Monniaux and
Jos{\'{e}} F. Morales},
title = {More Church-Rosser Proofs in {BELUGA}},
booktitle = {Proceedings 18th International Workshop on Logical and Semantic Frameworks,
with Applications and 10th Workshop on Horn Clauses for Verification
and Synthesis, {LSFA/HCVS} 2023, and 10th Workshop on Horn Clauses
for Verification and SynthesisRome, Italy {\&} Paris, France,
1-2 July, 2023 {\&} 23rd April 2023},
series = {{EPTCS}},
volume = {402},
pages = {34--42},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.402.6},
doi = {10.4204/EPTCS.402.6},
timestamp = {Wed, 04 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-14921.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-14922,
author = {Niccol{\`{o}} Veltri and
Cheng{-}Syuan Wan},
editor = {Temur Kutsia and
Daniel Ventura and
David Monniaux and
Jos{\'{e}} F. Morales},
title = {Semi-Substructural Logics with Additives},
booktitle = {Proceedings 18th International Workshop on Logical and Semantic Frameworks,
with Applications and 10th Workshop on Horn Clauses for Verification
and Synthesis, {LSFA/HCVS} 2023, and 10th Workshop on Horn Clauses
for Verification and SynthesisRome, Italy {\&} Paris, France,
1-2 July, 2023 {\&} 23rd April 2023},
series = {{EPTCS}},
volume = {402},
pages = {63--80},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.402.8},
doi = {10.4204/EPTCS.402.8},
timestamp = {Wed, 04 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-14922.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-14923,
author = {Emanuele {De Angelis} and
Hari Govind V. K.},
editor = {Temur Kutsia and
Daniel Ventura and
David Monniaux and
Jos{\'{e}} F. Morales},
title = {{CHC-COMP} 2023: Competition Report},
booktitle = {Proceedings 18th International Workshop on Logical and Semantic Frameworks,
with Applications and 10th Workshop on Horn Clauses for Verification
and Synthesis, {LSFA/HCVS} 2023, and 10th Workshop on Horn Clauses
for Verification and SynthesisRome, Italy {\&} Paris, France,
1-2 July, 2023 {\&} 23rd April 2023},
series = {{EPTCS}},
volume = {402},
pages = {83--104},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.402.10},
doi = {10.4204/EPTCS.402.10},
timestamp = {Wed, 04 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-14923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-14924,
author = {Daneshvar Amrollahi and
Hossein Hojjat and
Philipp R{\"{u}}mmer},
editor = {Temur Kutsia and
Daniel Ventura and
David Monniaux and
Jos{\'{e}} F. Morales},
title = {An Encoding for {CLP} Problems in {SMT-LIB}},
booktitle = {Proceedings 18th International Workshop on Logical and Semantic Frameworks,
with Applications and 10th Workshop on Horn Clauses for Verification
and Synthesis, {LSFA/HCVS} 2023, and 10th Workshop on Horn Clauses
for Verification and SynthesisRome, Italy {\&} Paris, France,
1-2 July, 2023 {\&} 23rd April 2023},
series = {{EPTCS}},
volume = {402},
pages = {118--130},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.402.12},
doi = {10.4204/EPTCS.402.12},
timestamp = {Wed, 04 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-14924.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-15214,
author = {J. Tanner Slagel and
Mariano M. Moscato and
Lauren M. White and
C{\'{e}}sar A. Mu{\~{n}}oz and
Swee Balachandran and
Aaron Dutle},
editor = {Temur Kutsia and
Daniel Ventura and
David Monniaux and
Jos{\'{e}} F. Morales},
title = {Embedding Differential Dynamic Logic in {PVS}},
booktitle = {Proceedings 18th International Workshop on Logical and Semantic Frameworks,
with Applications and 10th Workshop on Horn Clauses for Verification
and Synthesis, {LSFA/HCVS} 2023, and 10th Workshop on Horn Clauses
for Verification and SynthesisRome, Italy {\&} Paris, France,
1-2 July, 2023 {\&} 23rd April 2023},
series = {{EPTCS}},
volume = {402},
pages = {43--62},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.402.7},
doi = {10.4204/EPTCS.402.7},
timestamp = {Wed, 04 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-15214.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-15215,
author = {M{\'{a}}rk Somorjai and
Mih{\'{a}}ly Dobos{-}Kov{\'{a}}cs and
Zs{\'{o}}fia {\'{A}}d{\'{a}}m and
Levente Bajczi and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s},
editor = {Temur Kutsia and
Daniel Ventura and
David Monniaux and
Jos{\'{e}} F. Morales},
title = {Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn
Clauses to Software Verification},
booktitle = {Proceedings 18th International Workshop on Logical and Semantic Frameworks,
with Applications and 10th Workshop on Horn Clauses for Verification
and Synthesis, {LSFA/HCVS} 2023, and 10th Workshop on Horn Clauses
for Verification and SynthesisRome, Italy {\&} Paris, France,
1-2 July, 2023 {\&} 23rd April 2023},
series = {{EPTCS}},
volume = {402},
pages = {105--117},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.402.11},
doi = {10.4204/EPTCS.402.11},
timestamp = {Wed, 04 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-15215.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@proceedings{DBLP:journals/corr/abs-2204-03415,
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Eduardo Bonelli},
title = {Proceedings 16th Logical and Semantic Frameworks with Applications,
{LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
series = {{EPTCS}},
volume = {357},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.357},
doi = {10.4204/EPTCS.357},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-03415.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2105-03389,
author = {Patricia Johann and
Enrico Ghiorzi and
Daniel Jeffries},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Eduardo Bonelli},
title = {GADTs, Functoriality, Parametricity: Pick Two},
booktitle = {Proceedings 16th Logical and Semantic Frameworks with Applications,
{LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
series = {{EPTCS}},
volume = {357},
pages = {77--92},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.357.6},
doi = {10.4204/EPTCS.357.6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-03389.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2106-06633,
author = {Rafael Romero and
Alejandro D{\'{\i}}az{-}Caro},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Eduardo Bonelli},
title = {A note on confluence in typed probabilistic lambda calculi},
booktitle = {Proceedings 16th Logical and Semantic Frameworks with Applications,
{LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
series = {{EPTCS}},
volume = {357},
pages = {18--24},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.357.2},
doi = {10.4204/EPTCS.357.2},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-06633.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2106-09883,
author = {Joel Gomes and
Vitor Greati and
S{\'{e}}rgio Marcelino and
Jo{\~{a}}o Marcos and
Umberto Rivieccio},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Eduardo Bonelli},
title = {On Logics of Perfect Paradefinite Algebras},
booktitle = {Proceedings 16th Logical and Semantic Frameworks with Applications,
{LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
series = {{EPTCS}},
volume = {357},
pages = {56--76},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.357.5},
doi = {10.4204/EPTCS.357.5},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-09883.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2110-03964,
author = {Daniele Nantes and
Carlos Olarte and
Daniel Ventura},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Eduardo Bonelli},
title = {A subexponential view of domains in session types},
booktitle = {Proceedings 16th Logical and Semantic Frameworks with Applications,
{LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
series = {{EPTCS}},
volume = {357},
pages = {93--111},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.357.7},
doi = {10.4204/EPTCS.357.7},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-03964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2204-03882,
author = {Juan Carlos Agudelo Agudelo and
Andr{\'{e}}s Sicard{-}Ram{\'{\i}}rez},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Eduardo Bonelli},
title = {About Opposition and Duality in Paraconsistent Type Theory},
booktitle = {Proceedings 16th Logical and Semantic Frameworks with Applications,
{LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
series = {{EPTCS}},
volume = {357},
pages = {25--37},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.357.3},
doi = {10.4204/EPTCS.357.3},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-03882.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2204-03884,
author = {Asta Halkj{\ae}r From and
Frederik Krogsdal Jacobsen and
J{\o}rgen Villadsen},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Eduardo Bonelli},
title = {SeCaV: {A} Sequent Calculus Verifier in Isabelle/HOL},
booktitle = {Proceedings 16th Logical and Semantic Frameworks with Applications,
{LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
series = {{EPTCS}},
volume = {357},
pages = {38--55},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.357.4},
doi = {10.4204/EPTCS.357.4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-03884.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2204-03885,
author = {Alejandro D{\'{\i}}az{-}Caro},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Eduardo Bonelli},
title = {A Quick Overview on the Quantum Control Approach to the Lambda Calculus},
booktitle = {Proceedings 16th Logical and Semantic Frameworks with Applications,
{LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
series = {{EPTCS}},
volume = {357},
pages = {1--17},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.357.1},
doi = {10.4204/EPTCS.357.1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-03885.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/AlvesFR20,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
Miguel Ramos},
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {{EVL:} {A} Typed Higher-order Functional Language for Events},
booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
pages = {3--23},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.08.002},
doi = {10.1016/J.ENTCS.2020.08.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/AlvesFR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/Amir-Mohammadian20,
author = {Sepehr Amir{-}Mohammadian and
Chadi Kari},
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {Correct Audit Logging in Concurrent Systems},
booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
pages = {115--141},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.08.007},
doi = {10.1016/J.ENTCS.2020.08.007},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/Amir-Mohammadian20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/BrodoO20,
author = {Linda Brodo and
Carlos Olarte},
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {A Constraint-based Language for Multiparty Interactions},
booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
pages = {25--50},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.08.003},
doi = {10.1016/J.ENTCS.2020.08.003},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/BrodoO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/ManskyG20,
author = {Susannah Mansky and
Elsa L. Gunter},
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {Safety of a Smart Classes-Used Regression Test Selection Algorithm},
booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
pages = {51--73},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.08.004},
doi = {10.1016/J.ENTCS.2020.08.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/ManskyG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/ManzinoP20,
author = {Cecilia Manzino and
Alberto Pardo},
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {Agda Formalization of a Security-preserving Translation from Flow-sensitive
to Flow-insensitive Security Types},
booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
pages = {75--94},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.08.005},
doi = {10.1016/J.ENTCS.2020.08.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/ManzinoP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/MartinRV20,
author = {Alexis Martin and
Alejandro R{\'{\i}}os and
Andr{\'{e}}s Viso},
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {Pure Pattern Calculus \emph{{\`{a}} la} de Bruijn},
booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
pages = {95--113},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.08.006},
doi = {10.1016/J.ENTCS.2020.08.006},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/MartinRV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/NalonR20,
author = {Cl{\'{a}}udia Nalon and
Giselle Reis},
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {Preface},
booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
pages = {1--2},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.08.001},
doi = {10.1016/J.ENTCS.2020.08.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/NalonR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/OlartePX20,
author = {Carlos Olarte and
Elaine Pimentel and
Bruno Xavier},
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {A Fresh View of Linear Logic as a Logical Framework},
booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
pages = {143--165},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.08.008},
doi = {10.1016/J.ENTCS.2020.08.008},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/OlartePX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/PretoF20,
author = {Sandro Preto and
Marcelo Finger},
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {An Efficient Algorithm for Representing Piecewise Linear Functions
into Logic},
booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
pages = {167--186},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.08.009},
doi = {10.1016/J.ENTCS.2020.08.009},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/PretoF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/UrciuoliTS20,
author = {Sebasti{\'{a}}n Urciuoli and
{\'{A}}lvaro Tasistro and
Nora Szasz},
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {Strong Normalization for the Simply-Typed Lambda Calculus in Constructive
Type Theory Using Agda},
booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
pages = {187--203},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.08.010},
doi = {10.1016/J.ENTCS.2020.08.010},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/UrciuoliTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2019,
editor = {Amy P. Felty and
Jo{\~{a}}o Marcos},
title = {Proceedings of the 14th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2019, Natal, Brazil, August, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {348},
publisher = {Elsevier},
year = {2020},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/348/suppl/C},
timestamp = {Mon, 10 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2020,
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
publisher = {Elsevier},
year = {2020},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/351/suppl/C},
timestamp = {Fri, 16 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/Ayala-RinconFNV20,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho and
Deivid Vale},
editor = {Amy P. Felty and
Jo{\~{a}}o Marcos},
title = {On Solving Nominal Disunification Constraints},
booktitle = {Proceedings of the 14th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2019, Natal, Brazil, August, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {348},
pages = {3--22},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2020.02.002},
doi = {10.1016/J.ENTCS.2020.02.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/Ayala-RinconFNV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/CampercholiTV20,
author = {Miguel Campercholi and
Mauricio Tellechea and
Pablo Ventura},
editor = {Amy P. Felty and
Jo{\~{a}}o Marcos},
title = {Deciding Quantifier-free Definability in Finite Algebraic Structures},
booktitle = {Proceedings of the 14th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2019, Natal, Brazil, August, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {348},
pages = {23--41},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2020.02.003},
doi = {10.1016/J.ENTCS.2020.02.003},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/CampercholiTV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/FeltyM20,
author = {Amy P. Felty and
Jo{\~{a}}o Marcos},
editor = {Amy P. Felty and
Jo{\~{a}}o Marcos},
title = {Preface},
booktitle = {Proceedings of the 14th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2019, Natal, Brazil, August, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {348},
pages = {1--2},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2020.02.001},
doi = {10.1016/J.ENTCS.2020.02.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/FeltyM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/GomesMB20,
author = {Leandro Gomes and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa},
editor = {Amy P. Felty and
Jo{\~{a}}o Marcos},
title = {Introducing Synchrony in Fuzzy Automata},
booktitle = {Proceedings of the 14th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2019, Natal, Brazil, August, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {348},
pages = {43--60},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2020.02.004},
doi = {10.1016/J.ENTCS.2020.02.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/GomesMB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/Gonzalez-Huesca20,
author = {Lourdes Del Carmen Gonz{\'{a}}lez{-}Huesca and
Favio Ezequiel Miranda{-}Perea and
P. Selene Linares{-}Ar{\'{e}}valo},
editor = {Amy P. Felty and
Jo{\~{a}}o Marcos},
title = {Dual and Axiomatic Systems for Constructive S4, a Formally Verified
Equivalence},
booktitle = {Proceedings of the 14th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2019, Natal, Brazil, August, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {348},
pages = {61--83},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2020.02.005},
doi = {10.1016/J.ENTCS.2020.02.005},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/Gonzalez-Huesca20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/JainMM20,
author = {Manisha Jain and
Alexandre Madeira and
Manuel A. Martins},
editor = {Amy P. Felty and
Jo{\~{a}}o Marcos},
title = {A Fuzzy Modal Logic for Fuzzy Transition Systems},
booktitle = {Proceedings of the 14th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2019, Natal, Brazil, August, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {348},
pages = {85--103},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2020.02.006},
doi = {10.1016/J.ENTCS.2020.02.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/JainMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/MachadoB20,
author = {Vitor Machado and
Mario R. F. Benevides},
editor = {Amy P. Felty and
Jo{\~{a}}o Marcos},
title = {Populational Announcement Logic {(PPAL)}},
booktitle = {Proceedings of the 14th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2019, Natal, Brazil, August, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {348},
pages = {105--123},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2020.02.007},
doi = {10.1016/J.ENTCS.2020.02.007},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/MachadoB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/WolterMH20,
author = {Uwe Wolter and
Alfio Martini and
Edward Hermann H{\"{a}}usler},
editor = {Amy P. Felty and
Jo{\~{a}}o Marcos},
title = {Indexed and Fibred Structures for Hoare Logic},
booktitle = {Proceedings of the 14th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2019, Natal, Brazil, August, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {348},
pages = {125--145},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2020.02.008},
doi = {10.1016/J.ENTCS.2020.02.008},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/WolterMH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2018,
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
publisher = {Elsevier},
year = {2019},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/344/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AccattoliO19,
author = {Beniamino Accattoli and
Carlos Olarte},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {Preface},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {1--2},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.001},
doi = {10.1016/J.ENTCS.2019.07.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AccattoliO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlcantaraS19,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Samy S{\'{a}}},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {On Three-Valued Acceptance Conditions of Abstract Dialectical Frameworks},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {3--23},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.002},
doi = {10.1016/J.ENTCS.2019.07.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AlcantaraS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlvesB19,
author = {Sandra Alves and
Sabine Broda},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection
Types},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {25--45},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.003},
doi = {10.1016/J.ENTCS.2019.07.003},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AlvesB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ayala-RinconSFN19,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Washington de Carvalho Segundo and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {A Formalisation of Nominal C-Matching through Unification with Protected
Variables},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {47--65},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.004},
doi = {10.1016/J.ENTCS.2019.07.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconSFN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BenevidesL19,
author = {Mario Roberto Folhadela Benevides and
Isaque Macalam Saab Lima},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {Dynamic Epistemic Logic with Communication Actions},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {67--82},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.005},
doi = {10.1016/J.ENTCS.2019.07.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BenevidesL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Diaz-CaroM19,
author = {Alejandro D{\'{\i}}az{-}Caro and
Octavio Malherbe},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {A Concrete Categorical Semantics of Lambda-S},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {83--100},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.006},
doi = {10.1016/J.ENTCS.2019.07.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Diaz-CaroM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrecoLMP19,
author = {Giuseppe Greco and
Fei Liang and
Krishna Manoorkar and
Alessandra Palmigiano},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {Proper Multi-Type Display Calculi for Rough Algebras},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {101--118},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.007},
doi = {10.1016/J.ENTCS.2019.07.007},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GrecoLMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuntherPT19,
author = {Emmanuel Gunther and
Miguel Pagano and
Pedro S{\'{a}}nchez Terraf},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {First Steps Towards a Formalization of Forcing},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {119--136},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.008},
doi = {10.1016/J.ENTCS.2019.07.008},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GuntherPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MadeiraMB19,
author = {Alexandre Madeira and
Manuel A. Martins and
Mario R. F. Benevides},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {Epistemic Logics with Structured Knowledge},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {137--149},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.009},
doi = {10.1016/J.ENTCS.2019.07.009},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MadeiraMB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RamosAMQ19,
author = {Marcus V. M. Ramos and
Jos{\'{e}} Carlos Bacelar Almeida and
Nelma Moreira and
Ruy J. G. B. de Queiroz},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {Some Applications of the Formalization of the Pumping Lemma for Context-Free
Languages},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {151--167},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.010},
doi = {10.1016/J.ENTCS.2019.07.010},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/RamosAMQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RivieccioS19,
author = {Umberto Rivieccio and
Matthew Spinks},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {Quasi-Nelson Algebras},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {169--188},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.011},
doi = {10.1016/J.ENTCS.2019.07.011},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/RivieccioS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RochaMF19,
author = {Thiago Alves Rocha and
Ana Teresa C. Martins and
Francicleber Martins Ferreira},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {On Distinguishing Sets of Structures by First-Order Sentences of Minimal
Quantifier Rank},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {189--208},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.012},
doi = {10.1016/J.ENTCS.2019.07.012},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/RochaMF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2017,
editor = {Sandra Alves and
Renata Wasserman},
title = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
publisher = {Elsevier},
year = {2018},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/338/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Accattoli18,
author = {Beniamino Accattoli},
editor = {Sandra Alves and
Renata Wasserman},
title = {(In)Efficiency and Reasonable Cost Models},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {23--43},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.003},
doi = {10.1016/J.ENTCS.2018.10.003},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Accattoli18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlvesW18,
author = {Sandra Alves and
Renata Wasserman},
editor = {Sandra Alves and
Renata Wasserman},
title = {Preface},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {1--2},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.001},
doi = {10.1016/J.ENTCS.2018.10.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AlvesW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BenevidesMM18,
author = {Mario R. F. Benevides and
Alexandre Madeira and
Manuel A. Martins},
editor = {Sandra Alves and
Renata Wasserman},
title = {A Family of Graded Epistemic Logics},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {45--59},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.004},
doi = {10.1016/J.ENTCS.2018.10.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BenevidesMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Calderon18,
author = {Guillermo Calder{\'{o}}n},
editor = {Sandra Alves and
Renata Wasserman},
title = {Formalizing Constructive Projective Geometry in Agda},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {61--77},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.005},
doi = {10.1016/J.ENTCS.2018.10.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Calderon18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CopelloST18,
author = {Ernesto Copello and
Nora Szasz and
{\'{A}}lvaro Tasistro},
editor = {Sandra Alves and
Renata Wasserman},
title = {Machine-checked Proof of the Church-Rosser Theorem for the Lambda
Calculus Using the Barendregt Variable Convention in Constructive
Type Theory},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {79--95},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.006},
doi = {10.1016/J.ENTCS.2018.10.006},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CopelloST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Diaz-CaroM18,
author = {Alejandro D{\'{\i}}az{-}Caro and
Guido Mart{\'{\i}}nez},
editor = {Sandra Alves and
Renata Wasserman},
title = {Confluence in Probabilistic Rewriting},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {115--131},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.008},
doi = {10.1016/J.ENTCS.2018.10.008},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Diaz-CaroM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezKP18,
author = {Maribel Fern{\'{a}}ndez and
H{\'{e}}l{\`{e}}ne Kirchner and
Bruno Pinaud},
editor = {Sandra Alves and
Renata Wasserman},
title = {Labelled Port Graph - {A} Formal Structure for Models and Computations},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {3--21},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.002},
doi = {10.1016/J.ENTCS.2018.10.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FernandezKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GengelbachW18,
author = {Arve Gengelbach and
Tjark Weber},
editor = {Sandra Alves and
Renata Wasserman},
title = {Model-Theoretic Conservative Extension for Definitional Theories},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {133--145},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.009},
doi = {10.1016/J.ENTCS.2018.10.009},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GengelbachW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuntherGP18,
author = {Emmanuel Gunther and
Alejandro Gadea and
Miguel Pagano},
editor = {Sandra Alves and
Renata Wasserman},
title = {Formalization of Universal Algebra in Agda},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {147--166},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.010},
doi = {10.1016/J.ENTCS.2018.10.010},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GuntherGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MadeiraNMB18,
author = {Alexandre Madeira and
Renato Neves and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa},
editor = {Sandra Alves and
Renata Wasserman},
title = {Hierarchical Hybrid Logic},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {167--184},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.011},
doi = {10.1016/J.ENTCS.2018.10.011},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MadeiraNMB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MahmoudF18,
author = {Mohamed Yousri Mahmoud and
Amy P. Felty},
editor = {Sandra Alves and
Renata Wasserman},
title = {Formal Meta-level Analysis Framework for Quantum Programming Languages},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {185--201},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.012},
doi = {10.1016/J.ENTCS.2018.10.012},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MahmoudF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VecchioM18,
author = {Stefano Del Vecchio and
Virgile Mogbil},
editor = {Sandra Alves and
Renata Wasserman},
title = {An Interpretation of {CCS} into Ludics},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {97--114},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.007},
doi = {10.1016/J.ENTCS.2018.10.007},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/VecchioM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VinogradovaFS18,
author = {Polina Vinogradova and
Amy P. Felty and
Philip J. Scott},
editor = {Sandra Alves and
Renata Wasserman},
title = {Formalizing Abstract Computability: Turing Categories in Coq},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {203--218},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.013},
doi = {10.1016/J.ENTCS.2018.10.013},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/VinogradovaFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/XavierORN18,
author = {Bruno Xavier and
Carlos Olarte and
Giselle Reis and
Vivek Nigam},
editor = {Sandra Alves and
Renata Wasserman},
title = {Mechanizing Focused Linear Logic in Coq},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {219--236},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.014},
doi = {10.1016/J.ENTCS.2018.10.014},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/XavierORN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2016,
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
publisher = {Elsevier},
year = {2017},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/332/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlsowailM17,
author = {Rakan Alsowail and
Ian Mackie},
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {Controlling File Access with Types},
booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {3--20},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.04.002},
doi = {10.1016/J.ENTCS.2017.04.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AlsowailM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ayala-RinconSFN17,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Washington de Carvalho Segundo and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {A Formalisation of Nominal {\(\alpha\)}-equivalence with {A} and {AC}
Function Symbols},
booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {21--38},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.04.003},
doi = {10.1016/J.ENTCS.2017.04.003},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconSFN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CaleiroCM17,
author = {Carlos Caleiro and
Filipe Casal and
Andreia Mordido},
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {Generalized Probabilistic Satisfiability},
booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {39--56},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.04.004},
doi = {10.1016/J.ENTCS.2017.04.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CaleiroCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChaudhuriLR17,
author = {Kaustuv Chaudhuri and
Leonardo Lima and
Giselle Reis},
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {Formalized Meta-Theory of Sequent Calculi for Substructural Logics},
booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {57--73},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.04.005},
doi = {10.1016/J.ENTCS.2017.04.005},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ChaudhuriLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiabattoniLOP17,
author = {Agata Ciabattoni and
Bj{\"{o}}rn Lellmann and
Carlos Olarte and
Elaine Pimentel},
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {From Cut-free Calculi to Automated Deduction: The Case of Bounded
Contraction},
booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {75--93},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.04.006},
doi = {10.1016/J.ENTCS.2017.04.006},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CiabattoniLOP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DespeyrouxOP17,
author = {Jo{\"{e}}lle Despeyroux and
Carlos Olarte and
Elaine Pimentel},
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {Hybrid and Subexponential Linear Logics},
booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {95--111},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.04.007},
doi = {10.1016/J.ENTCS.2017.04.007},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DespeyrouxOP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FariasMF17,
author = {M{\'{a}}rcia Farias and
Ana Teresa C. Martins and
Francicleber Martins Ferreira},
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {The Descriptive Complexity of Decision Problems through Logics with
Relational Fixed-Point and Capturing Results},
booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {113--130},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.04.008},
doi = {10.1016/J.ENTCS.2017.04.008},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FariasMF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LombardiRV17,
author = {Carlos Lombardi and
Alejandro R{\'{\i}}os and
Roel de Vrijer},
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {Projections for Infinitary Rewriting},
booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {131--148},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.04.009},
doi = {10.1016/J.ENTCS.2017.04.009},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LombardiRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NigamF17,
author = {Vivek Nigam and
M{\'{a}}rio Florido},
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {Preface},
booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {1--2},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.04.001},
doi = {10.1016/J.ENTCS.2017.04.001},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NigamF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Santo17,
author = {Jos{\'{e}} Esp{\'{\i}}rito Santo},
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {The Polarized {\(\lambda\)}-calculus},
booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {149--168},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.04.010},
doi = {10.1016/J.ENTCS.2017.04.010},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Santo17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@proceedings{DBLP:conf/lsfa/2014,
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
publisher = {Elsevier},
year = {2015},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/312/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Al-HumaimeedyF15,
author = {Abeer S. Al{-}Humaimeedy and
Maribel Fern{\'{a}}ndez},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {Enabling Synchronous and Asynchronous Communications in {CSP} for
{SOC}},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {69--88},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.005},
doi = {10.1016/J.ENTCS.2015.04.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Al-HumaimeedyF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlvesF15,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {A Framework for the Analysis of Access Control Policies with Emergency
Management},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {89--105},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.006},
doi = {10.1016/J.ENTCS.2015.04.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AlvesF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AriasGO15,
author = {Jaime Arias and
Michell Guzm{\'{a}}n and
Carlos Olarte},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {A Symbolic Model for Timed Concurrent Constraint Programming},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {161--177},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.010},
doi = {10.1016/J.ENTCS.2015.04.010},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AriasGO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ayala-RinconM15,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {Preface},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {1--2},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.001},
doi = {10.1016/J.ENTCS.2015.04.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EnglanderDH15,
author = {C{\'{e}}cilia Englander and
Gilles Dowek and
Edward Hermann Haeusler},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {Yet Another Bijection Between Sequent Calculus and Natural Deduction},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {107--124},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.007},
doi = {10.1016/J.ENTCS.2015.04.007},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/EnglanderDH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MontanariS15,
author = {Ugo Montanari and
Matteo Sammartino},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {Network-Conscious {\(\pi\)}-calculus - {A} Model of Pastry},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {3--17},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.002},
doi = {10.1016/J.ENTCS.2015.04.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MontanariS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NalonLDH15,
author = {Cl{\'{a}}udia Nalon and
Bruno Lopes and
Gilles Dowek and
Edward Hermann Haeusler},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {A Calculus for Automatic Verification of Petri Nets Based on Resolution
and Dynamic Logics},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {125--141},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.008},
doi = {10.1016/J.ENTCS.2015.04.008},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/NalonLDH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Novak15,
author = {Natalia Novak},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {Practical Extraction of Evidence Terms From Common-knowledge Reasoning},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {143--160},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.009},
doi = {10.1016/J.ENTCS.2015.04.009},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Novak15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OlarteP15,
author = {Carlos Olarte and
Elaine Pimentel},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {Proving Concurrent Constraint Programming Correct, Revisited},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {179--195},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.011},
doi = {10.1016/J.ENTCS.2015.04.011},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OlarteP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PittsMD15,
author = {Andrew M. Pitts and
Justus Matthiesen and
Jasper Derikx},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {A Dependent Type Theory with Abstractable Names},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {19--50},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.003},
doi = {10.1016/J.ENTCS.2015.04.003},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/PittsMD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RahliWPK15,
author = {Vincent Rahli and
Joe B. Wells and
John Pirie and
Fairouz Kamareddine},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {Skalpel: {A} Type Error Slicer for Standard {ML}},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {197--213},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.012},
doi = {10.1016/J.ENTCS.2015.04.012},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/RahliWPK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SternagelT15,
author = {Christian Sternagel and
Ren{\'{e}} Thiemann},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {A Framework for Developing Stand-Alone Certifiers},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {51--67},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.004},
doi = {10.1016/J.ENTCS.2015.04.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/SternagelT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TasistroCS15,
author = {Alvaro Tasistro and
Ernesto Copello and
Nora Szasz},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {Formalisation in Constructive Type Theory of Stoughton's Substitution
for the Lambda Calculus},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {215--230},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.013},
doi = {10.1016/J.ENTCS.2015.04.013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/TasistroCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VelosoVB15,
author = {Paulo A. S. Veloso and
Sheila R. M. Veloso and
Mario R. F. Benevides},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {On Graph Calculi for Multi-modal Logics},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {231--252},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.014},
doi = {10.1016/J.ENTCS.2015.04.014},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/VelosoVB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2013,
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
publisher = {Elsevier},
year = {2014},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/305/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Benevides14,
author = {Mario R. F. Benevides},
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Bisimilar and Logically Equivalent Programs in {PDL}},
booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
pages = {5--18},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.06.002},
doi = {10.1016/J.ENTCS.2014.06.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Benevides14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CarnielliM14,
author = {Walter Carnielli and
Mariana Matulovic},
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Non-deterministic Semantics in Polynomial Format},
booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
pages = {19--34},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.06.003},
doi = {10.1016/J.ENTCS.2014.06.003},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CarnielliM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DAgostino14,
author = {Marcello D'Agostino},
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Informational Semantics, Non-Deterministic Matrices and Feasible Deduction},
booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
pages = {35--52},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.06.004},
doi = {10.1016/J.ENTCS.2014.06.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DAgostino14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezF14,
author = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Preface},
booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
pages = {1--3},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.06.001},
doi = {10.1016/J.ENTCS.2014.06.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FernandezF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LopesBH14,
author = {Bruno Lopes and
Mario R. F. Benevides and
Edward Hermann Haeusler},
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Extending Propositional Dynamic Logic for Petri Nets},
booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
pages = {67--83},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.06.006},
doi = {10.1016/J.ENTCS.2014.06.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LopesBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NalonK14,
author = {Cl{\'{a}}udia Nalon and
Oliver Kutz},
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Towards Resolution-based Reasoning for Connected Logics},
booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
pages = {85--102},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.06.007},
doi = {10.1016/J.ENTCS.2014.06.007},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/NalonK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OlarteNP14,
author = {Carlos Olarte and
Vivek Nigam and
Elaine Pimentel},
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Dynamic Spaces in Concurrent Constraint Programming},
booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
pages = {103--121},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.06.008},
doi = {10.1016/J.ENTCS.2014.06.008},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OlarteNP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PaivaMS14,
author = {Valeria de Paiva and
Charles Morgan and
Samuel G. Da Silva},
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Natural Number Objects in Dialectica Categories},
booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
pages = {53--65},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.06.005},
doi = {10.1016/J.ENTCS.2014.06.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PaivaMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VelosoVB14,
author = {Paulo A. S. Veloso and
Sheila R. M. Veloso and
Mario R. F. Benevides},
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {On a Graph Approach to Modal Logics},
booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
pages = {123--139},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.06.009},
doi = {10.1016/J.ENTCS.2014.06.009},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/VelosoVB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2010,
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
publisher = {Elsevier},
year = {2011},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/269/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BenevidesFV11,
author = {Mario R. F. Benevides and
Renata P. de Freitas and
Jorge Petrucio Viana},
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {Propositional Dynamic Logic with Storing, Recovering and Parallel
Composition},
booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {95--107},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.03.008},
doi = {10.1016/J.ENTCS.2011.03.008},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BenevidesFV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FreireM11,
author = {Cibele Matos Freire and
Ana Teresa C. Martins},
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {The Descriptive Complexity of the Deterministic Exponential Time Hierarchy},
booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {71--82},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.03.006},
doi = {10.1016/J.ENTCS.2011.03.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FreireM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HaeuslerC11,
author = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {Preface},
booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {1--2},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.03.001},
doi = {10.1016/J.ENTCS.2011.03.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HaeuslerC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MouraBAK11,
author = {Fl{\'{a}}vio L. C. de Moura and
A. V. Barbosa and
Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {A Flexible Framework for Visualisation of Computational Properties
of General Explicit Substitutions Calculi},
booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {41--54},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.03.004},
doi = {10.1016/J.ENTCS.2011.03.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MouraBAK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NigamPR11,
author = {Vivek Nigam and
Elaine Pimentel and
Giselle Reis},
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {Specifying Proof Systems in Linear Logic with Subexponentials},
booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {109--123},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.03.009},
doi = {10.1016/J.ENTCS.2011.03.009},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NigamPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Paiva11,
author = {Valeria de Paiva},
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {Bridges from Language to Logic: Concepts, Contexts and Ontologies},
booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {83--94},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.03.007},
doi = {10.1016/J.ENTCS.2011.03.007},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Paiva11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/QueirozO11,
author = {Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira},
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {The Functional Interpretation of Direct Computations},
booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {19--40},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.03.003},
doi = {10.1016/J.ENTCS.2011.03.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/QueirozO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ShankarV11,
author = {Natarajan Shankar and
Marc Vaucher},
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {The Mechanical Verification of a DPLL-Based Satisfiability Solver},
booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {3--17},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.03.002},
doi = {10.1016/J.ENTCS.2011.03.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ShankarV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VelosoVV11,
author = {Sheila R. M. Veloso and
Paulo A. S. Veloso and
Paula M. Veloso},
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {A Tool for Analysing Logics},
booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {125--137},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.03.010},
doi = {10.1016/J.ENTCS.2011.03.010},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/VelosoVV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Virseda11,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {A Theoretical Framework for the Higher-Order Cooperation of Numeric
Constraint Domains},
booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {55--69},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.03.005},
doi = {10.1016/J.ENTCS.2011.03.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Virseda11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ayala-RinconK09,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Preface},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {1--3},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.001},
doi = {10.1016/J.ENTCS.2009.11.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BenevidesS09,
author = {Mario R. F. Benevides and
Luis Menasch{\'{e}} Schechter},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Product of Graphs and Hybrid Logic},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {103--118},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.008},
doi = {10.1016/J.ENTCS.2009.11.008},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BenevidesS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CostaSHP09,
author = {Vaston G. Costa and
Wagner Sanz and
Edward Hermann Haeusler and
Luiz Carlos Pereira},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Peirce's Rule in a Full Natural Deduction System},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {5--18},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.002},
doi = {10.1016/J.ENTCS.2009.11.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CostaSHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DemolombeC09,
author = {Robert Demolombe and
Luis Fari{\~{n}}as del Cerro},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {How to Produce Information About a Given Entity Using Automated Deduction
Methods},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {19--31},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.003},
doi = {10.1016/J.ENTCS.2009.11.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DemolombeC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandesH09,
author = {Ricardo Queiroz de Araujo Fernandes and
Edward Hermann Haeusler},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {A Topos-Theoretic Approach to Counterfactual Logic},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {33--47},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.004},
doi = {10.1016/J.ENTCS.2009.11.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FernandesH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HorozalR09,
author = {Feryal Fulya Horozal and
Florian Rabe},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Representing Model Theory in a Type-Theoretical Logical Framework},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {49--65},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.005},
doi = {10.1016/J.ENTCS.2009.11.005},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HorozalR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Miranda-PereaG09,
author = {Favio Ezequiel Miranda{-}Perea and
Lourdes Del Carmen Gonz{\'{a}}lez{-}Huesca},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Selective Memoization with Box Types},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {67--85},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.006},
doi = {10.1016/J.ENTCS.2009.11.006},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Miranda-PereaG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NetoKF09,
author = {Adolfo Neto and
Celso A. A. Kaestner and
Marcelo Finger},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Towards an Efficient Prover for the C\({}_{\mbox{1}}\) Paraconsistent
Logic},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {87--102},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.007},
doi = {10.1016/J.ENTCS.2009.11.007},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NetoKF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Virseda09,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {A Logical Framework for Debugging in Declarative Constraint Programming},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {119--135},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.009},
doi = {10.1016/J.ENTCS.2009.11.009},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Virseda09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2008,
editor = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
title = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {247},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/247/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2009,
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/256/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BedregalRD09,
author = {Benjam{\'{\i}}n R. C. Bedregal and
Renata Hax Sander Reiser and
Gra{\c{c}}aliz Pereira Dimuro},
editor = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
title = {Xor-Implications and E-Implications: Classes of Fuzzy Implications
Based on Fuzzy Xor},
booktitle = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {247},
pages = {5--18},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.045},
doi = {10.1016/J.ENTCS.2009.07.045},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BedregalRD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerreiraM09,
author = {Francicleber Martins Ferreira and
Ana Teresa C. Martins},
editor = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
title = {Recursive Definitions and Fixed-Points},
booktitle = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {247},
pages = {19--37},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.046},
doi = {10.1016/J.ENTCS.2009.07.046},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FerreiraM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Finger09,
author = {Marcelo Finger},
editor = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
title = {Using Abduction to Compute Efficient Proofs},
booktitle = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {247},
pages = {39--49},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.047},
doi = {10.1016/J.ENTCS.2009.07.047},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Finger09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FreitasV09,
author = {Renata P. de Freitas and
Petrucio Viana},
editor = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
title = {Introducing Polymodal Neighbourhood Logics},
booktitle = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {247},
pages = {51--66},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.048},
doi = {10.1016/J.ENTCS.2009.07.048},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FreitasV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GaldinoA09,
author = {Andr{\'{e}} Luiz Galdino and
Mauricio Ayala{-}Rinc{\'{o}}n},
editor = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
title = {A {PVS} Theory for Term Rewriting Systems},
booktitle = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {247},
pages = {67--83},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.049},
doi = {10.1016/J.ENTCS.2009.07.049},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GaldinoA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HorizontePB09,
author = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
editor = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
title = {Preface},
booktitle = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {247},
pages = {1--3},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.068},
doi = {10.1016/J.ENTCS.2009.07.068},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HorizontePB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KamareddineR09,
author = {Fairouz Kamareddine and
Vincent Rahli},
editor = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
title = {Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction},
booktitle = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {247},
pages = {85--101},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.050},
doi = {10.1016/J.ENTCS.2009.07.050},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KamareddineR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Miranda-Perea09,
author = {Favio Ezequiel Miranda{-}Perea},
editor = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
title = {Some Remarks on Type Systems for Course-of-value Recursion},
booktitle = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {247},
pages = {103--121},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.051},
doi = {10.1016/J.ENTCS.2009.07.051},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Miranda-Perea09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schechter09,
author = {Luis Menasch{\'{e}} Schechter},
editor = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
title = {A Logical Approach to Hamiltonian Graphs},
booktitle = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {247},
pages = {123--138},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.052},
doi = {10.1016/J.ENTCS.2009.07.052},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schechter09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/UrbanN09,
author = {Christian Urban and
Julien Narboux},
editor = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
title = {Formal SOS-Proofs for the Lambda-Calculus},
booktitle = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {247},
pages = {139--155},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.053},
doi = {10.1016/J.ENTCS.2009.07.053},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/UrbanN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2007,
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
title = {Proceedings of the Second Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2007, Ouro Preto, Brazil, August 28-29,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {205},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/205/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArrudaM08,
author = {Alexandre Matos Arruda and
Ana Teresa C. Martins},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
title = {An Infinitary System for the Least Fixed-Point Logic restricted to
Finite Models},
booktitle = {Proceedings of the Second Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2007, Ouro Preto, Brazil, August 28-29,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {205},
pages = {89--104},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.067},
doi = {10.1016/J.ENTCS.2008.03.067},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArrudaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ayala-RinconH08,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
title = {Preface},
booktitle = {Proceedings of the Second Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2007, Ouro Preto, Brazil, August 28-29,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {205},
pages = {1--3},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.062},
doi = {10.1016/J.ENTCS.2008.03.062},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BenevidesS08,
author = {Mario R. F. Benevides and
Luis Menasch{\'{e}} Schechter},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
title = {Modal Expressiveness of Graph Properties},
booktitle = {Proceedings of the Second Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2007, Ouro Preto, Brazil, August 28-29,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {205},
pages = {31--47},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.064},
doi = {10.1016/J.ENTCS.2008.03.064},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BenevidesS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Dowek08,
author = {Gilles Dowek},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
title = {On the Convergence of Reduction-based and Model-based Methods in Proof
Theory},
booktitle = {Proceedings of the Second Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2007, Ouro Preto, Brazil, August 28-29,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {205},
pages = {137--144},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.070},
doi = {10.1016/J.ENTCS.2008.03.070},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Dowek08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GaboardiMR08,
author = {Marco Gaboardi and
Jean{-}Yves Marion and
Simona Ronchi Della Rocca},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
title = {Soft Linear Logic and Polynomial Complexity Classes},
booktitle = {Proceedings of the Second Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2007, Ouro Preto, Brazil, August 28-29,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {205},
pages = {67--87},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.066},
doi = {10.1016/J.ENTCS.2008.03.066},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GaboardiMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KamareddineW08,
author = {Fairouz Kamareddine and
J. B. Wells},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
title = {Computerizing Mathematical Text with MathLang},
booktitle = {Proceedings of the Second Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2007, Ouro Preto, Brazil, August 28-29,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {205},
pages = {5--30},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.063},
doi = {10.1016/J.ENTCS.2008.03.063},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KamareddineW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaidlCM08,
author = {Andr{\'{e}} Murbach Maidl and
Cl{\'{a}}udio Carvilhe and
Martin A. Musicante},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
title = {Maude Object-Oriented Action Tool},
booktitle = {Proceedings of the Second Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2007, Ouro Preto, Brazil, August 28-29,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {205},
pages = {105--121},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.068},
doi = {10.1016/J.ENTCS.2008.03.068},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaidlCM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Menezes08,
author = {Luis Carlos de Sousa Menezes},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
title = {Aspect-Oriented Action Semantics Descriptions},
booktitle = {Proceedings of the Second Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2007, Ouro Preto, Brazil, August 28-29,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {205},
pages = {123--135},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.069},
doi = {10.1016/J.ENTCS.2008.03.069},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Menezes08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VanaVV08,
author = {Leonardo B. Vana and
Paulo A. S. Veloso and
Sheila R. M. Veloso},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
title = {Sequent Calculi for 'Generally'},
booktitle = {Proceedings of the Second Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2007, Ouro Preto, Brazil, August 28-29,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {205},
pages = {49--65},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.065},
doi = {10.1016/J.ENTCS.2008.03.065},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VanaVV08.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.
retrieved on 2024-09-24 06:03 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:
