E. J. Farkas
From MaRDI portal
Person:1100877
Available identifiers
zbMath Open farkas.e-jMaRDI QIDQ1100877
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! |
| Publication | Date of Publication | Type |
|---|---|---|
| A probabilistic analysis of loop programs | 1989-01-01 | Paper |
| A faithful embedding of parallel computations in star-finite models | 1989-01-01 | Paper |
| On the programs-as-formulas interpretation of parallel programs in Peano arithmetic | 1988-01-01 | Paper |
| "On the plausibility of nonstandard proofs in analysis" | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3731604 | 1984-01-01 | Paper |
Research outcomes over time
This page was built for person: E. J. Farkas