Johan Lewi
From MaRDI portal
Person:1323316
Available identifiers
zbMath Open lewi.johanMaRDI QIDQ1323316
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 |
|---|---|---|
| Proof by consistency in conditional equational theories | 2023-03-09 | Paper |
| Proving termination of (conditional) rewrite systems. A semantic approach | 1994-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4000519 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735052 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3947093 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3868722 | 1979-01-01 | Paper |
| The ELL(1) parser generator and the error recovery mechanism | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4144182 | 1977-01-01 | Paper |
Research outcomes over time
This page was built for person: Johan Lewi
