Moshe Deutsch
From MaRDI portal
Person:851132
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 |
|---|---|---|
| An analysis of operation-refinement in an abortive paradigm | 2013-12-04 | Paper |
| A Relational Investigation of UTP Designs and Prescriptions Unifying Theories of Programming | 2007-09-14 | Paper |
| An analysis of refinement in an abortive paradigm Formal Aspects of Computing | 2006-11-17 | Paper |
| The specification logic \(\nu \)Z Formal Aspects of Computing | 2006-11-17 | Paper |
| scientific article; zbMATH DE number 2052653 (Why is no real title available?) | 2004-03-08 | Paper |
| An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II Logic Journal of the IGPL | 2004-03-08 | Paper |
| scientific article; zbMATH DE number 2013581 (Why is no real title available?) | 2003-12-04 | Paper |
| scientific article; zbMATH DE number 2013579 (Why is no real title available?) | 2003-12-04 | Paper |
| New inverses of the attenuated Abel integral equation Journal of Physics A: Mathematical and General | 1984-01-01 | Paper |
| Classes of solvable Volterra integral equations Journal of Mathematical Physics | 1977-01-01 | Paper |
Research outcomes over time
This page was built for person: Moshe Deutsch
