Proceedings of LSFA 2019 @ ENTCS

[Joao Marcos]

---------- Forwarded message ---------
From: ScienceDirect Message Center <scienc...@notification.elsevier.com>
Date: Thu, Mar 26, 2020 at 9:17 AM
Subject: Electronic Notes in Theoretical Computer Science : Volume 348 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2019)

Alert: Electronic Notes in Theoretical Computer Science New Articles available on ScienceDirect Electronic Notes in Theoretical Computer Science Volume 348, Pages 1-146 , 1 March 2020 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2019) Edited by Amy Felty, João Marcos Preface Pages 1-2 Amy Felty, João Marcos On Solving Nominal Disunification Constraints Pages 3-22 Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Val Deciding Quantifier-free Definability in Finite Algebraic Structures Pages 23-41 Miguel Campercholi, Mauricio Tellechea, Pablo Ventura Introducing Synchrony in Fuzzy Automata Pages 43-60 Leandro Gomes, Alexandre Madeira, Luis Soares Barbosa Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence Pages 61-83 Lourdes del Carmen González Huesca, Favio E. Miranda-Perea, P. Selene Linares-Arévalo A Fuzzy Modal Logic for Fuzzy Transition Systems Pages 85-103 Manisha Jain, Alexandre Madeira, Manuel A. Martins Populational Announcement Logic (PPAL) Pages 105-123 Vitor Machado, Mario Benevides Indexed and Fibred Structures for Hoare Logic Pages 125-145 U.E. Wolter, A.R. Martini, E.H. Häusler Read the full issue on ScienceDirect