Tinko Tinchev (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

10 Philippe Balbiani, Tinko Tinchev: Boolean Logics with Relations. RelMiCS 2008: 4-21

9 Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov: Modal Logics for Region-based Theories of Space. Fundam. Inform. 81(1-3): 29-82 (2007)

8 Philippe Balbiani, Tinko Tinchev: Line-based affine reasoning in Euclidean plane. J. Applied Logic 5(3): 421-434 (2007)

7 Philippe Balbiani, Tinko Tinchev: Definability Over the Class of all Partitions. J. Log. Comput. 16(5): 541-557 (2006)

6 Philippe Balbiani, Tinko Tinchev: Line-Based Affine Reasoning in Euclidean Plane. JELIA 2004: 474-486

5 Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov: Modal Logics for Incidence Geometries. J. Log. Comput. 7(1): 59-78 (1997)

4 Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov: Geometrical Structures and Modal Logic. FAPR 1996: 43-57

Selection of 7 from 10 records - Tinko Tinchev has 5 coauthors

10		Philippe Balbiani, Tinko Tinchev: Boolean Logics with Relations. RelMiCS 2008: 4-21
9		Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov: Modal Logics for Region-based Theories of Space. Fundam. Inform. 81(1-3): 29-82 (2007)
8		Philippe Balbiani, Tinko Tinchev: Line-based affine reasoning in Euclidean plane. J. Applied Logic 5(3): 421-434 (2007)
7		Philippe Balbiani, Tinko Tinchev: Definability Over the Class of all Partitions. J. Log. Comput. 16(5): 541-557 (2006)
6		Philippe Balbiani, Tinko Tinchev: Line-Based Affine Reasoning in Euclidean Plane. JELIA 2004: 474-486
5		Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov: Modal Logics for Incidence Geometries. J. Log. Comput. 7(1): 59-78 (1997)
4		Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov: Geometrical Structures and Modal Logic. FAPR 1996: 43-57