Concepedia

Tinko Tinchev

TT

Statistics

Publications

6

Citations

284

H-Index

6

Active since

1985

Affiliations

Sofia University "St. Kliment Ohridski"(Current)

Université Toulouse III - Paul Sabatier

Centre National de la Recherche Scientifique

Tinko Tinchev is an author at Sofia University "St. Kliment Ohridski" specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningSemanticsLanguageLinguisticsFormal LogicData ModelingFormal MethodsSpeech Perception

Publications per year

1985–2010

6

Publications

6

An essay in combinatory dynamic logic

Solomon Passy, Tinko Tinchev · Information and Computation · 1991 · 152 citations

Applied Logic, Automated Reasoning, Combinatory Dynamic Logic +3

PDL with data constants

Solomon Passy, Tinko Tinchev · Information Processing Letters · 1985 · 53 citations

Numerical Analysis, Data Constants, Pde-constrained Optimization +1

Modal logics for region-based theories of space

Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov · HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 43 citations

Dynamic logics of the region-based theory of discrete spaces

Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov · Journal of Applied Non-Classical Logics · 2007 · 15 citations

Computational Logic, Formal Logic, Non-monotonic Logic +15

Large Vocabulary Continuous Speech Recognition for Bulgarian

Petar Mitankin, Stoyan Mihov, Tinko Tinchev · Recent Advances in Natural Language Processing · 2009 · 11 citations

Engineering, Large Vocabulary, Spoken Language Processing +17

1–5 of 6