 |
Computer Sciences and Telecommunications 2016 | No.4(50) [2016.12.31]
|
USAGE OF LOGIC FOR PARALLEL VERIFICATION OF HASKEL PROGRAMS |
86-92 |
Computer Sciences and Telecommunications 2016 | No.3(49) [2016.11.30]
|
THE MODERN APPROACHES IN PARALLEL PROGRAMMING |
30-33 |
Computer Sciences and Telecommunications 2014 | No.3(43) [2014.09.30]
|
THE AUTOMATIC SYNTHESIS OF HASKELL FUNCTIONS |
20-26 |
Computer Sciences and Telecommunications 2010 | No.3(26) [2010.06.30]
|
CONSTRUCTION OF THE GENERALIZED RECURSIVE FORMS FOR FUNCTIONAL LANGUAGES AND THEIR APPLICATION IN VERIFICATION OF PROGRAMS (Language: Russian) |
133-141 |
Computer Sciences and Telecommunications 2009 | No.2(19) [2009.05.31]
|
PROGRAMMING PARADIGM AND ASPECTS OF INFORMATION PROCESSING IN FUNCTIONAL PARADIGM
(Language: Georgian) |
118-149 |
Computer Sciences and Telecommunications 2009 | No.1(18) [2009.02.28]
|
THE PARALLEL PROGRAMMING ON THE LISP-BASE |
13-15 |
1 |
|
|
