Tinko Tinchev (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Solomon Passy, Tinko Tinchev: Quantifiers in combinatory PDL: completeness, definability, incompleteness. FCT 1985: 512-519

1 Solomon Passy, Tinko Tinchev: PDL with Data Constants. Inf. Process. Lett. 20(1): 35-41 (1985)

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

2		Solomon Passy, Tinko Tinchev: Quantifiers in combinatory PDL: completeness, definability, incompleteness. FCT 1985: 512-519
1		Solomon Passy, Tinko Tinchev: PDL with Data Constants. Inf. Process. Lett. 20(1): 35-41 (1985)