Mohamed Mezghiche
From MaRDI portal
Person:762136
Available identifiers
zbMath Open mezghiche.mohamedMaRDI QIDQ762136
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 |
|---|---|---|
| \(c\beta\)-Machine with \(\lambda \beta\)-reduction | 1998-06-30 | Paper |
| On pseudo-c\(\beta\) normal form in combinatory logic | 1989-01-01 | Paper |
| Une nouvelle C\(\beta\)-réduction dans la logique combinatoire | 1984-01-01 | Paper |
Research outcomes over time
This page was built for person: Mohamed Mezghiche
