Tinko Tinchev

Navedeno

	Vse	Od leta 2019
Navedbe	907	203
indeks h	13	7
indeks i10	16	6

198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 5 3 8 10 9 15 10 14 9 5 32 28 26 37 26 17 19 15 30 43 30 25 17 22 23 21 34 20 50 43 32 53 28 37 33 33 17

Javni dostop

Prikaži vse

1 članek

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Philippe BalbianiInstitut de recherche en informatique de ToulousePreverjeni e-poštni naslov na irit.fr
Solomon PassyPresident, The Atlantic Club of BulgariaPreverjeni e-poštni naslov na atlantic-club.org
Dimiter VakarelovSofia University "St. Kliment Ohridski"Preverjeni e-poštni naslov na fmi.uni-sofia.bg
Stoyan MihovProfessor in Computer Science, IICT at Bulgarian Academy of SciencesPreverjeni e-poštni naslov na lml.bas.bg
Maryam RostamigivUniversity of ReginaPreverjeni e-poštni naslov na uregina.ca
Svetla KoevaProfessor in Computational Linguistics, Department of Computational linguistics, IBL - BASPreverjeni e-poštni naslov na dcl.bas.bg
Hristo GanchevSofia UniversityPreverjeni e-poštni naslov na g.fmi.uni-sofia.bg
Stefan GerdjikovSofia UniversityPreverjeni e-poštni naslov na fmi.uni-sofia.bg
Andrey C. SarievSofia University "St. Kliment Ohridski"Preverjeni e-poštni naslov na fmi.uni-sofia.bg
Dimiter GeorgievAssistant Professor, Sofia University "St. Kliment Ohridski", Faculty of Mathematics and InformaticsPreverjeni e-poštni naslov na fmi.uni-sofia.bg

Spremljaj

Tinko Tinchev

Professor at Faculty of Mathematics and Informatics, Sofia University

Preverjeni e-poštni naslov na fmi.uni-sofia.bg

Modal Logics and its applications Model Theory Set Theory Theoretical Computer Science Natural L


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
An essay in combinatory dynamic logic S Passy, T Tinchev Information and computation 93 (2), 263-332, 1991	224	1991
Modal Environment for Boolean Speculations: preliminary report G Gargov, S Passy, T Tinchev Mathematical logic and its applications, 253-263, 1987	180	1987
Modal logics for region-based theories of space P Balbiani, T Tinchev, D Vakarelov Fundamenta Informaticae 81 (1-3), 29-82, 2007	79	2007
PDL with data constants S Passy, T Tinchev Information Processing Letters 20 (1), 35-41, 1985	74	1985
Quantifiers in combinatory PDL: completeness, definability, incompleteness S Passy, T Tinchev International Conference on Fundamentals of Computation Theory, 512-519, 1985	49	1985
Bulgarian wordnet–structure and validation S Koeva, S Mihov, T Tinchev Romanian Journal of Information Science and Technology 7 (1-2), 61-78, 2004	38	2004
Modal logics for incidence geometries P Balbiani, LFDEL CERRO, T Tinchev, D Vakarelov Journal of Logic and Computation 7 (1), 59-78, 1997	35	1997
Unification in modal logic Alt1 P Balbiani, T Tinchev College Publications, 2016	19	2016
Large vocabulary continuous speech recognition for Bulgarian P Mitankin, S Mihov, T Tinchev Proceedings of the International Conference RANLP-2009, 246-250, 2009	16	2009
About the unification type of P Balbiani, Ç Gencer, M Rostamigiv, T Tinchev Annals of Mathematics and Artificial Intelligence 90 (5), 481-497, 2022	15	2022
Definability and computability for PRSPDL P Balbiani, T Tinchev 10th conference on Advances in Modal logic (AiML 2014) 10, 16-33, 2014	15	2014
Logics of Space with Connectedness Predicates: Complete Axiomatizations. T Tinchev, D Vakarelov Advances in Modal Logic 8, 434-453, 2010	14	2010
Dynamic logics of the region-based theory of discrete spaces P Balbiani, T Tinchev, D Vakarelov Journal of Applied Non-Classical Logics 17 (1), 39-61, 2007	14	2007
Elementary unification in modal logic KD45 P Balbiani, T Tinchev The IfCoLog Journal of Logics and their Applications 5 (1), 301-317, 2018	12	2018
Definability over the class of all partitions P Balbiani, T Tinchev Journal of Logic and Computation 16 (5), 541-557, 2006	11	2006
Undecidable problems for modal definability P Balbiani, T Tinchev Journal of Logic and Computation 27 (3), 901-920, 2017	10	2017
Line-based affine reasoning in Euclidean plane P Balbiani, T Tinchev Journal of Applied Logic 5 (3), 421-434, 2007	9	2007
Modal environment for Boolean speculations, Mathematical logic and its applications (D. Skordev, editor) G Gargov, S Passy, T Tinchev Plenum Press, New York, 1987	9	1987
About the unification types of the modal logics determined by classes of deterministic frames P Balbiani, Ç Gencer, M Rostamigiv, T Tinchev arXiv preprint arXiv:2004.07904, 2020	7	2020
Boolean logics with relations P Balbiani, T Tinchev The Journal of Logic and Algebraic Programming 79 (8), 707-721, 2010	7	2010

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji