Solomon Passy

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
scientific article; zbMATH DE number 218546 (Why is no real title available?)1993-06-29Paper
Using the Universal Modality: Gains and Questions
Journal Of Logic And Computation
1992-09-27Paper
An essay in combinatory dynamic logic
Information and Computation
1991-01-01Paper
Determinism and looping in combinatory PDL
Theoretical Computer Science
1988-01-01Paper
scientific article; zbMATH DE number 4148058 (Why is no real title available?)1987-01-01Paper
scientific article; zbMATH DE number 3924749 (Why is no real title available?)1985-01-01Paper
PDL with data constants
Information Processing Letters
1985-01-01Paper
scientific article; zbMATH DE number 3803410 (Why is no real title available?)1982-01-01Paper
scientific article; zbMATH DE number 3817046 (Why is no real title available?)1982-01-01Paper
Structured programs for Turing machines
Information Processing Letters
1980-01-01Paper


Research outcomes over time


This page was built for person: Solomon Passy