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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Electronic proceedings in theoretical computer science Jg. 430
Hauptverfasser:	Barbosa, Haniel, Ringeissen, Christophe
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	EPTCS 28.09.2025
Schlagworte:	Computer Science Logic in Computer Science (cs.LO) FOS: Computer and information sciences
ISSN:	2075-2180, 2075-2180
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!