Logic, programming, and type systems

5 та иш

1. Hoare logic for GOLOG programs

   Yongmei Liu

   ДиссертацияLogic, programming, and type systemsTSpace20000 иқтибос

   ABIABI:AkademIndex/openalex/2000.dissertation.000005

2. Universal Linear Data Structure

   Rustam Kabulov Vosilovich

   МақолаFormal Methods in Verification2020 International Conference on Information Science and Communications Technologies (ICISCT)20200 иқтибос

   ABIABI:AkademIndex/openalex/2020.article.002010

3. THЕ ЕFFЕСTIVЕNЕSS ОF PRОJЕСT BАSЕD LЕАRNING TЕСHNОLОGIЕS IN TЕАСHING ЕNGLISH АT SСHООL

   Jurayev Asrorjon Mukhammadjonovich, Arustamyan Yana Yurevna

   БошқаCryptography and Residue ArithmeticZenodo (CERN European Organization for Nuclear Research)20220 иқтибос

   ABIABI:AkademIndex/openalex/2022.other.000414

4. Advancements in Compiler Design and Optimization Techniques

   R. Maruthamuthu, Dharmesh Dhabliya, Kala Priyadarshini G +3

   МақолаParallel Computing and Optimization TechniquesE3S Web of Conferences20230 иқтибос

   ABIABI:AkademIndex/openalex/2023.article.000339

5. COMPLETE CLASSIFICATION OF QUADRATIC IRRATIONALS WITH PERIOD TWO

   M. Tlepova, Alibek Orynbassar, Sh. Kadyrov +1

   Мақолаsemigroups and automata theoryHerald of Kazakh-British technical university20240 иқтибос

   ABIABI:AkademIndex/openalex/2024.article.008317