16th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)
Event name
16th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)
Event type
Event for scientific audience
Start date
16-07-2021
End date
16-07-2021
Location
Pittsburgh, USA
Country
United States
Event format Veranstaltungsformat
Online
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).