dblp.uni-trier.dewww.uni-trier.de

Solomon Passy

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Coauthor Index

1George Gargov [4]
2Valentin Goranko [5]
3Tinko Tinchev [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)