Session 3 (IIAP, Hall A)
Algorithms, Automata and Logic
Tuesday, September 29, 2015, (1400 - 1620)
Moderators: Alexander Letichevsky, Hrant Maranjian, Igor Zaslavsky
|
| 1400 |
Alexandr Letichevsky, Olexander Letychevskyi (Ukraine)
“Predicate Transformers for Local Description Units” |
| 1420 |
Yuri Movsisyan, Diana Davidova (Armenia)
“A Characterization of Hyperidentities of the Variety of Weakly Idempotent Lattices” |
| 1440 |
Sergey Davidov, Jahangir Hatami (Armenia)
“Equational Theory of Algebras with Fuzzy Operations” |
| 1500 |
Anahit Chubaryan, Armine Chubaryan, Arman Tshitoyan (Armenia)
“On Lower Bounds for Steps and Sizes of Proofs in Frege Systems” |
| 1520 |
Arsen Mokatsian (Armenia)
“On the tt-Complete Set which is tt-Mitotic but not btt-Mitotic” |
| 1540 |
Stanislaw Ambroszkiewicz (Poland)
“Primitive Recursion on Higher Types” |
| 1600 |
Hayk Poghosyan, Vahagn Poghosyan (Armenia)
“Frontal Cellular Automata for the Study of Non-Equilibrium Lattice Models” |