---------- Forwarded message --------- From: ScienceDirect Message Center <[email protected]> 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)
[image: wordmark] <https://click.notification.elsevier.com/CL0/https:%2F%2Fwww.sciencedirect.com/1/0100017116c68345-063522cf-1cb6-4c1f-98ed-6bc7eb1b778b-000000/Ez3p_4--jcNok4pT8GrC-Q_Lp6O8xHkIC1VFYVmT5H4=134> Alert: *Electronic Notes in Theoretical Computer Science* *New Articles* available on ScienceDirect <https://click.notification.elsevier.com/CL0/https:%2F%2Fwww.sciencedirect.com%2Fjournal%2Felectronic-notes-in-theoretical-computer-science%2Fvol%2F348%2Fsuppl%2FC%3Fdgcid=raven_sd_via_email/1/0100017116c68345-063522cf-1cb6-4c1f-98ed-6bc7eb1b778b-000000/VdVgYnRcE52sEykmpQeCQnML54R5nfJNnsG5gyuU_58=134> Electronic Notes in Theoretical Computer Science <https://click.notification.elsevier.com/CL0/https:%2F%2Fwww.sciencedirect.com%2Fjournal%2Felectronic-notes-in-theoretical-computer-science%3Fdgcid=raven_sd_via_email/1/0100017116c68345-063522cf-1cb6-4c1f-98ed-6bc7eb1b778b-000000/SOBP70DjOtYJ-JkZuJ2QXE3lSlew9ViypdMLBnnV3RU=134> Volume 348, Pages 1-146 , 1 March 2020 <https://click.notification.elsevier.com/CL0/https:%2F%2Fwww.sciencedirect.com%2Fjournal%2Felectronic-notes-in-theoretical-computer-science%2Fvol%2F348%2Fsuppl%2FC%3Fdgcid=raven_sd_via_email/2/0100017116c68345-063522cf-1cb6-4c1f-98ed-6bc7eb1b778b-000000/xQRgq9S_-DE7AznHrTycxMR41pgw2h4iKQhMCKxf9Y8=134> *14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2019)* Edited by Amy Felty, João Marcos Preface <https://click.notification.elsevier.com/CL0/https:%2F%2Fwww.sciencedirect.com%2Fscience%3F_ob=GatewayURL%26_method=citationSearch%26_version=1%26_piikey=S1571066120300013%26_origin=RV_SD_TOC_EMAIL%26dgcid=raven_sd_via_email/1/0100017116c68345-063522cf-1cb6-4c1f-98ed-6bc7eb1b778b-000000/JF1ZlqKjd23D1dnkfZ_g1RjLW_uk6oxAnR9lqmpH6Uo=134> *Pages 1-2* Amy Felty, João Marcos On Solving Nominal Disunification Constraints <https://click.notification.elsevier.com/CL0/https:%2F%2Fwww.sciencedirect.com%2Fscience%3F_ob=GatewayURL%26_method=citationSearch%26_version=1%26_piikey=S1571066120300025%26_origin=RV_SD_TOC_EMAIL%26dgcid=raven_sd_via_email/1/0100017116c68345-063522cf-1cb6-4c1f-98ed-6bc7eb1b778b-000000/ouF_aOoyYgikKvp2d0LjFuzTLVJr2KwDauzwZUQVDj0=134> *Pages 3-22* Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Val Deciding Quantifier-free Definability in Finite Algebraic Structures <https://click.notification.elsevier.com/CL0/https:%2F%2Fwww.sciencedirect.com%2Fscience%3F_ob=GatewayURL%26_method=citationSearch%26_version=1%26_piikey=S1571066120300037%26_origin=RV_SD_TOC_EMAIL%26dgcid=raven_sd_via_email/1/0100017116c68345-063522cf-1cb6-4c1f-98ed-6bc7eb1b778b-000000/0-8CawNddgmA_G-_t3IMNPv4o2GrGizteETwDTOBDDk=134> *Pages 23-41* Miguel Campercholi, Mauricio Tellechea, Pablo Ventura Introducing Synchrony in Fuzzy Automata <https://click.notification.elsevier.com/CL0/https:%2F%2Fwww.sciencedirect.com%2Fscience%3F_ob=GatewayURL%26_method=citationSearch%26_version=1%26_piikey=S1571066120300049%26_origin=RV_SD_TOC_EMAIL%26dgcid=raven_sd_via_email/1/0100017116c68345-063522cf-1cb6-4c1f-98ed-6bc7eb1b778b-000000/R1YlCFPmyUOHi1JPpROlFhGwVZphfetJSozSJ1AZcXs=134> *Pages 43-60* Leandro Gomes, Alexandre Madeira, Luis Soares Barbosa Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence <https://click.notification.elsevier.com/CL0/https:%2F%2Fwww.sciencedirect.com%2Fscience%3F_ob=GatewayURL%26_method=citationSearch%26_version=1%26_piikey=S1571066120300050%26_origin=RV_SD_TOC_EMAIL%26dgcid=raven_sd_via_email/1/0100017116c68345-063522cf-1cb6-4c1f-98ed-6bc7eb1b778b-000000/yYHIQBc3bzQjM6f8n_XBUkgdUB_QCvAW5W3Egus0xAc=134> *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 <https://click.notification.elsevier.com/CL0/https:%2F%2Fwww.sciencedirect.com%2Fscience%3F_ob=GatewayURL%26_method=citationSearch%26_version=1%26_piikey=S1571066120300062%26_origin=RV_SD_TOC_EMAIL%26dgcid=raven_sd_via_email/1/0100017116c68345-063522cf-1cb6-4c1f-98ed-6bc7eb1b778b-000000/vME5NSkL4xWBknGT6SRFWDonJOk2fkuz-4nIcQwBNF4=134> *Pages 85-103* Manisha Jain, Alexandre Madeira, Manuel A. Martins Populational Announcement Logic (PPAL) <https://click.notification.elsevier.com/CL0/https:%2F%2Fwww.sciencedirect.com%2Fscience%3F_ob=GatewayURL%26_method=citationSearch%26_version=1%26_piikey=S1571066120300074%26_origin=RV_SD_TOC_EMAIL%26dgcid=raven_sd_via_email/1/0100017116c68345-063522cf-1cb6-4c1f-98ed-6bc7eb1b778b-000000/fM9e95lFZCgq_Qal0OF9EjVA8gMyLZB9uSafnM70MLc=134> *Pages 105-123* Vitor Machado, Mario Benevides Indexed and Fibred Structures for Hoare Logic <https://click.notification.elsevier.com/CL0/https:%2F%2Fwww.sciencedirect.com%2Fscience%3F_ob=GatewayURL%26_method=citationSearch%26_version=1%26_piikey=S1571066120300086%26_origin=RV_SD_TOC_EMAIL%26dgcid=raven_sd_via_email/1/0100017116c68345-063522cf-1cb6-4c1f-98ed-6bc7eb1b778b-000000/LlXOxQ3Jq3Rhb7Vcxyfry45ILwb48ueIh4hkOekzv8E=134> *Pages 125-145* U.E. Wolter, A.R. Martini, E.H. Häusler Read the full issue on ScienceDirect <https://click.notification.elsevier.com/CL0/https:%2F%2Fwww.sciencedirect.com%2Fjournal%2Felectronic-notes-in-theoretical-computer-science%2Fvol%2F348%2Fsuppl%2FC%3Fdgcid=raven_sd_via_email/3/0100017116c68345-063522cf-1cb6-4c1f-98ed-6bc7eb1b778b-000000/HTT8idIouWMJEzSNGsC02KRg10bY4pgFa9gSMYnj-QI=134> -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiV0_PWByX6yDzaEG%3DSRyLzTad0dtXkjbWBQFNSA0mpAw%40mail.gmail.com.
