Loukanova, Roussanka

Type-theoretic approaches to information theory and information processing, Dependent-Type Theory of Situated Information, Type-Theory of Algorithms, Recursion Theory, Computational Syntax, Automata Theory, Computational Semantics, Computational Syntax-Semantics Interface, Computational Linguistics, Type-Theoretic Grammars, Constraint Based Lexicalized Grammar (CBLG), Artificial Intelligence

2024-07-04T23:16:25+03:00Tuesday, 14 January 2020|

Terzian, Stepan

Nonlinear functional analysis, critical points theory, private and ordinary differential equations, differential equations, fractional calculus and differential equations of fractional order.

2022-09-11T23:01:12+03:00Thursday, 26 April 2018|
Go to Top