| |
| 1992 | ||
|---|---|---|
| 5 | Valentin Goranko, Solomon Passy: Using the Universal Modality: Gains and Questions. J. Log. Comput. 2(1): 5-30 (1992) | |
| 1988 | ||
| 4 | George Gargov, Solomon Passy: Determinism and Looping in Combinatory PDL. Theor. Comput. Sci. 61: 259-277 (1988) | |
| 1985 | ||
| 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) | |
| 1980 | ||
| 1 | Solomon Passy: Structured Programs for Turing Machines. Inf. Process. Lett. 10(2): 63-67 (1980) | |
| 1 | George Gargov | [4] |
| 2 | Valentin Goranko | [5] |
| 3 | Tinko Tinchev | [2] [3] |