Part of CSIT-2017 Conference program

Session 4 “Algorithms, Automata and Logic” (IIAP, Hall B) Tuesday, September 26, 2017, (1120 - 1340) Moderators: Igor Zaslavsky, Yuri Movsisyan (Armenia)  1120  Igor Zaslavsky (Armenia) “Functional Ssystem of the Fuzzy Constructive Logic”  1140  Yuri Movsisyan (Armenia) “On Belousov Quasigroups”  1200  Seda Manukian (Armenia) “On the Structure of Ppositive and Strongly Positive Arithmetical Sets”  1220  Mikayel Khachatryan (Armenia) “Generalized primitive recursive arithmetical and string functions”  1240  Ashot Shahverdian (Armenia) “Full Randomness in the Higher Difference Structure of Two-state Markov Chains”  1300  Armen Kostanyan (Armenia) “Fuzzy String Matching with Finite Automata”  1320  Jiangong Song, Qinyong Li, Shilong Ma, Jianghua Lv (China) “An Earthquake Response Timing Constraint Workflow Model”