Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications

This volume contains the proceedings of the 20th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2025), which was held in Brasilia, the capital of Brazil, from October 7 to October 8, 2025. The aim of the LSFA series of workshops is bringing together theoreticians and practitione...

Full description

Saved in:

Bibliographic Details
Published in:	Electronic proceedings in theoretical computer science Vol. 430
Main Authors:	Barbosa, Haniel, Ringeissen, Christophe
Format:	Conference Proceeding
Language:	English
Published:	EPTCS 28.09.2025
Subjects:	Computer Science Logic in Computer Science (cs.LO) FOS: Computer and information sciences
ISSN:	2075-2180, 2075-2180
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!