|
|
Former Postgraduate Students and their Dissertations
-
Lyubomir Ivanov, “Iterative Operative Spaces”, 1980
-
Angel Ditchev,
“Non-reducibility of Certain Cartesian Degrees to Other Ones
and the Interrelation between Two Kinds of Computability”, 1983
-
Ivan Soskov,
“Computability in Partial Algebraic Systems”, 1983
-
Jordan Zashev, “Recursion Theory in Partially
Ordered Combinatory Models”, 1983
-
Solomon Passy, “Combinatory Dynamic Logic”, 1984
-
Tinko Tinchev,
“Extensions of the Propositional Dynamic Logic”, 1986
-
Valentin Goranko,
“Definability and Completeness in Polymodal Logics”, 1988
-
Alexandra Soskova,
“Effective Algebraic Systems”, 1990
-
Stela Nikolova,
“Admissibility in Abstract Structures with Arbitrary
Cardinality”, 1991
-
Dimitar Guelev,
“Probabilistic and Temporal Modal Logics”, 2000
-
Vessela Baleva,
“The structure degree jump operation”, 2001
-
Hristo Ganchev,
“Omega enumeration degrees”, 2009
Current Postgraduate Students
Last edition: 16 November 2010 at 09:19 EET
|
|
