Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Lfmtp 2016, Porto, Portugal, June 23, 2016
AuthID
P-00K-WFT
P-00K-WFT
© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service