Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908563276824576 |
|---|---|
| author | Barbosa, Haniel Ringeissen, Christophe |
| author_facet | Barbosa, Haniel Ringeissen, Christophe |
| contents | 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.
|
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_23739 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications Barbosa, Haniel Ringeissen, Christophe Logic in Computer Science 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. |
| title | Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2509.23739 |