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

2023-07-10T12:01:26+03:00Tuesday, 14 January 2020|

Chipchakov, Ivan

Algebra: Theory of Associative Rings: fields; field extensions; Galois theory - maximal p-extensions, absolute Galois groups; central simple algebras; Brauer groups of fields - structure and invariants; valuation theory. Number Theory - local class field theory.

2020-08-11T11:47:36+03:00Friday, 27 April 2018|
Go to Top