Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Бібліографічні деталі
Інші автори: Miculan
Формат: Електронний ресурс eКнига
Мова:Англійська
Опубліковано: Association for Computing Machinery (ACM), 9/8/17
Предмети:
Онлайн доступ:Full text available on Research4Life (ACM)

Схожі ресурси