Statistics
Publications
6
Citations
284
H-Index
6
Active since
1985
Tinko Tinchev is an author at Sofia University "St. Kliment Ohridski" specializing in computer science, mathematics, and logic.
Publications per year
1985–2010
6
6
An essay in combinatory dynamic logic
Solomon Passy, Tinko Tinchev · Information and Computation · 1991 · 152 citations
Solomon Passy, Tinko Tinchev · Information Processing Letters · 1985 · 53 citations
1–5 of 6