Solomon Passy

According to our database, Solomon Passy authored at least 5 papers between 1980 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1992

Using the Universal Modality: Gains and Questions.

Valentin Goranko, Solomon Passy

J. Log. Comput., 1992

1988

Determinism and Looping in Combinatory PDL.

George Gargov, Solomon Passy

Theor. Comput. Sci., 1988

1985

PDL with Data Constants.

Solomon Passy, Tinko Tinchev

Inf. Process. Lett., 1985

Quantifiers in combinatory PDL: completeness, definability, incompleteness.

Solomon Passy, Tinko Tinchev

Proceedings of the Fundamentals of Computation Theory, 1985

1980

Structured Programs for Turing Machines.

Solomon Passy

Inf. Process. Lett., 1980