Giovanni Pani
From MaRDI portal
Person:2117590
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 |
|---|---|---|
| Analysis of mobile networks' protocols based on abstract state machine | 2022-03-22 | Paper |
| A Refinement of the μ-measure for Stack Programs Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
| A predicative approach to the classification problem Journal of Functional Programming | 2001-09-09 | Paper |
| Incompleteness in linear time Journal of Universal Computer Science | 2001-05-10 | Paper |
| scientific article; zbMATH DE number 1507220 (Why is no real title available?) | 2000-09-14 | Paper |
| Undecidability vs transfinite induction for the consistency of hyperarithmetical sets Archiv für mathematische Logik und Grundlagenforschung | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3525863 (Why is no real title available?) | 1975-01-01 | Paper |
Research outcomes over time
This page was built for person: Giovanni Pani
