Logic, programming, and type systems

Работ: 5

1. Hoare logic for GOLOG programs

   Yongmei Liu

   ДиссертацияLogic, programming, and type systemsTSpace2000Цитирований: 0

   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)2020Цитирований: 0

   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)2022Цитирований: 0

   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 Conferences2023Цитирований: 0

   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 university2024Цитирований: 0

   ABIABI:AkademIndex/openalex/2024.article.008317