Logic, programming, and type systems

5 ta ish

1. Hoare logic for GOLOG programs

   Yongmei Liu

   DissertatsiyaOAOchiq kirishLogic, programming, and type systemsTSpace20000 iqtibos

   ABIABI:AkademIndex/2000.dissertation.000005

2. Universal Linear Data Structure

   Rustam Kabulov Vosilovich

   MaqolaFormal Methods in Verification2020 International Conference on Information Science and Communications Technologies (ICISCT)20200 iqtibos

   ABIABI:AkademIndex/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

   BoshqaOAOchiq kirishCryptography and Residue ArithmeticZenodo (CERN European Organization for Nuclear Research)20220 iqtibos

   ABIABI:AkademIndex/2022.other.000414

4. Advancements in Compiler Design and Optimization Techniques

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

   MaqolaOAOchiq kirishParallel Computing and Optimization TechniquesE3S Web of Conferences20230 iqtibos

   ABIABI:AkademIndex/2023.article.000339

5. COMPLETE CLASSIFICATION OF QUADRATIC IRRATIONALS WITH PERIOD TWO

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

   MaqolaOAOchiq kirishsemigroups and automata theoryHerald of Kazakh-British technical university20240 iqtibos

   ABIABI:AkademIndex/2024.article.008317