Dev K. Roy
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!
| Publication | Date of Publication | Type |
|---|---|---|
| The shortest definition of a number in Peano arithmetic Mathematical Logic Quarterly | 2003-03-19 | Paper |
| Recursive versus recursively enumerable binary relations Studia Logica | 1994-04-12 | Paper |
| Effective extensions of partial orders Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
| Finite condensations of recursive linear orders Studia Logica | 1988-01-01 | Paper |
| Linear Order Types of Nonrecursive Presentability Mathematical Logic Quarterly | 1985-01-01 | Paper |
| Linear Order Types of Nonrecursive Presentability Mathematical Logic Quarterly | 1985-01-01 | Paper |
| R. e. presented linear orders Journal of Symbolic Logic | 1983-01-01 | Paper |
Research outcomes over time
This page was built for person: Dev K. Roy
