Tinko Tinchev

15 papers and 131 indexed citations i.

Tinko Tinchev has authored 15 papers that have received a total of 131 indexed citations. This includes 14 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 3 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (13 papers), Advanced Algebra and Logic (10 papers) and Logic, programming, and type systems (8 papers). Tinko Tinchev is often cited by papers focused on Logic, Reasoning, and Knowledge (13 papers), Advanced Algebra and Logic (10 papers) and Logic, programming, and type systems (8 papers) and collaborates with scholars based in Bulgaria, France and Poland. Tinko Tinchev's co-authors include Philippe Balbiani, Dimiter Vakarelov, Solomon Passy, Luís Fariñas del Cerro and Ivo Düntsch and has published in prestigious journals such as Information and Computation, Information Processing Letters and Journal of Logic and Computation