Proceedings of the 20th InternationalWorkshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025)

Kaustuv Chaudhuri; Daniele Nantes-Sobrinho

doi:10.4204/EPTCS.431.0

Proceedings of the 20th InternationalWorkshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025)

Kaustuv Chaudhuri
, Daniele Nantes-Sobrinho

Imperial College London

Résultats de recherche: Contribution à un journal › Éditorial

langue originale	Anglais
Pages (de - à)	i-ii
journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	431
Les DOIs	https://doi.org/10.4204/EPTCS.431.0
état	Publié - 1 janv. 2025
Evénement	20th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2025 - Birmingham, Royaume-Uni Durée: 19 juil. 2025 → 19 juil. 2025

Accès au document

10.4204/EPTCS.431.0

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{f5b16846b1ea495388eba33b77afe4c1,

title = "Proceedings of the 20th InternationalWorkshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025)",

author = "Kaustuv Chaudhuri and Daniele Nantes-Sobrinho",

year = "2025",

month = jan,

day = "1",

doi = "10.4204/EPTCS.431.0",

language = "English",

volume = "431",

pages = "i--ii",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

note = "20th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2025 ; Conference date: 19-07-2025 Through 19-07-2025",

}

TY - JOUR

T1 - Proceedings of the 20th InternationalWorkshop on Logical Frameworks and Meta-Languages

T2 - 20th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2025

AU - Chaudhuri, Kaustuv

AU - Nantes-Sobrinho, Daniele

PY - 2025/1/1

Y1 - 2025/1/1

UR - https://www.scopus.com/pages/publications/105021080523

U2 - 10.4204/EPTCS.431.0

DO - 10.4204/EPTCS.431.0

M3 - Editorial

AN - SCOPUS:105021080523

SN - 2075-2180

VL - 431

SP - i-ii

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

Y2 - 19 July 2025 through 19 July 2025

ER -