Luís Soares Barbosa
Publications
DBLP RepositoriUM
2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013
Specification of paraconsistent transition systems, revisited
Juliana Cunha, Alexandre Madeira and L. S. Barbosa. Sci. Comput. Program., 240, 2025.