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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Electronic proceedings in theoretical computer science Ročník 430
Hlavní autori:	Barbosa, Haniel, Ringeissen, Christophe
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	EPTCS 28.09.2025
Predmet:	Computer Science Logic in Computer Science (cs.LO) FOS: Computer and information sciences
ISSN:	2075-2180, 2075-2180
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Popis
Shrnutí:	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 practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side. LSFA includes areas such as proof and type theory, equational deduction and rewriting systems, automated reasoning and concurrency theory.
ISSN:	2075-2180 2075-2180
DOI:	10.48550/ARXIV.2509.23739