Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317317> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- Q113317317 description "2020 nî lūn-bûn" @default.
- Q113317317 description "2020年の論文" @default.
- Q113317317 description "2020年学术文章" @default.
- Q113317317 description "2020年学术文章" @default.
- Q113317317 description "2020年学术文章" @default.
- Q113317317 description "2020年学术文章" @default.
- Q113317317 description "2020年学术文章" @default.
- Q113317317 description "2020年学术文章" @default.
- Q113317317 description "2020年學術文章" @default.
- Q113317317 description "2020年學術文章" @default.
- Q113317317 description "2020年學術文章" @default.
- Q113317317 description "2020年學術文章" @default.
- Q113317317 description "2020年學術文章" @default.
- Q113317317 description "2020년 논문" @default.
- Q113317317 description "article científic" @default.
- Q113317317 description "article scientific" @default.
- Q113317317 description "article scientifique" @default.
- Q113317317 description "articol științific" @default.
- Q113317317 description "articolo scientifico" @default.
- Q113317317 description "artigo científico" @default.
- Q113317317 description "artigo científico" @default.
- Q113317317 description "artigo científico" @default.
- Q113317317 description "artikel ilmiah" @default.
- Q113317317 description "artikull shkencor" @default.
- Q113317317 description "artikulong pang-agham" @default.
- Q113317317 description "artykuł naukowy" @default.
- Q113317317 description "artículo científico publicado en 2020" @default.
- Q113317317 description "artículu científicu espublizáu n'ochobre de 2020" @default.
- Q113317317 description "bilimsel makale" @default.
- Q113317317 description "bài báo khoa học" @default.
- Q113317317 description "naučni članak" @default.
- Q113317317 description "scienca artikolo" @default.
- Q113317317 description "scientific article published on 12 October 2020" @default.
- Q113317317 description "scientific article published on 12 October 2020" @default.
- Q113317317 description "scientific article published on 12 October 2020" @default.
- Q113317317 description "teaduslik artikkel" @default.
- Q113317317 description "tieteellinen artikkeli" @default.
- Q113317317 description "tudományos cikk" @default.
- Q113317317 description "vedecký článok" @default.
- Q113317317 description "vetenskaplig artikel" @default.
- Q113317317 description "videnskabelig artikel udgivet 12. oktober 2020" @default.
- Q113317317 description "vitenskapelig artikkel" @default.
- Q113317317 description "vitskapeleg artikkel" @default.
- Q113317317 description "vědecký článek" @default.
- Q113317317 description "wetenschappelijk artikel" @default.
- Q113317317 description "wissenschaftlicher Artikel" @default.
- Q113317317 description "επιστημονικό άρθρο" @default.
- Q113317317 description "мақолаи илмӣ" @default.
- Q113317317 description "наукова стаття, опублікована в жовтні 2020" @default.
- Q113317317 description "научна статия" @default.
- Q113317317 description "научная статья" @default.
- Q113317317 description "научни чланак" @default.
- Q113317317 description "научни чланак" @default.
- Q113317317 description "מאמר מדעי" @default.
- Q113317317 description "مقالة بحثية نشرت في 12 أكتوبر 2020" @default.
- Q113317317 description "১২ অক্টোবর ২০২০-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317317 description "บทความทางวิทยาศาสตร์" @default.
- Q113317317 description "სამეცნიერო სტატია" @default.
- Q113317317 name "Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types" @default.
- Q113317317 type Item @default.
- Q113317317 label "Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types" @default.
- Q113317317 prefLabel "Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types" @default.
- Q113317317 P1433 Q113317317-A0ED8818-F8B0-4223-8016-1491A8A15F49 @default.
- Q113317317 P1476 Q113317317-16DB2096-1170-477B-86FA-1A4419C2AB6A @default.
- Q113317317 P2093 Q113317317-6C26EA83-890F-4E26-8C53-EDE2538B69D1 @default.
- Q113317317 P2093 Q113317317-EC97C406-314E-41EF-A9E3-B2EEDF23E99E @default.
- Q113317317 P304 Q113317317-5A20BF08-F0D2-4C98-9F02-D80EAEA9CF18 @default.
- Q113317317 P31 Q113317317-3C002440-C4A2-4761-9232-2AF1392FC714 @default.
- Q113317317 P356 Q113317317-0A6B85AA-0809-4AF9-A409-A37DB633DE17 @default.
- Q113317317 P478 Q113317317-8FB6679F-434B-4435-BDD4-AD2BDCA7E817 @default.
- Q113317317 P577 Q113317317-9C3D92D9-4CD7-477D-82AC-4871AD3C991B @default.
- Q113317317 P356 J.ENTCS.2020.08.005 @default.
- Q113317317 P1433 Q5358287 @default.
- Q113317317 P1476 "Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types" @default.
- Q113317317 P2093 "Alberto Pardo" @default.
- Q113317317 P2093 "Cecilia Manzino" @default.
- Q113317317 P304 "75-94" @default.
- Q113317317 P31 Q13442814 @default.
- Q113317317 P356 "10.1016/J.ENTCS.2020.08.005" @default.
- Q113317317 P478 "351" @default.
- Q113317317 P577 "2020-10-12T00:00:00Z" @default.