Solomon Passy (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

Selection of 2 from 5 records - Solomon Passy has 3 coauthors

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