-
1
المؤلفون: Gregory Malecha, Gordon Stewart, Frantisek Farka, Jasper Haag, Yoichi Hirai
المصدر: IEEE Security & Privacy. 20:33-42
مصطلحات موضوعية: Computer Networks and Communications, Electrical and Electronic Engineering, Law
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::4b6326359cf61f30562a1159afc6b5faTest
https://doi.org/10.1109/msec.2022.3158196Test -
2دورية أكاديمية
المؤلفون: Farka, Frantisek
المساهمون: Frantisek Farka
مصطلحات موضوعية: resolution, elaboration, proof-relevant, dependent types, type classes
وصف الملف: application/pdf
العلاقة: Is Part Of OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018); urn:nbn:de:0030-drops-98848; https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.18Test
الإتاحة: https://doi.org/10.4230/OASIcs.ICLP.2018.18Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-98848Test