Logic, programming, and type systems

5 works

1. Hoare logic for GOLOG programs

   Yongmei Liu

   DissertationLogic, programming, and type systemsTSpace20000 citations

   ABIABI:AkademIndex/openalex/2000.dissertation.000005

2. Universal Linear Data Structure

   Rustam Kabulov Vosilovich

   ArticleFormal Methods in Verification2020 International Conference on Information Science and Communications Technologies (ICISCT)20200 citations

   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

   OtherCryptography and Residue ArithmeticZenodo (CERN European Organization for Nuclear Research)20220 citations

   ABIABI:AkademIndex/openalex/2022.other.000414

4. Advancements in Compiler Design and Optimization Techniques

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

   ArticleParallel Computing and Optimization TechniquesE3S Web of Conferences20230 citations

   ABIABI:AkademIndex/openalex/2023.article.000339

5. COMPLETE CLASSIFICATION OF QUADRATIC IRRATIONALS WITH PERIOD TWO

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

   Articlesemigroups and automata theoryHerald of Kazakh-British technical university20240 citations

   ABIABI:AkademIndex/openalex/2024.article.008317