Items where Institution is :Other partners > Sofia University St. Kliment Ohridski (BULGARIA)

Balbiani, Philippe and Tinchev, Tinko Elementary unification in modal logic KD45. (2018) The IfCoLog Journal of Logics and their Applications, 5 (1). 301-317. ISSN 2055-3706

Balbiani, Philippe and Georgiev, Dimiter and Tinchev, Tinko Modal correspondence theory in the class of all Euclidean frames. (2017) Journal of Logic and Computation, 28 (1). 119-131. ISSN 0955-792X

Balbiani, Philippe and Tinchev, Tinko Undecidable problems for modal definability. (2017) Journal of Logic and Computation, 27 (3). 901-920. ISSN 0955-792X

Balbiani, Philippe and Tinchev, Tinko Unification in modal logic Alt1. (2016) In: 11th conference on Advances in Modal logic (AiML 2016), 30 August 2016 - 2 September 2016 (Budapest, Hungary).

Balbiani, Philippe and Tinchev, Tinko Definability and canonicity for Boolean logic with a binary relation. (2014) Fundamenta Informaticae, 129 (4). 301-327. ISSN 0169-2968

Balbiani, Philippe and Tinchev, Tinko Definability and computability for PRSPDL. (2014) In: 10th conference on Advances in Modal logic (AiML 2014), 1 January 2014 - 31 December 2014 (Groningen, Netherlands).

Velichkova, Filipa Aleksandrova and Julcour-Lebigue, Carine and Koumanova, Bogdana and Delmas, Henri Heterogeneous Fenton oxidation of paracetamol using iron oxide (nano)particles. (2013) Journal of Environmental Chemical Engineering, 1 (4). 1214-1222. ISSN 2213-3437

Badev, Alex and Iliev, I. and Cambronne, Jean-Pascal and Lebey, Thierry and Barnabé, Antoine and Levcheva, Valda Microwave dielectric properties of the spinel composition Mg1+xTixAl2-2xO4. (2007) Journal of OptoElectronics and Advanced Materials, 1 (10). 507-509. ISSN 1454-4164