The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Tinko Tinchev Tinko Velichkov Tinchev ( http://dblp.L3S.de/Authors/Tinko_Tinchev )

  Author page on DBLP  Author page in RDF  Community of Tinko Tinchev in ASPL-2

Publication years (Num. hits)
1984-2010 (16) 2014-2018 (8)
Publication types (Num. hits)
article(14) inproceedings(10)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 25 publication records. Showing 24 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev Modal correspondence theory in the class of all Euclidean frames. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev Elementary Unification in Modal Logic KD45. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev Undecidable problems for modal definability. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ivo Düntsch, Ewa Orlowska, Tinko Tinchev Mixed algebras and their logics. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev Unification in modal logic Alt1. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev Definability and Canonicity for Boolean Logic with a Binary Relation. Search on Bibsonomy Fundam. Inform. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev Flexible Noisy Text Correction. Search on Bibsonomy Document Analysis Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev Definability and Computability for PRSPDL. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev Boolean logics with relations. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tinko Tinchev, Dimiter Vakarelov Logics of Space with Connectedness Predicates: Complete Axiomatizations. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1Petar Mitankin, Stoyan Mihov, Tinko Tinchev Large Vocabulary Continuous Speech Recognition for Bulgarian. Search on Bibsonomy RANLP The full citation details ... 2009 DBLP  BibTeX  RDF
1G. Georgiev, Tinko Tinchev Second-order logic on equivalence relations. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev Boolean Logics with Relations. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF First-order classical logic, propositional modal logic, relations, Boolean algebra
1Philippe Balbiani, Tinko Tinchev Line-based affine reasoning in Euclidean plane. Search on Bibsonomy J. Applied Logic The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov Dynamic logics of the region-based theory of discrete spaces. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov Modal Logics for Region-based Theories of Space. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev Definability Over the Class of all Partitions. Search on Bibsonomy J. Log. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Tinko Tinchev Line-Based Affine Reasoning in Euclidean Plane. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov Modal Logics for Incidence Geometries. Search on Bibsonomy J. Log. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov Geometrical Structures and Modal Logic. Search on Bibsonomy FAPR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Solomon Passay, Tinko Tinchev An Essay in Combinatory Dynamic Logic Search on Bibsonomy Inf. Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Solomon Passy, Tinko Tinchev PDL with Data Constants. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Solomon Passy, Tinko Tinchev Quantifiers in combinatory PDL: completeness, definability, incompleteness. Search on Bibsonomy FCT The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Tinko Tinchev, Dimiter Vakarelov Propositional dynamic logics with counters and stacks. Search on Bibsonomy Symposium on Computation Theory The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #24 of 24 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license